fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Results for ReachabilityDeadlock
Last Updated
June 27, 2017

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
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total Points 12904 28144 23190 21166 12356 13068

All «Surprise» models
 
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total Points 6648 11892 10368 11688 4932 5928
BART — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0
Scores 0 0 0 0 0 0
002

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
005

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
010

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
020

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
030

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
040

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
050

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
060

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
BART — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 96 912 816 288 192 0
Bonuses 0 144 48 0 0 0
Scores 96 768 768 288 192 0
002

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
CC

0
005

T (expected value)

3.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
CC

0
010

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
CC

0
020

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
DNF

0
DNF

0
CC

0
030

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 96
T
T
---:-M / 96
DNF

0
DNF

0
CC

0
040

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 96
T
T
---:-M / 96
CC

0
DNF

0
CC

0
050

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
060

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
ClientsAndServers — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 1248 2196 2124 1920 480 480
Bonuses 0 276 204 0 0 0
Scores 1248 1920 1920 1920 480 480
N0001P0

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
N0002P0

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
N0002P1

F (expected value)

5.96 (confidence rate)

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

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
N0005P1

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
N0010P0

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
DNF

0
DNF

0
N0010P1

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
DNF

0
DNF

0
N0010P2

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
DNF

0
DNF

0
N0020P0

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
CC

0
DNF

0
N0020P1

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
CC

0
DNF

0
N0020P2

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
CC

0
DNF

0
N0020P3

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
CC

0
DNF

0
N0020P4

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
CC

0
DNF

0
N0050P0

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
N0100P0

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
N0200P0

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
N0500P0

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
N1000P0

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
N2000P0

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
DNF

0
DNF

0
N5000P0

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
CC

0
DNF

0
CloudReconfiguration — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 1920 2544 2208 2112 1056 0
Bonuses 0 432 96 0 0 0
Scores 1920 2112 2112 2112 1056 0
301

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
302

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
DNF

0
DNF

0
303

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
304

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
305

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
306

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
307

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
308

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
309

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
310

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
311

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
312

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
313

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
314

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
DNF

0
DNF

0
315

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
316

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
317

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
318

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
319

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
DNF

0
DNF

0
320

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
T
T
---:-- / 96
DNF

0
DNF

0
401

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
402

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
DLCround — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 1056 1008 504 1668 684 696
Bonuses 0 144 24 228 12 24
Scores 1056 864 480 1440 672 672
03a

F (expected value)

5.96 (confidence rate)

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

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
DNF

0
DNF

0
04a

F (expected value)

5.96 (confidence rate)

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

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
05a

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
05b

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
06a

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
06b

T (expected value)

1.97 (confidence rate)

DNF

0
T
T
---:PM / 96
CC

0
T
T
---:-- / 96
DNF

0
DNF

0
07a

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
07b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 96
CC

0
DNF

0
DNF

0
DNF

0
08a

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
08b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 96
CC

0
DNF

0
DNF

0
DNF

0
09a

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
09b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 96
CC

0
DNF

0
DNF

0
DNF

0
10a

F (expected value)

1.97 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
DNF

0
CC

0
10b

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
11a

F (expected value)

1.97 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
DNF

0
CC

0
11b

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
12a

F (expected value)

1.97 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
DNF

0
CC

0
12b

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
13a

F (expected value)

1.97 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

0
F
T
---:PM / 96
DNF

0
CC

0
13b

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
FlexibleBarrier — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 672 1440 1332 1620 492 1164
Bonuses 0 192 84 84 12 108
Scores 672 1248 1248 1536 480 1056
04a

F (expected value)

5.96 (confidence rate)

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

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
06a

F (expected value)

5.96 (confidence rate)

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

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
08a

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:PM / 96
08b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
10a

F (expected value)

3.96 (confidence rate)

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

0
F
T
---:P- / 96
F
T
---:-- / 96
F
T
---:-M / 96
10b

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
12a

F (expected value)

2.96 (confidence rate)

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

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

0
F
T
---:-M / 96
12b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
CC

0
DNF

0
DNF

0
14a

F (expected value)

2.96 (confidence rate)

F
T
---:-- / 96
DNF

0
CC

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

0
F
T
---:-M / 96
14b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
16a

F (expected value)

1.96 (confidence rate)

DNF

0
DNF

0
CC

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

0
F
T
---:-M / 96
16b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
18a

F (expected value)

1.96 (confidence rate)

DNF

0
DNF

0
CC

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

0
F
T
---:-M / 96
18b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
20a

F (expected value)

1.96 (confidence rate)

DNF

0
DNF

0
CC

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

0
F
T
---:-M / 96
20b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
22a

F (expected value)

1.96 (confidence rate)

DNF

0
DNF

0
CC

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

0
F
T
---:-M / 96
22b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
HexagonalGrid — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 192 816 600 288 192 192
Bonuses 0 144 24 0 0 0
Scores 192 672 576 288 192 192
110

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
126

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
226

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
DNF

0
DNF

0
316

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
DNF

0
DNF

0
DNF

0
410

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
DNF

0
DNF

0
DNF

0
516

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 96
T
T
---:-- / 96
DNF

0
DNF

0
DNF

0
816

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 96
CC

0
DNF

0
DNF

0
DNF

0
JoinFreeModules — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 396 0 348 576 384 768
Bonuses 12 0 60 0 0 96
Scores 384 0 288 576 384 672
0003

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 96
?
-
---:-- / 0
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
0004

T (expected value)

4.96 (confidence rate)

T
T
---:-M / 96
?
-
---:-- / 0
T
T
---:P- / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
0005

T (expected value)

4.96 (confidence rate)

T
T
---:-- / 96
?
-
---:-- / 0
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
0010

F (expected value)

3.96 (confidence rate)

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

0
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:PM / 96
0020

F (expected value)

1.96 (confidence rate)

DNF

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

0
F
T
---:-- / 96
?
-
---:-- / 0
F
T
---:PM / 96
0050

F (expected value)

1.96 (confidence rate)

DNF

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

0
F
T
---:-- / 96
DNF

0
F
T
---:PM / 96
0100

F (expected value)

0.99 (confidence rate)

DNF

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

0
DNF

0
CC

0
F
T
---:PM / 96
0200

? (expected value)

0 (confidence rate)

DNF

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

0
CC

0
CC

0
DNF

0
0500

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
CC

0
DNF

0
1000

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
CC

0
DNF

0
2000

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
DNF

0
5000

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
DNF

0
NeighborGrid — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 288 576 312 384 288 384
Bonuses 0 96 24 0 0 0
Scores 288 480 288 384 288 384
d2n3m1c12

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
d2n3m1t12

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
d3n3m1t11

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
d4n3m2c23

F (expected value)

2.96 (confidence rate)

DNF

0
F
T
---:PM / 96
CC

0
F
T
---:-- / 96
DNF

0
F
T
---:-- / 96
d5n4m1t35

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 96
CC

0
DNF

0
DNF

0
CC

0
Referendum — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 816 300 900
Bonuses 0 0 0 48 12 132
Scores 0 0 0 768 288 768
0010

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 96
T
T
---:P- / 96
T
T
---:-M / 96
0015

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:PM / 96
0020

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:PM / 96
0050

T (expected value)

1.96 (confidence rate)

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

0
T
T
---:PM / 96
0100

T (expected value)

1.96 (confidence rate)

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

0
T
T
---:PM / 96
0200

T (expected value)

1.96 (confidence rate)

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

0
T
T
---:PM / 96
0500

T (expected value)

1.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 96
DNF

0
T
T
---:-- / 96
1000

T (expected value)

1.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 96
DNF

0
T
T
---:-- / 96
Referendum — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 300 888 828 768 288 768
Bonuses 12 120 60 0 0 0
Scores 288 768 768 768 288 768
0010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
0015

T (expected value)

5.96 (confidence rate)

T
T
---:-M / 96
T
T
---:P- / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
0020

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 96
T
T
---:PM / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
T
T
---:-- / 96
0050

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 96
0100

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 96
0200

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 96
0500

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 96
1000

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 96
RobotManipulation — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 480 1512 1296 1248 576 576
Bonuses 0 264 48 0 0 0
Scores 480 1248 1248 1248 576 576
00001

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
00002

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
00005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
00010

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
00020

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 96
F
T
---:P- / 96
F
T
---:-M / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
00050

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:PM / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
F
T
---:-- / 96
00100

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
00200

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
00500

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
01000

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
02000

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
05000

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
10000

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0

All «Stripped» models
 
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total Points 4176 9816 8584 6352 4956 4620
ARMCacheCoherence (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 0 36 32 36 32
Bonuses 0 0 4 0 4 0
Scores 32 0 32 32 32 32
none

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 32
DNF

0
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-- / 32
AirplaneLD (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 148 128 140
Bonuses 0 0 0 20 0 12
Scores 0 0 0 128 128 128
0010

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
0200

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:P- / 32
T
T
---:-- / 32
T
T
---:-M / 32
0500

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
1000

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
2000

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
4000

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
AirplaneLD (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 236 196 128 160 128
Bonuses 0 44 4 0 0 0
Scores 64 192 192 128 160 128
0010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
0200

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
0500

T (expected value)

4.96 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
1000

T (expected value)

4.96 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
2000

T (expected value)

3.00 (confidence rate)

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

0
T
T
---:-- / 32
CC

0
4000

T (expected value)

2.00 (confidence rate)

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

0
DNF

0
CC

0
Angiogenesis (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 128 152 72 128 64 32
Bonuses 0 24 8 0 0 0
Scores 128 128 64 128 64 32
01

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
15

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:-M / 32
T
T
---:P- / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
20

T (expected value)

2.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
CC

0
T
T
---:-- / 32
DNF

0
DNF

0
25

T (expected value)

2.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
CC

0
T
T
---:-- / 32
DNF

0
DNF

0
50

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
AutoFlight (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 160 548 460 384 160 256
Bonuses 0 100 12 0 0 0
Scores 160 448 448 384 160 256
01a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
01b

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
05a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
05b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
06a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
06b

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
12a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
12b

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
24a

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 32
24b

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
48a

T (expected value)

3.96 (confidence rate)

DNF

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

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

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
96a

T (expected value)

2.99 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
T
T
---:-- / 32
96b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
BridgeAndVehicles (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 148 128 140
Bonuses 0 0 0 20 0 12
Scores 0 0 0 128 128 128
V04P05N02

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
V20P20N10

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
V20P20N20

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:P- / 32
T
T
---:-- / 32
T
T
---:-M / 32
V20P20N50

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
V50P20N10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V50P20N20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V50P20N50

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V50P50N10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V50P50N20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V50P50N50

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V80P20N10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V80P20N20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V80P20N50

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V80P50N10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V80P50N20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
V80P50N50

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
BridgeAndVehicles (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 552 600 32 64 128
Bonuses 0 40 88 0 0 0
Scores 32 512 512 32 64 128
V04P05N02

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
V20P20N10

T (expected value)

3.99 (confidence rate)

DNF

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

0
T
T
---:-- / 32
T
T
---:-- / 32
V20P20N20

T (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
T
T
---:-- / 32
V20P20N50

T (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
T
T
---:-- / 32
V50P20N10

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
V50P20N20

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
V50P20N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V50P50N10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V50P50N20

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
V50P50N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P20N10

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
V80P20N20

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
V80P20N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P50N10

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
V80P50N20

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
V80P50N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
CSRepetitions (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 64 32 80
Bonuses 0 0 0 0 0 16
Scores 0 0 0 64 32 64
02

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
05

T (expected value)

1.96 (confidence rate)

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

0
T
T
---:PM / 32
07

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
CSRepetitions (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 152 136 64 32 64
Bonuses 0 24 8 0 0 0
Scores 32 128 128 64 32 64
02

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
05

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 32
07

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
10

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
CircadianClock (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 152 136 64 64 64
Bonuses 0 24 8 0 0 0
Scores 32 128 128 64 64 64
000001

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
001000

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
010000

F (expected value)

2.00 (confidence rate)

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

0
CC

0
DNF

0
100000

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
DNF

0
CircularTrains (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 36 112 100 64 64 96
Bonuses 4 16 4 0 0 0
Scores 32 96 96 64 64 96
012

F (expected value)

5.96 (confidence rate)

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

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
768

F (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
F
T
---:-- / 32
CloudDeployment (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 96 224 200 184 160 32
Bonuses 0 32 8 24 0 0
Scores 96 192 192 160 160 32
2a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
2b

T (expected value)

3.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
5a

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
5b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
6a

T (expected value)

2.97 (confidence rate)

T
T
---:-- / 32
DNF

0
CC

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
6b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
7a

T (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
7b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
DES (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 352 544 464 288 224 64
Bonuses 0 96 16 0 0 0
Scores 352 448 448 288 224 64
00a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
00b

T (expected value)

4.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
DNF

0
T
T
---:-- / 32
10a

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
10b

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
20a

T (expected value)

4.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
T
T
---:-- / 32
DNF

0
20b

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
30a

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
30b

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
DNF

0
DNF

0
40a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
T
T
---:-- / 32
DNF

0
40b

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
50a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
T
T
---:-- / 32
DNF

0
50b

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
DNF

0
DNF

0
60a

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
T
T
---:-- / 32
DNF

0
60b

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
DLCshifumi (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 200 64 208 184 0
Bonuses 0 40 0 16 24 0
Scores 0 160 64 192 160 0
2a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
2b

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
3a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
3b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
4a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
4b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 32
CC

0
DNF

0
DNF

0
CC

0
5a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
5b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 32
CC

0
DNF

0
DNF

0
CC

0
6a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
6b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 32
CC

0
DNF

0
DNF

0
CC

0
DNAwalker (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 544 496 608 560 480 400
Bonuses 0 48 32 16 0 48
Scores 544 448 576 544 480 352
01track12Block1

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
02track12Block2

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
03track12BlockBoth

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
04track28LL

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
05track28LR

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
06track28RL

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
07track28RR

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
08ringLL

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
09ringLR

F (expected value)

5.96 (confidence rate)

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

F (expected value)

5.96 (confidence rate)

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

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
12ringLLLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 32
DNF

0
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
13ringRLLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 32
DNF

0
F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
14ringLRLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 32
DNF

0
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
15ringRRLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 32
DNF

0
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
16redondantChoiceR

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
?
-
---:-- / 0
DNF

0
17redondantChoiceL

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
18lozangeBlock

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DatabaseWithMutex (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 0 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 0 32 32
02

F (expected value)

1.99 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
X
VC-:-- / -
F
T
---:-- / 32
F
T
---:PM / 32
20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
DatabaseWithMutex (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 0 32 32
Bonuses 0 4 4 0 0 0
Scores 32 32 32 0 32 32
02

F (expected value)

4.99 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
-C-:-- / -
F
T
---:-- / 32
F
T
---:-- / 32
20

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
CC

0
Dekker (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 72 36 68 32 32
Bonuses 0 8 4 4 0 0
Scores 32 64 32 64 32 32
010

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
100

F (expected value)

1.97 (confidence rate)

DNF

0
F
T
---:-M / 32
CC

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

0
CC

0
200

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
Diffusion2D (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 400 64 128 64 96
Bonuses 0 80 0 0 0 0
Scores 64 320 64 128 64 96
D05N010

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
D05N050

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
D40N010

F (expected value)

2.96 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
F
T
---:-- / 32
DNF

0
F
T
---:-- / 32
D40N050

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
DNF

0
DNF

0
DNF

0
D40N100

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
DNF

0
DNF

0
DNF

0
D40N150

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
DNF

0
DNF

0
DNF

0
D50N010

F (expected value)

1.97 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
F
T
---:-- / 32
DNF

0
CC

0
D50N050

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
DNF

0
DNF

0
CC

0
D50N100

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
DNF

0
DNF

0
CC

0
D50N150

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 32
CC

0
DNF

0
DNF

0
CC

0
DotAndBoxes (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 36 36
Bonuses 0 0 0 0 4 4
Scores 0 0 0 32 32 32
2

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
5

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
DrinkVendingMachine (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 72 64 40
Bonuses 0 0 0 8 0 8
Scores 0 0 0 64 64 32
02

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
10

F (expected value)

1.97 (confidence rate)

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

0
16

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
CC

0
CC

0
98

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
DrinkVendingMachine (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 36 68 72 64 64 32
Bonuses 4 4 8 0 0 0
Scores 32 64 64 64 64 32
02

F (expected value)

5.96 (confidence rate)

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

F (expected value)

3.97 (confidence rate)

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

0
ERK (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 152 136 128 64 64
Bonuses 0 24 8 0 0 0
Scores 32 128 128 128 64 64
000001

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
001000

F (expected value)

4.96 (confidence rate)

?
-
---:-- / 0
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
010000

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
100000

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
Echo (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 340 308 64 0 0
Bonuses 0 52 20 0 0 0
Scores 0 288 288 64 0 0
d02r09

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
d02r11

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
d02r15

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d02r19

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
d03r03

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
d03r05

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d03r07

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
d04r03

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
d05r03

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
EnergyBus (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 32 32 32
none

F (expected value)

2.96 (confidence rate)

DNF

0
DNF

0
DNF

0
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
Eratosthenes (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 96 116 100 96 96 96
Bonuses 0 20 4 0 0 0
Scores 96 96 96 96 96 96
010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
200

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
500

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
FMS (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 68 144 140 128 64 128
Bonuses 4 16 12 0 0 0
Scores 64 128 128 128 64 128
002

F (expected value)

5.96 (confidence rate)

F
T
---:-M / 32
F
T
---:P- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
100

F (expected value)

5.96 (confidence rate)

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

F (expected value)

3.96 (confidence rate)

DNF

0
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
?
-
---:-- / 0
F
T
---:-- / 32
500

F (expected value)

3.96 (confidence rate)

DNF

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

0
F
T
---:-- / 32
GPPP (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 128 380 340 96 192 96
Bonuses 0 60 20 0 0 0
Scores 128 320 320 96 192 96
C0001N0000000001

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
C0001N0000000010

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
C0001N0000000100

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
C0100N0000000100

T (expected value)

3.97 (confidence rate)

DNF

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

0
C0100N0000001000

T (expected value)

2.97 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
?
-
---:-- / 0
DNF

0
C0100N0000010000

T (expected value)

2.97 (confidence rate)

DNF

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

0
C0100N0000100000

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
?
-
---:-- / 0
DNF

0
C1000N0000000010

T (expected value)

4.00 (confidence rate)

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

0
C1000N0000000100

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
F
X
V--:-- / -64
T
T
---:-- / 32
DNF

0
C1000N0000001000

T (expected value)

2.00 (confidence rate)

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

0
CC

0
DNF

0
GlobalResAllocation (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 76 64 36
Bonuses 0 0 0 12 0 4
Scores 0 0 0 64 64 32
03

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:P- / 32
F
T
---:-- / 32
F
T
---:-M / 32
05

F (expected value)

1.97 (confidence rate)

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

0
06

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
07

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
09

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
CC

0
CC

0
10

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC CC

0
CC

0
CC

0
11

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
CC

0
CC

0
GlobalResAllocation (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 32 80 64 64 32
Bonuses 0 0 16 0 0 0
Scores 64 32 64 64 64 32
03

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
05

F (expected value)

3.97 (confidence rate)

F
T
---:-- / 32
DNF

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

0
HouseConstruction (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 180 180 160 32 32
Bonuses 0 20 20 0 0 0
Scores 32 160 160 160 32 32
002

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
050

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
?
-
---:-- / 0
DNF

0
100

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
200

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
500

T (expected value)

2.97 (confidence rate)

DNF

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

0
CC

0
HypercubeGrid (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 120 64 0 0 0
Bonuses 0 24 0 0 0 0
Scores 0 96 64 0 0 0
C3K4P4B12

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
C4K3P3B12

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
C5K3P3B15

T (expected value)

1.00 (confidence rate)

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

0
DNF

0
DNF

0
CC

0
HypertorusGrid (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 156 68 32 32 32
Bonuses 0 28 4 0 0 0
Scores 32 128 64 32 32 32
d2k1p8b00

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
d3k3p2b06

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
d4k3p2b08

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 32
CC

0
DNF

0
DNF

0
DNF

0
d5k3p2b10

T (expected value)

1.00 (confidence rate)

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

0
DNF

0
DNF

0
CC

0
IBM319 (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 32 32 32
Bonuses 0 4 4 0 0 0
Scores 32 32 32 32 32 32
none

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
IBM5964 (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 32 32 32
Bonuses 0 4 4 0 0 0
Scores 32 32 32 32 32 32
none

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
IBM703 (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 40 32 32 32 32
Bonuses 0 8 0 0 0 0
Scores 32 32 32 32 32 32
none

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
IBMB2S565S3960 (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 32 0 0
Bonuses 0 4 4 0 0 0
Scores 32 32 32 32 0 0
none

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
DNF

0
DNF

0
IOTPpurchase (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 76 68 64 64 64
Bonuses 0 12 4 0 0 0
Scores 32 64 64 64 64 64
C01M01P01D01

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
C12M10P15D17

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
Kanban (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 116 100 96 32 96
Bonuses 0 20 4 0 0 0
Scores 32 96 96 96 32 96
0005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
0500

F (expected value)

3.96 (confidence rate)

DNF

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

0
F
T
---:-- / 32
1000

F (expected value)

3.96 (confidence rate)

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

0
F
T
---:-- / 32
LamportFastMutEx (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 32 32 32
2

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
7

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
8

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
LamportFastMutEx (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 40 32 32 32 32
Bonuses 0 8 0 0 0 0
Scores 32 32 32 32 32 32
2

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
7

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
8

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
MAPK (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 80 64 64 64 32
Bonuses 0 16 0 0 0 0
Scores 32 64 64 64 64 32
008

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
320

F (expected value)

3.97 (confidence rate)

DNF

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

0
MultiwaySync (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 0 0 32 36 36
Bonuses 0 0 0 0 4 4
Scores 32 0 0 32 32 32
none

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 32
?
-
---:-- / 0
DNF

0
F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
NeoElection (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 36 36 0
Bonuses 0 0 0 4 4 0
Scores 0 0 0 32 32 0
2

T (expected value)

1.97 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-M / 32
T
T
---:P- / 32
DNF

0
6

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
7

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
8

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
NeoElection (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 144 144 32 32 0
Bonuses 0 16 16 0 0 0
Scores 32 128 128 32 32 0
2

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
6

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:-M / 32
T
T
---:P- / 32
DNF

0
DNF

0
DNF

0
7

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:-M / 32
T
T
---:P- / 32
DNF

0
DNF

0
CC

0
8

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:-M / 32
T
T
---:P- / 32
DNF

0
DNF

0
CC

0
PaceMaker (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 0 0 40 32 32
Bonuses 0 0 0 8 0 0
Scores 32 0 0 32 32 32
none

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 32
?
-
---:-- / 0
DNF

0
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
ParamProductionCell (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 80 64 64 64 64
Bonuses 0 16 0 0 0 0
Scores 64 64 64 64 64 64
0

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
5

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
Parking (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 72 72 64 32 32
Bonuses 0 8 8 0 0 0
Scores 32 64 64 64 32 32
104

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
864

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
?
-
---:-- / 0
DNF

0
PermAdmissibility (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 36 32 36
Bonuses 0 0 0 4 0 4
Scores 0 0 0 32 32 32
01

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:P- / 32
T
T
---:-- / 32
T
T
---:-M / 32
02

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
05

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
50

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
PermAdmissibility (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 220 212 32 32 32
Bonuses 0 28 20 0 0 0
Scores 64 192 192 32 32 32
01

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
02

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
DNF

0
DNF

0
05

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
10

T (expected value)

2.00 (confidence rate)

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

0
DNF

0
DNF

0
20

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
CC

0
DNF

0
50

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
CC

0
DNF

0
Peterson (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 68 36 72
Bonuses 0 0 0 4 4 8
Scores 0 0 0 64 32 64
2

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
4

F (expected value)

1.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:P- / 32
DNF

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

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
6

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
7

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
Peterson (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 72 72 32 64 64
Bonuses 0 8 8 0 0 0
Scores 32 64 64 32 64 64
2

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
4

F (expected value)

3.99 (confidence rate)

DNF

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

0
F
T
---:-- / 32
F
T
---:-- / 32
5

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
6

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
CC

0
7

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
CC

0
PhaseVariation (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 256 248 32 32 32
Bonuses 0 32 24 0 0 0
Scores 32 224 224 32 32 32
D02CS010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
D10CS010

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
CC

0
D10CS100

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
CC

0
D20CS010

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D20CS100

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D30CS010

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D30CS100

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
Philosophers (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 72 32 40
Bonuses 0 0 0 8 0 8
Scores 0 0 0 64 32 32
000005

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
005000

T (expected value)

0.97 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 32
DNF

0
CC

0
010000

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
050000

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
100000

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
Philosophers (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 32 32 32
Bonuses 0 4 4 0 0 0
Scores 32 32 32 32 32 32
000005

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
005000

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
CC

0
010000

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
CC

0
PhilosophersDyn (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 32 32 32
03

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
20

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
50

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
80

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
PhilosophersDyn (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 76 68 32 32 32
Bonuses 0 12 4 0 0 0
Scores 64 64 64 32 32 32
03

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
20

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
CC

0
Planning (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 40 32 32 0 0
Bonuses 0 8 0 0 0 0
Scores 0 32 32 32 0 0
none

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
PolyORBLF (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 40 0 0
Bonuses 0 0 0 8 0 0
Scores 0 0 0 32 0 0
S02J04T06

T (expected value)

0.97 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:PM / 32
DNF

0
DNF

0
S02J06T08

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S02J06T10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S04J04T06

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S04J04T08

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S04J04T10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S04J06T06

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S04J06T08

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S04J06T10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S06J04T04

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S06J04T06

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S06J04T08

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S06J06T04

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S06J06T06

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S06J06T08

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
PolyORBLF (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 192 560 520 0 0 32
Bonuses 0 80 40 0 0 0
Scores 192 480 480 0 0 32
S02J04T06

T (expected value)

2.99 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
T
T
---:-- / 32
S02J06T08

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
CC

0
DNF

0
DNF

0
S02J06T10

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S04J04T06

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
S04J04T08

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J04T10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J06T06

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:-- / 32
T
T
---:PM / 32
DNF

0
DNF

0
DNF

0
S04J06T08

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S04J06T10

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S06J04T04

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S06J04T06

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
CC

0
S06J04T08

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S06J06T04

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S06J06T06

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
CC

0
S06J06T08

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
PolyORBNT (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 0 0 0
Bonuses 0 0 0 0 0 0
Scores 0 0 0 0 0 0
S05J20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S05J30

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S05J40

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S05J60

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S05J80

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S10J20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S10J30

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S10J40

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S10J60

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
S10J80

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
PolyORBNT (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 320 388 332 0 0 0
Bonuses 0 68 12 0 0 0
Scores 320 320 320 0 0 0
S05J20

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
CC

0
DNF

0
DNF

0
S05J30

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
CC

0
DNF

0
DNF

0
S05J40

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
CC

0
S05J60

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
DNF

0
DNF

0
S05J80

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
DNF

0
DNF

0
S10J20

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S10J30

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
CC

0
DNF

0
DNF

0
S10J40

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S10J60

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
S10J80

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
CC

0
ProductionCell (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 -64 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 -64 32 32
none

F (expected value)

1.99 (confidence rate)

DNF

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

0
T
X
V--:-- / -64
F
T
---:-- / 32
F
T
---:PM / 32
QuasiCertifProtocol (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 32 32 32
02

T (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:PM / 32
10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
18

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
22

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
28

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
32

? (expected value)

0 (confidence rate)

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

0
CC

0
DNF

0
QuasiCertifProtocol (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 68 216 212 32 32 32
Bonuses 4 24 20 0 0 0
Scores 64 192 192 32 32 32
02

T (expected value)

5.96 (confidence rate)

T
T
---:-M / 32
T
T
---:P- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
10

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
DNF

0
DNF

0
18

T (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
DNF

0
22

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 32
T
T
---:-M / 32
CC

0
CC

0
DNF

0
28

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
CC

0
DNF

0
32

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 32
T
T
---:-M / 32
DNF

0
CC

0
DNF

0
Raft (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 40 32 140 128 140
Bonuses 0 8 0 12 0 12
Scores 32 32 32 128 128 128
02

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
08

F (expected value)

2.96 (confidence rate)

DNF

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

0
F
T
---:P- / 32
F
T
---:-- / 32
F
T
---:-M / 32
09

F (expected value)

2.96 (confidence rate)

DNF

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

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

F (expected value)

2.96 (confidence rate)

DNF

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

0
F
T
---:P- / 32
F
T
---:-- / 32
F
T
---:-M / 32
Railroad (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 32 32 72
Bonuses 0 4 4 0 0 8
Scores 32 32 32 32 32 64
005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
020

F (expected value)

0.99 (confidence rate)

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

0
DNF

0
DNF

0
F
T
---:PM / 32
050

? (expected value)

0 (confidence rate)

?
?
---:-- / 0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100

? (expected value)

0 (confidence rate)

?
?
---:-- / 0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
ResAllocation (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 192 232 200 192 192 160
Bonuses 0 40 8 0 0 0
Scores 192 192 192 192 192 160
R003C010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
R003C015

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
R003C020

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
R003C050

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
R003C100

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
R100C002

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
Ring (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 0 0 32 32 40
Bonuses 0 0 0 0 0 8
Scores 32 0 0 32 32 32
none

F (expected value)

3.96 (confidence rate)

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

0
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
RwMutex (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 168 192 64 160 128
Bonuses 0 8 32 0 0 0
Scores 32 160 160 64 160 128
r0010w0010

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
r0100w0010

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
r0500w0010

F (expected value)

3.99 (confidence rate)

DNF

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

0
F
T
---:-- / 32
F
T
---:-- / 32
r1000w0010

F (expected value)

3.99 (confidence rate)

DNF

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

0
F
T
---:-- / 32
F
T
---:-- / 32
r2000w0010

F (expected value)

3.00 (confidence rate)

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

0
F
T
---:-- / 32
CC

0
SafeBus (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 32 32 32
03

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
10

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
15

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
50

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
80

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC CC

0
DNF

0
CC

0
SafeBus (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 40 32 32 32 32
Bonuses 0 8 0 0 0 0
Scores 32 32 32 32 32 32
03

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
SharedMemory (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 32 40
Bonuses 0 0 0 0 0 8
Scores 0 0 0 32 32 32
000005

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
000100

? (expected value)

0 (confidence rate)

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

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

0
000200

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
050000

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
100000

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
SharedMemory (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 32 72 32
Bonuses 0 4 4 0 8 0
Scores 32 32 32 32 64 32
000005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
000100

F (expected value)

1 (confidence rate)

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

0
DNF

0
F
T
---:PM / 32
CC

0
000200

? (expected value)

0 (confidence rate)

DNF

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

0
CC

0
DNF

0
CC

0
SimpleLoadBal (stripped) — Colored — no score computed (Note 1, main result page)
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 0 0 8
Bonuses 0 0 0 0 0 8
Scores 0 0 0 0 0 0
02

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:PM / 32
15

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
SimpleLoadBal (stripped) — P/T — no score computed (Note 1, main result page)
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 8 0 0 0 0
Bonuses 0 8 0 0 0 0
Scores 0 0 0 0 0 0
02

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
SmallOperatingSystem (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 264 240 224 32 32
Bonuses 0 40 16 0 0 0
Scores 32 224 224 224 32 32
MT0016DC0008

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
MT2048DC0512

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
MT2048DC1024

F (expected value)

2.97 (confidence rate)

?
-
---:-- / 0
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
DNF

0
DNF

0
MT4096DC1024

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
MT4096DC2048

F (expected value)

2.97 (confidence rate)

?
-
---:-- / 0
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
DNF

0
DNF

0
MT8192DC2048

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
MT8192DC4096

F (expected value)

2.97 (confidence rate)

DNF

0
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
DNF

0
DNF

0
Solitaire (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 160 228 204 192 32 0
Bonuses 0 36 12 0 0 0
Scores 160 192 192 192 32 0
EngCT7x7

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
DNF

0
DNF

0
EngNC7x7

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
FrnCT7x7

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
CC

0
DNF

0
FrnNC7x7

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
SqrCT5x5

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
SqrNC5x5

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
SquareGrid (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 192 168 64 32 0
Bonuses 0 32 8 0 0 0
Scores 32 160 160 64 32 0
020102

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 32
T
T
---:P- / 32
T
T
---:-M / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
040204

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
080408

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
100510

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
130613

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
DNF

0
DNF

0
DNF

0
SwimmingPool (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 156 132 128 32 128
Bonuses 0 28 4 0 0 0
Scores 64 128 128 128 32 128
01

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
08

F (expected value)

4.96 (confidence rate)

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

0
F
T
---:-- / 32
09

F (expected value)

3.96 (confidence rate)

DNF

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

0
F
T
---:-- / 32
10

F (expected value)

3.96 (confidence rate)

DNF

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

0
F
T
---:-- / 32
TCPcondis (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 40 32 32 32 32
Bonuses 0 8 0 0 0 0
Scores 32 32 32 32 32 32
05

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
25

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
30

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
35

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
50

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
TokenRing (stripped) — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 32 36 36
Bonuses 0 0 0 0 4 4
Scores 0 0 0 32 32 32
005

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
040

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
050

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
100

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
200

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
500

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
TokenRing (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 36 36 32 32 32
Bonuses 0 4 4 0 0 0
Scores 32 32 32 32 32 32
005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
040

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
050

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
TriangularGrid (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 156 132 128 32 32
Bonuses 0 28 4 0 0 0
Scores 32 128 128 128 32 32
1200

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 32
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
F
T
---:-- / 32
4022

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
DNF

0
DNF

0
5020

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
5046

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:PM / 32
T
T
---:-- / 32
T
T
---:-- / 32
CC

0
DNF

0
UtahNoC (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 40 32 32
Bonuses 0 0 0 8 0 0
Scores 0 0 0 32 32 32
none

F (expected value)

2.96 (confidence rate)

DNF

0
DNF

0
CC

0
F
T
---:PM / 32
F
T
---:-- / 32
F
T
---:-- / 32
Vasy2003 (stripped) — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 0 0 32 36 36
Bonuses 0 0 0 0 4 4
Scores 32 0 0 32 32 32
none

F (expected value)

3.96 (confidence rate)

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

0
F
T
---:-- / 32
F
T
---:P- / 32
F
T
---:-M / 32

All «Known» models
 
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total Points 2080 6436 4238 3126 2468 2520
ARMCacheCoherence — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 0 16 16 18 18
Bonuses 0 0 0 0 2 2
Scores 16 0 16 16 16 16
none

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:P- / 16
F
T
---:-M / 16
AirplaneLD — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 118 0 64 64 66
Bonuses 0 22 0 0 0 2
Scores 0 96 0 64 64 64
0010

T (expected value)

3.96 (confidence rate)

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

T (expected value)

3.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
0500

T (expected value)

3.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
1000

T (expected value)

3.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
2000

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
CC

0
4000

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC CC

0
DNF

0
CC

0
AirplaneLD — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 116 98 64 80 66
Bonuses 0 20 2 0 0 2
Scores 32 96 96 64 80 64
0010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
0200

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
0500

T (expected value)

4.96 (confidence rate)

DNF

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

T (expected value)

4.96 (confidence rate)

DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
2000

T (expected value)

3.00 (confidence rate)

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

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

0
4000

T (expected value)

2.00 (confidence rate)

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

0
DNF

0
CC

0
Angiogenesis — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 72 36 64 32 20
Bonuses 0 8 4 0 0 4
Scores 64 64 32 64 32 16
01

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
15

T (expected value)

4.97 (confidence rate)

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

0
20

T (expected value)

2.97 (confidence rate)

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

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

0
DNF

0
25

T (expected value)

2.97 (confidence rate)

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

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

0
DNF

0
50

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
AutoFlight — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 80 256 238 192 80 138
Bonuses 0 32 14 0 0 10
Scores 80 224 224 192 80 128
01a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
01b

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
05a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
05b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
06a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
06b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
12a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
12b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
24a

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 16
24b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
48a

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 16
48b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
96a

T (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
T
T
---:-- / 16
96b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
BridgeAndVehicles — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 318 0 64 64 66
Bonuses 0 62 0 0 0 2
Scores 0 256 0 64 64 64
V04P05N02

T (expected value)

3.96 (confidence rate)

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

T (expected value)

3.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
V20P20N20

T (expected value)

3.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
V20P20N50

T (expected value)

3.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
V50P20N10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V50P20N20

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V50P20N50

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V50P50N10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V50P50N20

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V50P50N50

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V80P20N10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V80P20N20

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V80P20N50

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V80P50N10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V80P50N20

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
V80P50N50

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
BridgeAndVehicles — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 282 292 16 32 66
Bonuses 0 26 36 0 0 2
Scores 16 256 256 16 32 64
V04P05N02

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
V20P20N10

T (expected value)

3.99 (confidence rate)

DNF

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

0
T
T
---:-- / 16
T
T
---:-- / 16
V20P20N20

T (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
T
T
---:-- / 16
V20P20N50

T (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
T
T
---:-- / 16
V50P20N10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V50P20N20

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V50P20N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V50P50N10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V50P50N20

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V50P50N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P20N10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P20N20

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P20N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P50N10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P50N20

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
V80P50N50

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
CSRepetitions — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 76 0 32 16 36
Bonuses 0 12 0 0 0 4
Scores 0 64 0 32 16 32
02

T (expected value)

3.96 (confidence rate)

DNC T
T
---:-- / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
05

T (expected value)

2.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
DNF

0
T
T
---:-- / 16
07

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
CSRepetitions — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 72 68 32 16 36
Bonuses 0 8 4 0 0 4
Scores 16 64 64 32 16 32
02

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
05

T (expected value)

3.96 (confidence rate)

DNF

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

0
T
T
---:-- / 16
07

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
CircadianClock — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 74 66 32 32 36
Bonuses 0 10 2 0 0 4
Scores 16 64 64 32 32 32
000001

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
001000

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
010000

F (expected value)

2.00 (confidence rate)

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

0
CC

0
DNF

0
100000

F (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
DNF

0
CircularTrains — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 54 50 32 32 52
Bonuses 0 6 2 0 0 4
Scores 16 48 48 32 32 48
012

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
384

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
768

F (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
F
T
---:-- / 16
CloudDeployment — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 48 118 96 90 80 16
Bonuses 0 22 0 10 0 0
Scores 48 96 96 80 80 16
2a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
2b

T (expected value)

3.97 (confidence rate)

DNF

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

0
5a

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
DNF

0
5b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
6a

T (expected value)

2.97 (confidence rate)

T
T
---:-- / 16
DNF

0
CC

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

0
6b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
7a

T (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
7b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DES — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 176 268 236 144 112 32
Bonuses 0 44 12 0 0 0
Scores 176 224 224 144 112 32
00a

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
00b

T (expected value)

4.96 (confidence rate)

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

0
T
T
---:-- / 16
10a

T (expected value)

4.97 (confidence rate)

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

0
10b

T (expected value)

3.97 (confidence rate)

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

0
DNF

0
20a

T (expected value)

4.00 (confidence rate)

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

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

0
20b

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
DNF

0
DNF

0
30a

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
30b

T (expected value)

3.97 (confidence rate)

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

0
DNF

0
40a

T (expected value)

3.00 (confidence rate)

DNF

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

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

0
40b

T (expected value)

3.97 (confidence rate)

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

0
DNF

0
50a

T (expected value)

3.00 (confidence rate)

DNF

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

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

0
50b

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
DNF

0
DNF

0
60a

T (expected value)

3.00 (confidence rate)

DNF

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

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

0
60b

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
DLCshifumi — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 100 32 104 92 0
Bonuses 0 20 0 8 12 0
Scores 0 80 32 96 80 0
2a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
2b

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
3a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
3b

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
4a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
4b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 16
CC

0
DNF

0
DNF

0
CC

0
5a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
5b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 16
CC

0
DNF

0
DNF

0
CC

0
6a

F (expected value)

1.97 (confidence rate)

DNF

0
DNF

0
CC

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

0
6b

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 16
CC

0
DNF

0
DNF

0
CC

0
DNAwalker — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 272 248 298 276 240 210
Bonuses 0 24 10 4 0 34
Scores 272 224 288 272 240 176
01track12Block1

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
02track12Block2

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
03track12BlockBoth

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
04track28LL

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
05track28LR

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
06track28RL

T (expected value)

4.97 (confidence rate)

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

0
07track28RR

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
08ringLL

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
09ringLR

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
10ringRL

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
11ringRR

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
12ringLLLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
13ringRLLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
14ringLRLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
15ringRRLarge

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 16
DNF

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

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
?
-
---:-- / 0
DNF

0
17redondantChoiceL

T (expected value)

3.97 (confidence rate)

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

0
DNF

0
18lozangeBlock

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DatabaseWithMutex — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 16 0 0 16 20
Bonuses 0 0 0 0 0 4
Scores 0 16 0 0 16 16
02

F (expected value)

2.99 (confidence rate)

DNC F
T
---:-- / 16
DNC T
X
VC-:-- / -
F
T
---:-- / 16
F
T
---:PM / 16
20

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

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

0
DNF

0
DNF

0
DatabaseWithMutex — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 16 16 0 16 20
Bonuses 0 0 0 0 0 4
Scores 16 16 16 0 16 16
02

F (expected value)

4.99 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
-C-:-- / -
F
T
---:-- / 16
F
T
---:PM / 16
20

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
Dekker — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 32 16 32 16 40
Bonuses 0 0 0 0 0 8
Scores 16 32 16 32 16 32
010

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
100

F (expected value)

2.96 (confidence rate)

DNF

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

0
F
T
---:-- / 16
DNF

0
F
T
---:PM / 16
200

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
Diffusion2D — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 198 32 64 32 66
Bonuses 0 38 0 0 0 2
Scores 32 160 32 64 32 64
D05N010

F (expected value)

5.96 (confidence rate)

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

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
D40N010

F (expected value)

2.96 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
D40N050

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
D40N100

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
D40N150

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
D50N010

F (expected value)

2.96 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
D50N050

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
D50N100

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
D50N150

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
DotAndBoxes — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 38 0 16 16 18
Bonuses 0 6 0 0 0 2
Scores 0 32 0 16 16 16
2

T (expected value)

3.96 (confidence rate)

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

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
CC

0
DrinkVendingMachine — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 32 0 36 32 36
Bonuses 0 0 0 4 0 4
Scores 0 32 0 32 32 32
02

F (expected value)

3.96 (confidence rate)

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

F (expected value)

3.96 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
CC

0
CC

0
98

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
DrinkVendingMachine — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 34 36 32 32 18
Bonuses 0 2 4 0 0 2
Scores 16 32 32 32 32 16
02

F (expected value)

5.96 (confidence rate)

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

F (expected value)

3.97 (confidence rate)

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

0
ERK — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 72 68 64 32 36
Bonuses 0 8 4 0 0 4
Scores 16 64 64 64 32 32
000001

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
001000

F (expected value)

4.96 (confidence rate)

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

F (expected value)

2.97 (confidence rate)

?
-
---:-- / 0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
DNF

0
DNF

0
100000

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
Echo — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 166 158 32 0 0
Bonuses 0 22 14 0 0 0
Scores 0 144 144 32 0 0
d02r09

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
d02r11

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d02r15

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d02r19

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d03r03

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
d03r05

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d03r07

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d04r03

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d05r03

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
EnergyBus — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 16 16 20
Bonuses 0 0 0 0 0 4
Scores 0 0 0 16 16 16
none

F (expected value)

2.96 (confidence rate)

DNF

0
DNF

0
DNF

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
Eratosthenes — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 48 56 48 48 48 52
Bonuses 0 8 0 0 0 4
Scores 48 48 48 48 48 48
010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
200

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
500

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
FMS — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 52 72 64 32 68
Bonuses 0 4 8 0 0 4
Scores 32 48 64 64 32 64
002

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
100

F (expected value)

4.96 (confidence rate)

F
T
---:-- / 16
CC

0
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
200

F (expected value)

3.96 (confidence rate)

DNF

0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
?
-
---:-- / 0
F
T
---:-- / 16
500

F (expected value)

3.96 (confidence rate)

DNF

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

0
F
T
---:-- / 16
GPPP — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 64 190 166 48 96 52
Bonuses 0 30 6 0 0 4
Scores 64 160 160 48 96 48
C0001N0000000001

F (expected value)

5.96 (confidence rate)

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

F (expected value)

5.96 (confidence rate)

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

F (expected value)

5.96 (confidence rate)

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

T (expected value)

3.97 (confidence rate)

DNF

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

0
C0100N0000001000

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
?
-
---:-- / 0
DNF

0
C0100N0000010000

T (expected value)

2.97 (confidence rate)

DNF

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

0
C0100N0000100000

T (expected value)

2.97 (confidence rate)

DNF

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

0
C1000N0000000010

T (expected value)

4.00 (confidence rate)

T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
F
X
V--:-- / -32
T
T
---:-- / 16
DNF

0
C1000N0000000100

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
---:PM / 16
T
T
---:-- / 16
F
X
V--:-- / -32
T
T
---:-- / 16
DNF

0
C1000N0000001000

T (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
DNF

0
GlobalResAllocation — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 18 0 34 32 36
Bonuses 0 2 0 2 0 4
Scores 0 16 0 32 32 32
03

F (expected value)

3.96 (confidence rate)

DNC F
T
---:-M / 16
DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:P- / 16
05

F (expected value)

2.96 (confidence rate)

DNC DNF

0
DNC F
T
---:P- / 16
F
T
---:-- / 16
F
T
---:-M / 16
06

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
07

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
09

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
CC

0
CC

0
10

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC CC

0
CC

0
CC

0
11

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
CC

0
CC

0
GlobalResAllocation — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 16 40 32 32 16
Bonuses 0 0 8 0 0 0
Scores 32 16 32 32 32 16
03

F (expected value)

5.96 (confidence rate)

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

F (expected value)

3.97 (confidence rate)

F
T
---:-- / 16
DNF

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

0
HouseConstruction — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 92 86 80 16 18
Bonuses 0 12 6 0 0 2
Scores 16 80 80 80 16 16
002

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
050

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
?
-
---:-- / 0
DNF

0
100

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
200

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
500

T (expected value)

2.97 (confidence rate)

DNF

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

0
CC

0
HypercubeGrid — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 60 32 0 0 0
Bonuses 0 12 0 0 0 0
Scores 0 48 32 0 0 0
C3K4P4B12

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
C4K3P3B12

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
C5K3P3B15

T (expected value)

1.00 (confidence rate)

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

0
DNF

0
DNF

0
DNF

0
HypertorusGrid — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 76 32 16 16 20
Bonuses 0 12 0 0 0 4
Scores 16 64 32 16 16 16
d2k1p8b00

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
d3k3p2b06

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
d4k3p2b08

T (expected value)

1.00 (confidence rate)

DNF

0
T
T
---:PM / 16
CC

0
DNF

0
DNF

0
DNF

0
d5k3p2b10

T (expected value)

1.00 (confidence rate)

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

0
DNF

0
DNF

0
DNF

0
IBM319 — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 18 16 16 16 18
Bonuses 0 2 0 0 0 2
Scores 16 16 16 16 16 16
none

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
IBM5964 — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 18 18 16 16 16
Bonuses 0 2 2 0 0 0
Scores 16 16 16 16 16 16
none

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
IBM703 — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 18 16 16 16 18
Bonuses 0 2 0 0 0 2
Scores 16 16 16 16 16 16
none

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
IBMB2S565S3960 — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 18 18 16 0 0
Bonuses 0 2 2 0 0 0
Scores 16 16 16 16 0 0
none

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
DNF

0
DNF

0
IOTPpurchase — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 34 34 32 32 36
Bonuses 0 2 2 0 0 4
Scores 16 32 32 32 32 32
C01M01P01D01

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
C12M10P15D17

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
Kanban — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 52 52 48 16 52
Bonuses 0 4 4 0 0 4
Scores 16 48 48 48 16 48
0005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
0500

F (expected value)

3.96 (confidence rate)

DNF

0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
1000

F (expected value)

3.96 (confidence rate)

?
-
---:-- / 0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
DNF

0
F
T
---:-- / 16
LamportFastMutEx — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 18 0 16 16 18
Bonuses 0 2 0 0 0 2
Scores 0 16 0 16 16 16
2

F (expected value)

3.96 (confidence rate)

DNC F
T
---:P- / 16
DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-M / 16
7

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
8

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
LamportFastMutEx — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 18 16 16 16 18
Bonuses 0 2 0 0 0 2
Scores 16 16 16 16 16 16
2

F (expected value)

5.96 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
8

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
DNF

0
DNF

0
DNF

0
CC

0
MAPK — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 34 34 32 32 20
Bonuses 0 2 2 0 0 4
Scores 16 32 32 32 32 16
008

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
320

F (expected value)

3.97 (confidence rate)

DNF

0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
F
T
---:-- / 16
DNF

0
MultiwaySync — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 0 0 16 18 18
Bonuses 0 0 0 0 2 2
Scores 16 0 0 16 16 16
none

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 16
?
-
---:-- / 0
DNF

0
F
T
---:-- / 16
F
T
---:P- / 16
F
T
---:-M / 16
NeoElection — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 80 0 16 16 0
Bonuses 0 16 0 0 0 0
Scores 0 64 0 16 16 0
2

T (expected value)

2.97 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
6

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
7

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
CC

0
8

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
CC

0
NeoElection — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 74 70 16 16 0
Bonuses 0 10 6 0 0 0
Scores 16 64 64 16 16 0
2

T (expected value)

4.97 (confidence rate)

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

0
6

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
DNF

0
DNF

0
7

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:-M / 16
T
T
---:P- / 16
DNF

0
DNF

0
CC

0
8

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:-M / 16
T
T
---:P- / 16
DNF

0
DNF

0
CC

0
PaceMaker — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 0 0 20 16 16
Bonuses 0 0 0 4 0 0
Scores 16 0 0 16 16 16
none

F (expected value)

3.96 (confidence rate)

F
T
---:-- / 16
?
-
---:-- / 0
DNF

0
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
ParamProductionCell — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 38 32 32 32 34
Bonuses 0 6 0 0 0 2
Scores 32 32 32 32 32 32
0

F (expected value)

5.96 (confidence rate)

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

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
Parking — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 34 34 32 16 20
Bonuses 0 2 2 0 0 4
Scores 16 32 32 32 16 16
104

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
864

T (expected value)

2.97 (confidence rate)

DNF

0
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
?
-
---:-- / 0
DNF

0
PermAdmissibility — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 100 0 16 16 16
Bonuses 0 20 0 0 0 0
Scores 0 80 0 16 16 16
01

T (expected value)

3.96 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
02

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
05

? (expected value)

0 (confidence rate)

DNC CC

0
DNC DNF

0
DNF

0
DNF

0
10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
20

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
CC

0
DNF

0
50

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
CC

0
DNF

0
PermAdmissibility — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 114 102 16 16 16
Bonuses 0 18 6 0 0 0
Scores 32 96 96 16 16 16
01

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
02

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
05

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
10

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
DNF

0
DNF

0
20

T (expected value)

2.00 (confidence rate)

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

0
CC

0
DNF

0
50

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
CC

0
DNF

0
Peterson — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 38 0 32 16 34
Bonuses 0 6 0 0 0 2
Scores 0 32 0 32 16 32
2

F (expected value)

3.96 (confidence rate)

DNC F
T
---:P- / 16
DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-M / 16
4

F (expected value)

2.96 (confidence rate)

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

0
F
T
---:-- / 16
5

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
6

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
7

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
Peterson — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 34 36 16 32 34
Bonuses 0 2 4 0 0 2
Scores 16 32 32 16 32 32
2

F (expected value)

5.96 (confidence rate)

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

F (expected value)

3.99 (confidence rate)

DNF

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

0
F
T
---:-- / 16
F
T
---:-- / 16
5

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
6

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
7

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
PhaseVariation — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 126 124 16 16 18
Bonuses 0 14 12 0 0 2
Scores 16 112 112 16 16 16
D02CS010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
D10CS010

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D10CS100

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D20CS010

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D20CS100

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D30CS010

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
D30CS100

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
CC

0
Philosophers — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 56 0 32 16 20
Bonuses 0 8 0 0 0 4
Scores 0 48 0 32 16 16
000005

T (expected value)

3.96 (confidence rate)

DNC T
T
---:-- / 16
DNC T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
005000

T (expected value)

1.97 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
DNF

0
CC

0
010000

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
CC

0
050000

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
100000

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
Philosophers — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 36 16 16 16 20
Bonuses 0 4 0 0 0 4
Scores 16 32 16 16 16 16
000005

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:PM / 16
005000

? (expected value)

0 (confidence rate)

?
?
---:-- / 0
DNF

0
CC

0
CC

0
DNF

0
CC

0
010000

T (expected value)

1.00 (confidence rate)

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

0
CC

0
DNF

0
CC

0
PhilosophersDyn — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 38 0 16 16 18
Bonuses 0 6 0 0 0 2
Scores 0 32 0 16 16 16
03

T (expected value)

3.96 (confidence rate)

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

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC CC

0
DNF

0
CC

0
50

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
80

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
PhilosophersDyn — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 38 32 16 16 18
Bonuses 0 6 0 0 0 2
Scores 32 32 32 16 16 16
03

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
20

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
CC

0
Planning — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 20 16 16 0 0
Bonuses 0 4 0 0 0 0
Scores 0 16 16 16 0 0
none

F (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
PolyORBLF — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 300 0 16 0 0
Bonuses 0 60 0 0 0 0
Scores 0 240 0 16 0 0
S02J04T06

T (expected value)

1.97 (confidence rate)

DNC T
T
---:PM / 16
DNC T
T
---:-- / 16
DNF

0
DNF

0
S02J06T08

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S02J06T10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S04J04T06

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S04J04T08

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S04J04T10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S04J06T06

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S04J06T08

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S04J06T10

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S06J04T04

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S06J04T06

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S06J04T08

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S06J06T04

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S06J06T06

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S06J06T08

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
PolyORBLF — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 96 282 258 0 0 16
Bonuses 0 42 18 0 0 0
Scores 96 240 240 0 0 16
S02J04T06

T (expected value)

2.99 (confidence rate)

DNF

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

0
DNF

0
T
T
---:-- / 16
S02J06T08

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S02J06T10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J04T06

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J04T08

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J04T10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J06T06

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J06T08

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S04J06T10

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
S06J04T04

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S06J04T06

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S06J04T08

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S06J06T04

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S06J06T06

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S06J06T08

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
PolyORBNT — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 200 0 0 0 0
Bonuses 0 40 0 0 0 0
Scores 0 160 0 0 0 0
S05J20

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S05J30

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S05J40

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S05J60

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S05J80

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S10J20

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S10J30

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S10J40

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S10J60

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
S10J80

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
PolyORBNT — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 160 194 166 0 0 0
Bonuses 0 34 6 0 0 0
Scores 160 160 160 0 0 0
S05J20

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
CC

0
DNF

0
DNF

0
S05J30

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
CC

0
DNF

0
DNF

0
S05J40

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
CC

0
S05J60

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
DNF

0
DNF

0
S05J80

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S10J20

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S10J30

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S10J40

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
DNF

0
S10J60

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
CC

0
S10J80

T (expected value)

3.00 (confidence rate)

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

0
DNF

0
CC

0
ProductionCell — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 -32 16 20
Bonuses 0 0 0 0 0 4
Scores 0 0 0 -32 16 16
none

F (expected value)

1.99 (confidence rate)

DNF

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

0
T
X
V--:-- / -32
F
T
---:-- / 16
F
T
---:PM / 16
QuasiCertifProtocol — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 118 0 16 16 18
Bonuses 0 22 0 0 0 2
Scores 0 96 0 16 16 16
02

T (expected value)

3.96 (confidence rate)

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

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
DNF

0
DNF

0
18

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
CC

0
DNF

0
22

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
CC

0
DNF

0
28

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
CC

0
DNF

0
32

T (expected value)

1.00 (confidence rate)

DNC T
T
---:PM / 16
DNC DNF

0
CC

0
DNF

0
QuasiCertifProtocol — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 110 104 16 16 18
Bonuses 0 14 8 0 0 2
Scores 32 96 96 16 16 16
02

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
10

T (expected value)

3.00 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
DNF

0
DNF

0
DNF

0
18

T (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
DNF

0
22

T (expected value)

2.00 (confidence rate)

?
-
---:-- / 0
T
T
---:P- / 16
T
T
---:-M / 16
CC

0
CC

0
DNF

0
28

T (expected value)

2.00 (confidence rate)

DNF

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

0
CC

0
DNF

0
32

T (expected value)

2.00 (confidence rate)

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

0
CC

0
DNF

0
Raft — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 16 16 66 64 78
Bonuses 0 0 0 2 0 14
Scores 16 16 16 64 64 64
02

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
08

F (expected value)

2.96 (confidence rate)

DNF

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

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

F (expected value)

2.96 (confidence rate)

DNF

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

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

F (expected value)

2.96 (confidence rate)

DNF

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

0
F
T
---:P- / 16
F
T
---:-- / 16
F
T
---:-M / 16
Railroad — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 16 16 16 16 40
Bonuses 0 0 0 0 0 8
Scores 16 16 16 16 16 32
005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
020

F (expected value)

0.99 (confidence rate)

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

0
DNF

0
DNF

0
F
T
---:PM / 16
050

? (expected value)

0 (confidence rate)

?
?
---:-- / 0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
100

? (expected value)

0 (confidence rate)

?
?
---:-- / 0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
ResAllocation — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 96 110 100 96 96 86
Bonuses 0 14 4 0 0 6
Scores 96 96 96 96 96 80
R003C010

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
R003C015

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
R003C020

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-M / 16
R003C050

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
R003C100

T (expected value)

5.96 (confidence rate)

T
T
---:-- / 16
T
T
---:PM / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
T
T
---:-- / 16
R100C002

T (expected value)

4.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
T
T
---:-- / 16
DNF

0
Ring — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 0 0 16 16 20
Bonuses 0 0 0 0 0 4
Scores 16 0 0 16 16 16
none

F (expected value)

3.96 (confidence rate)

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

0
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
RwMutex — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 84 92 32 80 68
Bonuses 0 4 12 0 0 4
Scores 16 80 80 32 80 64
r0010w0010

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
r0100w0010

F (expected value)

4.96 (confidence rate)

DNF

0
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
r0500w0010

F (expected value)

3.99 (confidence rate)

DNF

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

0
F
T
---:-- / 16
F
T
---:-- / 16
r1000w0010

F (expected value)

3.99 (confidence rate)

DNF

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

0
F
T
---:-- / 16
F
T
---:-- / 16
r2000w0010

F (expected value)

3.00 (confidence rate)

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

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

0
SafeBus — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 18 0 16 16 18
Bonuses 0 2 0 0 0 2
Scores 0 16 0 16 16 16
03

F (expected value)

3.96 (confidence rate)

DNC F
T
---:P- / 16
DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-M / 16
10

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
15

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
50

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC CC

0
DNF

0
DNF

0
80

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC CC

0
DNF

0
CC

0
SafeBus — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 18 16 16 16 18
Bonuses 0 2 0 0 0 2
Scores 16 16 16 16 16 16
03

F (expected value)

5.96 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
SharedMemory — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 16 0 16 16 20
Bonuses 0 0 0 0 0 4
Scores 0 16 0 16 16 16
000005

F (expected value)

3.96 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

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

0
000200

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
050000

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
100000

? (expected value)

0 (confidence rate)

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

0
CC

0
CC

0
SharedMemory — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 16 16 16 36 20
Bonuses 0 0 0 0 4 4
Scores 16 16 16 16 32 16
000005

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
000100

F (expected value)

1 (confidence rate)

?
-
---:-- / 0
DNF

0
CC

0
DNF

0
F
T
---:PM / 16
CC

0
000200

? (expected value)

0 (confidence rate)

DNF

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

0
CC

0
DNF

0
CC

0
SimpleLoadBal — Colored — no score computed (Note 1, main result page)
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 0 0 4
Bonuses 0 0 0 0 0 4
Scores 0 0 0 0 0 0
02

F (expected value)

2.96 (confidence rate)

DNC ?
-
---:-- / 0
DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
15

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
DNF

0
SimpleLoadBal — P/T — no score computed (Note 1, main result page)
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 0 0 4
Bonuses 0 0 0 0 0 4
Scores 0 0 0 0 0 0
02

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
DNF

0
SmallOperatingSystem — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 130 118 112 16 20
Bonuses 0 18 6 0 0 4
Scores 16 112 112 112 16 16
MT0016DC0008

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
MT2048DC0512

F (expected value)

2.97 (confidence rate)

?
-
---:-- / 0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
DNF

0
DNF

0
MT2048DC1024

F (expected value)

2.97 (confidence rate)

?
-
---:-- / 0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
DNF

0
DNF

0
MT4096DC1024

F (expected value)

2.97 (confidence rate)

?
-
---:-- / 0
F
T
---:P- / 16
F
T
---:-M / 16
F
T
---:-- / 16
DNF

0
DNF

0
MT4096DC2048

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
MT8192DC2048

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
MT8192DC4096

F (expected value)

2.97 (confidence rate)

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

0
DNF

0
Solitaire — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 80 118 98 96 16 0
Bonuses 0 22 2 0 0 0
Scores 80 96 96 96 16 0
EngCT7x7

T (expected value)

3.97 (confidence rate)

T
T
---:-- / 16
T
T
---:P- / 16
T
T
---:-M / 16
T
T
---:-- / 16
DNF

0
DNF

0
EngNC7x7

T (expected value)

3.97 (confidence rate)

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

0
DNF

0
FrnCT7x7

T (expected value)

3.97 (confidence rate)

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

0
DNF

0
FrnNC7x7

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
SqrCT5x5

T (expected value)

3.97 (confidence rate)

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

0
DNF

0
SqrNC5x5

T (expected value)

4.97 (confidence rate)

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

0
SquareGrid — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 100 80 32 16 0
Bonuses 0 20 0 0 0 0
Scores 16 80 80 32 16 0
020102

T (expected value)

4.97 (confidence rate)

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

0
040204

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
080408

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
100510

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
130613

T (expected value)

2.00 (confidence rate)

DNF

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

0
DNF

0
DNF

0
SwimmingPool — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 32 74 66 64 16 68
Bonuses 0 10 2 0 0 4
Scores 32 64 64 64 16 64
01

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
08

F (expected value)

4.96 (confidence rate)

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

0
F
T
---:-- / 16
09

F (expected value)

3.96 (confidence rate)

DNF

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

0
F
T
---:-- / 16
10

F (expected value)

3.96 (confidence rate)

DNF

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

0
F
T
---:-- / 16
TCPcondis — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 16 16 16 16 20
Bonuses 0 0 0 0 0 4
Scores 16 16 16 16 16 16
05

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
25

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
30

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
35

? (expected value)

0 (confidence rate)

DNF

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

0
CC

0
DNF

0
DNF

0
40

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
50

? (expected value)

0 (confidence rate)

DNF

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

0
DNF

0
DNF

0
DNF

0
TokenRing — Colored
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 18 0 16 16 18
Bonuses 0 2 0 0 0 2
Scores 0 16 0 16 16 16
005

F (expected value)

3.96 (confidence rate)

DNC F
T
---:P- / 16
DNC F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-M / 16
040

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
050

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
100

? (expected value)

0 (confidence rate)

DNC DNF

0
DNC DNF

0
DNF

0
CC

0
200

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
500

? (expected value)

0 (confidence rate)

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

0
DNF

0
CC

0
TokenRing — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 18 16 16 16 18
Bonuses 0 2 0 0 0 2
Scores 16 16 16 16 16 16
005

F (expected value)

5.96 (confidence rate)

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

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
DNF

0
DNF

0
CC

0
050

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
TriangularGrid — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 74 66 64 16 20
Bonuses 0 10 2 0 0 4
Scores 16 64 64 64 16 16
1200

F (expected value)

5.96 (confidence rate)

F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:-- / 16
F
T
---:PM / 16
4022

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
5020

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
5046

T (expected value)

2.97 (confidence rate)

DNF

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

0
DNF

0
UtahNoC — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 0 0 0 20 16 16
Bonuses 0 0 0 4 0 0
Scores 0 0 0 16 16 16
none

F (expected value)

2.96 (confidence rate)

DNF

0
DNF

0
CC

0
F
T
---:PM / 16
F
T
---:-- / 16
F
T
---:-- / 16
Vasy2003 — P/T
  LTSMin LoLA Tapaal ITS-Tools MARCIE GreatSPN
Total 16 0 0 16 16 20
Bonuses 0 0 0 0 0 4
Scores 16 0 0 16 16 16
none

F (expected value)

3.96 (confidence rate)

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

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