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

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 +4 bonus that is always considered for green and orange results. These two flags are followed by the score (without bonus) and a link to the execution report containing: a summary of results, a chart reporting memory and CPU evolution over the execution, a full execution log and the commands applied to the tool for this run.

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

The Results

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

Summary of Results for ReachabilityDeadlock
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total Points 21216 32428 16108 9024 21704 12384 33872 24688

All «Surprise» models
 
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total Points 3940 8980 5520 2240 5640 3200 11980 8420
AirplaneLD — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 360 0 0 0 240 0 0 0
Bonuses 120 0 0 0 0 0 0 0
Scores 240 0 0 0 240 0 0 0
0010

T (expected value)

1.98 (confidence rate)

T
T
---:PM / 80
DNC DNC DNC T
T
---:-- / 80
DNC DNC DNC
0020

T (expected value)

1.98 (confidence rate)

T
T
---:PM / 80
DNC DNC DNC T
T
---:-- / 80
DNC DNC DNC
0050

T (expected value)

1.98 (confidence rate)

T
T
---:PM / 80
DNC DNC DNC T
T
---:-- / 80
DNC DNC DNC
0100

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
0200

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
0500

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
1000

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
2000

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
4000

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
AirplaneLD — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 240 720 400 160 240 480 1080 560
Bonuses 0 0 0 0 0 0 360 0
Scores 240 720 400 160 240 480 720 560
0010

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
0020

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
0050

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
0100

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
0200

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
0500

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
1000

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
2000

T (expected value)

1.49 (confidence rate)

CC

0
T
T
---:-- / 80
?
-
---:-- / 0
CC

0
DNF

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

0
4000

T (expected value)

1.49 (confidence rate)

DNF

0
T
T
---:-- / 80
DNF

0
CC

0
DNF

0
CC

0
T
T
---:PM / 80
DNF

0
AutoFlight — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 560 1600 720 320 880 1280 2360 1640
Bonuses 0 0 0 0 0 0 760 40
Scores 560 1600 720 320 880 1280 1600 1600
01a

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
01b

T (expected value)

4.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
02a

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:P- / 80
T
T
---:-M / 80
02b

T (expected value)

4.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
03a

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
03b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
04a

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
04b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
05a

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:P- / 80
T
T
---:-M / 80
05b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
06a

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
06b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
12a

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
12b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
24a

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
24b

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
48a

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
48b

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
96a

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
96b

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
CloudDeployment — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 340 980 480 160 480 560 1060 820
Bonuses 100 100 0 0 0 0 260 20
Scores 240 880 480 160 480 560 800 800
2a

T (expected value)

5.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:P- / 80
T
T
---:-M / 80
2b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
3a

T (expected value)

5.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
3b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
4a

T (expected value)

3.99 (confidence rate)

CC

0
T
T
---:PM / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
4b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
5a

T (expected value)

4.98 (confidence rate)

T
T
---:P- / 80
T
T
---:-M / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
5b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
6a

T (expected value)

3.98 (confidence rate)

T
T
---:PM / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
6b

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:P- / 80
DNF

0
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:-M / 80
T
T
---:-- / 80
7a

T (expected value)

2.98 (confidence rate)

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

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
7b

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:P- / 80
DNF

0
DNF

0
DNF

0
CC

0
T
T
---:-M / 80
T
T
---:-- / 80
DES — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 160 1600 1280 800 800 1600 2380 1620
Bonuses 0 0 0 0 0 0 780 20
Scores 160 1600 1280 800 800 1600 1600 1600
00a

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
00b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
01a

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:P- / 80
T
T
---:-M / 80
01b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
02a

T (expected value)

5.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
02b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
05a

T (expected value)

5.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
05b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
10a

T (expected value)

5.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
10b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
20a

T (expected value)

5.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
20b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
30a

T (expected value)

4.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
30b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
40a

T (expected value)

4.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
40b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
50a

T (expected value)

4.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
50b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
60a

T (expected value)

4.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
60b

T (expected value)

3.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
DLCshifumi — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 100 80 0 0 100 0 320 160
Bonuses 20 0 0 0 20 0 160 0
Scores 80 80 0 0 80 0 160 160
2a

F (expected value)

1.98 (confidence rate)

F
T
---:-M / 80
?
-
---:-- / 0
DNF

0
DNF

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

0
CC

0
2b

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
3a

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
3b

T (expected value)

1.00 (confidence rate)

CC

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

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
4a

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
4b

(T) (expected value)

0.50 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
5a

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
5b

(T) (expected value)

0.50 (confidence rate)

CC

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

0
CC

0
DNF

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

0
6a

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
DNF

0
6b

? (expected value)

0 (confidence rate)

CC

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

0
CC

0
CC

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

0
CC

0
DNAwalker — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 1440 1200 1360 240 880 -480 1500 1140
Bonuses 240 80 0 0 0 0 380 20
Scores 1200 1120 1360 240 880 -480 1120 1120
01track12Block1

T (expected value)

5.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
02track12Block2

T (expected value)

5.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
03track12BlockBoth

T (expected value)

5.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:P- / 80
T
T
---:-M / 80
04track28LL

T (expected value)

4.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
DNF

0
T
T
---:PM / 80
T
T
---:-- / 80
05track28LR

T (expected value)

4.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
DNF

0
T
T
---:PM / 80
T
T
---:-- / 80
06track28RL

T (expected value)

4.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
DNF

0
T
T
---:PM / 80
T
T
---:-- / 80
07track28RR

T (expected value)

4.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
DNF

0
T
T
---:PM / 80
T
T
---:-- / 80
08ringLL

F (expected value)

4.98 (confidence rate)

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

0
F
T
---:-- / 80
DNF

0
F
T
---:-- / 80
F
T
---:-- / 80
09ringLR

F (expected value)

4.98 (confidence rate)

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

0
F
T
---:-- / 80
DNF

0
F
T
---:-- / 80
F
T
---:-- / 80
10ringRL

F (expected value)

4.98 (confidence rate)

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

0
F
T
---:-- / 80
DNF

0
F
T
---:-- / 80
F
T
---:-- / 80
11ringRR

F (expected value)

4.98 (confidence rate)

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

0
F
T
---:-- / 80
DNF

0
F
T
---:-- / 80
F
T
---:-- / 80
12ringLLLarge

F (expected value)

1.98 (confidence rate)

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

0
DNF

0
DNF

0
DNF

0
CC

0
13ringRLLarge

F (expected value)

1.98 (confidence rate)

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

0
DNF

0
DNF

0
DNF

0
CC

0
14ringLRLarge

F (expected value)

1.98 (confidence rate)

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

0
DNF

0
DNF

0
DNF

0
CC

0
15ringRRLarge

F (expected value)

1.98 (confidence rate)

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

0
DNF

0
DNF

0
DNF

0
CC

0
16redondantChoiceR

T (expected value)

2.99 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:PM / 80
T
T
---:-- / 80
17redondantChoiceL

T (expected value)

2.99 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
DNF

0
DNF

0
T
T
---:PM / 80
T
T
---:-- / 80
18lozangeBlock

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
DNF

0
CC

0
DNF

0
T
T
---:PM / 80
T
T
---:-- / 80
GPPP — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 240 1420 560 240 1120 -1120 1800 1380
Bonuses 0 140 0 0 0 0 440 100
Scores 240 1280 560 240 1120 -1120 1360 1280
C0001N0000000001

F (expected value)

6.35 (confidence rate)

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

F (expected value)

6.35 (confidence rate)

F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:PM / 80
C0001N0000000100

F (expected value)

5.35 (confidence rate)

F
T
---:-- / 80
F
T
---:P- / 80
F
T
---:-- / 80
CC

0
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-M / 80
C0001N0000001000

F (expected value)

3.37 (confidence rate)

CC

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

0
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
C0001N0000010000

F (expected value)

2.37 (confidence rate)

T
X
V--:-- / -160
F
T
---:PM / 80
?
-
---:-- / 0
CC

0
CC

0
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
C0001N0000100000

F (expected value)

2.85 (confidence rate)

F
T
---:-- / 80
F
T
---:PM / 80
DNF

0
CC

0
CC

0
F
T
---:-- / 80
F
T
---:-- / 80
CC

0
C0010N0000000010

T (expected value)

3.99 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C0010N0000000100

T (expected value)

3.99 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C0010N1000000000

T (expected value)

3.00 (confidence rate)

CC

0
CC

0
?
-
---:-- / 0
T
T
---:-- / 80
T
T
---:-- / 80
?
-
---:-- / 0
T
T
---:P- / 80
T
T
---:-M / 80
C0100N0000000010

T (expected value)

3.99 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C0100N0000000100

T (expected value)

2.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C0100N0000001000

T (expected value)

2.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C0100N0000010000

T (expected value)

3.98 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C0100N0000100000

T (expected value)

2.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C1000N0000000010

T (expected value)

3.99 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C1000N0000000100

T (expected value)

2.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
T
T
---:-- / 80
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
C1000N0000001000

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
?
-
---:-- / 0
CC

0
CC

0
F
X
V--:-- / -160
T
T
---:PM / 80
T
T
---:-- / 80
HypertorusGrid — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 160 600 160 80 160 160 480 360
Bonuses 0 120 0 0 0 0 80 40
Scores 160 480 160 80 160 160 400 320
d2k1p8b00

F (expected value)

6.35 (confidence rate)

F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:PM / 80
d2k2p1b00

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
d2k3p2b04

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 80
T
T
---:-- / 80
d3k3p2b06

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:PM / 80
DNF

0
CC

0
DNF

0
?
-
---:-- / 0
T
T
---:-- / 80
T
T
---:-- / 80
d4k3p2b08

T (expected value)

1.49 (confidence rate)

CC

0
T
T
---:PM / 80
DNF

0
CC

0
DNF

0
?
-
---:-- / 0
T
T
---:-- / 80
DNF

0
d5k3p2b10

T (expected value)

0.99 (confidence rate)

CC

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

0
DNF

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

0
DNF

0
PaceMaker — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 100 0 80 0 100 80 0 0
Bonuses 20 0 0 0 20 0 0 0
Scores 80 0 80 0 80 80 0 0
none

F (expected value)

3.36 (confidence rate)

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

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

0
CC

0
TCPcondis — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 80 160 80 320 0 100 100
Bonuses 0 0 0 0 80 0 20 20
Scores 0 80 160 80 240 0 80 80
05

F (expected value)

4.99 (confidence rate)

CC

0
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
?
-
---:-- / 0
F
T
---:-M / 80
F
T
---:P- / 80
10

F (expected value)

2.00 (confidence rate)

CC

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

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

0
CC

0
15

F (expected value)

1.00 (confidence rate)

CC

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

0
CC

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

0
CC

0
20

? (expected value)

0 (confidence rate)

CC

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

0
CC

0
DNF

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

0
CC

0
25

? (expected value)

0 (confidence rate)

CC

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

0
CC

0
DNF

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

0
CC

0
30

? (expected value)

0 (confidence rate)

CC

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

0
CC

0
DNF

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

0
CC

0
35

? (expected value)

0 (confidence rate)

CC

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

0
CC

0
DNF

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

0
CC

0
40

? (expected value)

0 (confidence rate)

CC

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

0
CC

0
DNF

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

0
CC

0
50

? (expected value)

0 (confidence rate)

CC

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

0
CC

0
DNF

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

0
CC

0
TriangularGrid — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 240 700 320 160 320 640 900 640
Bonuses 0 60 0 0 0 0 260 0
Scores 240 640 320 160 320 640 640 640
1200

F (expected value)

6.35 (confidence rate)

F
T
---:-- / 80
F
T
---:P- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-M / 80
F
T
---:-- / 80
1500

F (expected value)

6.35 (confidence rate)

F
T
---:-- / 80
F
T
---:PM / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
F
T
---:-- / 80
2011

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:-- / 80
DNF

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
3011

T (expected value)

4.37 (confidence rate)

CC

0
T
T
---:-- / 80
T
T
---:-- / 80
CC

0
T
T
---:-- / 80
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
3026

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
4022

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
5020

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80
5046

T (expected value)

2.37 (confidence rate)

CC

0
T
T
---:-- / 80
DNF

0
CC

0
DNF

0
T
T
---:-- / 80
T
T
---:PM / 80
T
T
---:-- / 80

All «Stripped» models
 
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total Points 12960 17280 7944 5088 12024 6888 16680 12192
ARMCacheCoherence (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 48 0 48 0 60 0 60 0
Bonuses 0 0 0 0 12 0 12 0
Scores 48 0 48 0 48 0 48 0
none

F (expected value)

3.48 (confidence rate)

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

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

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

0
Angiogenesis (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 192 240 240 48 192 96 492 348
Bonuses 0 0 0 0 0 0 156 12
Scores 192 240 240 48 192 96 336 336
01

T (expected value)

6.35 (confidence rate)

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

T (expected value)

5.35 (confidence rate)

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

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

T (expected value)

4.98 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
CC

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

T (expected value)

4.98 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
CC

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

T (expected value)

2.99 (confidence rate)

CC

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

0
DNF

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

T (expected value)

1.00 (confidence rate)

CC

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

0
CC

0
DNF

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

T (expected value)

1.00 (confidence rate)

CC

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

0
CC

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 48
T
T
---:-- / 48
BridgeAndVehicles (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 576 0 0 0 192 0 0 0
Bonuses 192 0 0 0 0 0 0 0
Scores 384 0 0 0 192 0 0 0
V04P05N02

T (expected value)

1.98 (confidence rate)

T
T
---:PM / 48
DNC DNC DNC T
T
---:-- / 48
DNC DNC DNC
V10P10N10

T (expected value)

1.98 (confidence rate)

T
T
---:PM / 48
DNC DNC DNC T
T
---:-- / 48
DNC DNC DNC
V20P10N10

T (expected value)

1.98 (confidence rate)

T
T
---:PM / 48
DNC DNC DNC T
T
---:-- / 48
DNC DNC DNC
V20P10N20

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
V20P10N50

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
V20P20N10

T (expected value)

1.98 (confidence rate)

T
T
---:PM / 48
DNC DNC DNC T
T
---:-- / 48
DNC DNC DNC
V20P20N20

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
V20P20N50

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
V50P20N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V50P20N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V50P20N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V50P50N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V50P50N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V50P50N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V80P20N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V80P20N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V80P20N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V80P50N10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V80P50N20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
V80P50N50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
BridgeAndVehicles (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 96 960 96 384 192 960 1428 972
Bonuses 0 0 0 0 0 0 468 12
Scores 96 960 96 384 192 960 960 960
V04P05N02

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-M / 48
V10P10N10

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V20P10N10

T (expected value)

4.37 (confidence rate)

CC

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

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V20P10N20

T (expected value)

3.37 (confidence rate)

CC

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

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

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V20P10N50

T (expected value)

3.37 (confidence rate)

CC

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

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

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V20P20N10

T (expected value)

4.37 (confidence rate)

CC

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

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V20P20N20

T (expected value)

3.37 (confidence rate)

CC

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

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

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V20P20N50

T (expected value)

3.37 (confidence rate)

CC

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

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

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V50P20N10

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V50P20N20

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V50P20N50

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V50P50N10

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V50P50N20

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V50P50N50

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V80P20N10

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V80P20N20

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V80P20N50

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V80P50N10

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V80P50N20

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
V80P50N50

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
CSRepetitions (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 216 0 0 0 96 0 0 0
Bonuses 72 0 0 0 0 0 0 0
Scores 144 0 0 0 96 0 0 0
02

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
05

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
07

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
CSRepetitions (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 144 288 96 48 96 288 432 288
Bonuses 0 0 0 0 0 0 144 0
Scores 144 288 96 48 96 288 288 288
02

T (expected value)

6.35 (confidence rate)

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

T (expected value)

5.35 (confidence rate)

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

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

T (expected value)

3.35 (confidence rate)

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

0
DNF

0
DNF

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

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
CircadianClock (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 96 408 144 96 240 96 108 108
Bonuses 0 120 0 0 0 0 12 12
Scores 96 288 144 96 240 96 96 96
000001

F (expected value)

6.35 (confidence rate)

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

F (expected value)

6.35 (confidence rate)

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

F (expected value)

3.98 (confidence rate)

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

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

0
DNF

0
001000

F (expected value)

2.98 (confidence rate)

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

0
CC

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

0
DNF

0
010000

F (expected value)

1.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

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

0
DNF

0
100000

F (expected value)

0.99 (confidence rate)

T
X
V--:-- / -96
F
T
---:PM / 48
DNF

0
CC

0
CC

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

0
CC

0
CircularTrains (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 288 468 192 96 288 96 132 96
Bonuses 0 132 0 0 0 0 36 0
Scores 288 336 192 96 288 96 96 96
012

F (expected value)

6.35 (confidence rate)

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

F (expected value)

6.35 (confidence rate)

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

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
096

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
192

F (expected value)

2.98 (confidence rate)

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

0
CC

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

0
CC

0
384

F (expected value)

2.98 (confidence rate)

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

0
CC

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

0
CC

0
768

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

0
DNF

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

0
CC

0
DatabaseWithMutex (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 0 0 0 144 0 0 0
Bonuses 0 0 0 0 48 0 0 0
Scores 0 0 0 0 96 0 0 0
02

F (expected value)

1.00 (confidence rate)

T
X
VC-:-- / -
DNC DNC DNC F
T
---:PM / 48
DNC DNC DNC
04

F (expected value)

1.00 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
40

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC CC

0
DNC DNC DNC
DatabaseWithMutex (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 96 96 48 96 48 132 108
Bonuses 0 0 0 0 0 0 36 12
Scores 0 96 96 48 96 48 96 96
02

F (expected value)

5.37 (confidence rate)

F
T
-C-:-- / -
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:P- / 48
F
T
---:-M / 48
04

F (expected value)

3.99 (confidence rate)

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

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

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
20

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
40

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
Dekker (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 276 240 96 96 144 96 156 168
Bonuses 36 48 0 0 0 0 12 24
Scores 240 192 96 96 144 96 144 144
010

F (expected value)

6.35 (confidence rate)

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

F (expected value)

6.35 (confidence rate)

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

F (expected value)

3.98 (confidence rate)

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

0
DNF

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

F (expected value)

1.98 (confidence rate)

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

0
DNF

0
DNF

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

0
CC

0
100

F (expected value)

0.98 (confidence rate)

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

0
DNF

0
DNF

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

0
CC

0
200

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
Diffusion2D (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 1008 2088 288 0 1008 0 48 0
Bonuses 0 696 0 0 0 0 0 0
Scores 1008 1392 288 0 1008 0 48 0
D05N010

F (expected value)

4.48 (confidence rate)

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

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

0
D05N050

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
D05N100

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
D05N150

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D05N200

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D05N250

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D05N300

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D05N350

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D10N010

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
D10N050

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
D10N100

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D10N150

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D10N200

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D20N010

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
D20N050

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D20N100

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D20N150

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
CC

0
D30N010

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
DNF

0
D30N050

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
DNF

0
D30N100

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
D30N150

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
D40N010

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
DNF

0
D40N050

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
D40N100

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
D40N150

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
D50N010

F (expected value)

2.98 (confidence rate)

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

0
DNF

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

0
DNF

0
D50N050

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
D50N100

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
D50N150

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
DNF

0
DotAndBoxes (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 216 0 0 0 144 0 0 0
Bonuses 72 0 0 0 0 0 0 0
Scores 144 0 0 0 144 0 0 0
2

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
DrinkVendingMachine (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 132 0 0 0 180 0 0 0
Bonuses 36 0 0 0 36 0 0 0
Scores 96 0 0 0 144 0 0 0
02

F (expected value)

1.98 (confidence rate)

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

F (expected value)

1.98 (confidence rate)

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

F (expected value)

1.00 (confidence rate)

DNF

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

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC DNC CC

0
DNC DNC DNC
48

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC CC

0
DNC DNC DNC
76

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC CC

0
DNC DNC DNC
98

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC CC

0
DNC DNC DNC
DrinkVendingMachine (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 96 48 48 48 108 48 132 48
Bonuses 0 0 0 0 12 0 36 0
Scores 96 48 48 48 96 48 96 48
02

F (expected value)

6.35 (confidence rate)

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

F (expected value)

2.48 (confidence rate)

F
T
---:-- / 48
DNF

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

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

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

0
ERK (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 48 384 144 96 192 96 120 120
Bonuses 0 96 0 0 0 0 24 24
Scores 48 288 144 96 192 96 96 96
000001

F (expected value)

6.35 (confidence rate)

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

F (expected value)

6.35 (confidence rate)

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

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
001000

F (expected value)

1.99 (confidence rate)

CC

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

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

0
CC

0
010000

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

0
CC

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

0
CC

0
100000

F (expected value)

0.99 (confidence rate)

T
X
V--:-- / -96
F
T
---:PM / 48
DNF

0
CC

0
CC

0
DNF

0
CC

0
CC

0
Echo (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 432 0 0 0 0 648 432
Bonuses 0 0 0 0 0 0 216 0
Scores 0 432 0 0 0 0 432 432
d02r09

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
CC

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
CC

0
DNF

0
?
-
---:-- / 0
T
T
---:PM / 48
T
T
---:-- / 48
EnergyBus (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 72 0 0 0 48 0 0 0
Bonuses 24 0 0 0 0 0 0 0
Scores 48 0 0 0 48 0 0 0
none

F (expected value)

1.98 (confidence rate)

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

0
DNF

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

0
CC

0
Eratosthenes (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 288 300 288 96 288 288 408 300
Bonuses 0 12 0 0 0 0 120 12
Scores 288 288 288 96 288 288 288 288
010

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-M / 48
T
T
---:P- / 48
020

T (expected value)

6.35 (confidence rate)

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

T (expected value)

5.35 (confidence rate)

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

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

T (expected value)

5.35 (confidence rate)

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

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

T (expected value)

5.35 (confidence rate)

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

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

T (expected value)

5.35 (confidence rate)

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

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-M / 48
T
T
---:-- / 48
FMS (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 336 504 288 96 336 48 276 276
Bonuses 0 120 0 0 0 0 36 36
Scores 336 384 288 96 336 48 240 240
002

F (expected value)

6.35 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.98 (confidence rate)

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

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

F (expected value)

4.98 (confidence rate)

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

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

F (expected value)

4.98 (confidence rate)

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

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

F (expected value)

3.98 (confidence rate)

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

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

0
DNF

0
200

F (expected value)

2.98 (confidence rate)

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

0
CC

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

0
DNF

0
500

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

0
DNF

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

0
DNF

0
GlobalResAllocation (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 144 0 0 0 48 0 0 0
Bonuses 48 0 0 0 0 0 0 0
Scores 96 0 0 0 48 0 0 0
03

F (expected value)

1.98 (confidence rate)

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

F (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
06

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
07

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
09

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
11

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC DNC CC

0
DNC DNC DNC
GlobalResAllocation (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 108 48 108 48 48 0 72 48
Bonuses 12 0 12 0 0 0 24 0
Scores 96 48 96 48 48 0 48 48
03

F (expected value)

5.98 (confidence rate)

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

F (expected value)

1.98 (confidence rate)

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

0
DNF

0
CC

0
DNF

0
DNF

0
HouseConstruction (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 192 384 192 96 192 384 504 456
Bonuses 0 0 0 0 0 0 120 72
Scores 192 384 192 96 192 384 384 384
002

T (expected value)

6.35 (confidence rate)

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

T (expected value)

6.35 (confidence rate)

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

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
CC

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

T (expected value)

5.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
CC

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

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
CC

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

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
CC

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

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
CC

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

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
CC

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
HypercubeGrid (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 216 0 0 0 0 96 96
Bonuses 0 72 0 0 0 0 0 0
Scores 0 144 0 0 0 0 96 96
C3K4P4B12

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:PM / 48
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:-- / 48
T
T
---:-- / 48
C4K3P3B12

T (expected value)

1.99 (confidence rate)

CC

0
T
T
---:PM / 48
DNF

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:-- / 48
T
T
---:-- / 48
C5K3P3B15

T (expected value)

0.99 (confidence rate)

CC

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

0
DNF

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

0
DNF

0
IBM319 (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 48 48 48 48 48 48 72 48
Bonuses 0 0 0 0 0 0 24 0
Scores 48 48 48 48 48 48 48 48
none

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
IBM5964 (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 48 48 48 48 48 48 72 48
Bonuses 0 0 0 0 0 0 24 0
Scores 48 48 48 48 48 48 48 48
none

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
IBM703 (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 48 48 48 48 48 48 72 48
Bonuses 0 0 0 0 0 0 24 0
Scores 48 48 48 48 48 48 48 48
none

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
IBMB2S565S3960 (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 48 48 0 48 0 72 48
Bonuses 0 0 0 0 0 0 24 0
Scores 0 48 48 0 48 0 48 48
none

T (expected value)

3.99 (confidence rate)

CC

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

0
T
T
---:-- / 48
?
-
---:-- / 0
T
T
---:PM / 48
T
T
---:-- / 48
IOTPpurchase (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 144 228 144 96 192 96 204 144
Bonuses 0 36 0 0 0 0 60 0
Scores 144 192 144 96 192 96 144 144
C01M01P01D01

F (expected value)

6.35 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
C03M03P03D03

F (expected value)

6.35 (confidence rate)

F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
C05M04P03D02

F (expected value)

4.98 (confidence rate)

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

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

F (expected value)

1.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

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

0
CC

0
Kanban (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 288 540 144 48 288 0 204 168
Bonuses 0 156 0 0 0 0 12 24
Scores 288 384 144 48 288 0 192 144
0005

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.98 (confidence rate)

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

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

F (expected value)

4.98 (confidence rate)

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

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

F (expected value)

3.48 (confidence rate)

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

0
CC

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

0
0100

F (expected value)

2.98 (confidence rate)

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

0
CC

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

0
DNF

0
0200

F (expected value)

2.98 (confidence rate)

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

0
CC

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

0
DNF

0
0500

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

0
DNF

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

0
DNF

0
1000

F (expected value)

0.99 (confidence rate)

CC

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

0
DNF

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

0
DNF

0
LamportFastMutEx (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 288 0 0 0 192 0 0 0
Bonuses 96 0 0 0 0 0 0 0
Scores 192 0 0 0 192 0 0 0
2

F (expected value)

1.98 (confidence rate)

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

F (expected value)

1.98 (confidence rate)

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

F (expected value)

1.98 (confidence rate)

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

F (expected value)

1.98 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
8

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
LamportFastMutEx (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 228 144 144 144 192 0 192 156
Bonuses 36 0 0 0 0 0 48 12
Scores 192 144 144 144 192 0 144 144
2

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

1.98 (confidence rate)

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

0
DNF

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

0
CC

0
6

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
7

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
8

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
CC

0
MAPK (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 144 432 192 48 288 0 48 48
Bonuses 0 144 0 0 0 0 0 0
Scores 144 288 192 48 288 0 48 48
008

F (expected value)

5.98 (confidence rate)

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

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
040

F (expected value)

3.98 (confidence rate)

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

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

0
CC

0
080

F (expected value)

2.99 (confidence rate)

CC

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

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

0
CC

0
160

F (expected value)

1.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

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

0
CC

0
320

F (expected value)

1.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
CC

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

0
CC

0
MultiwaySync (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 72 0 48 0 48 0 0 0
Bonuses 24 0 0 0 0 0 0 0
Scores 48 0 48 0 48 0 0 0
none

F (expected value)

2.98 (confidence rate)

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

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

0
CC

0
NeoElection (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 216 0 0 0 96 0 0 0
Bonuses 72 0 0 0 0 0 0 0
Scores 144 0 0 0 96 0 0 0
2

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
5

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
6

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
8

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
NeoElection (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 144 336 96 96 96 0 492 348
Bonuses 0 0 0 0 0 0 156 12
Scores 144 336 96 96 96 0 336 336
2

T (expected value)

5.98 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
?
-
---:-- / 0
T
T
---:P- / 48
T
T
---:-M / 48
3

T (expected value)

5.98 (confidence rate)

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

T (expected value)

2.98 (confidence rate)

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
CC

0
T
T
---:PM / 48
T
T
---:-- / 48
ParamProductionCell (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 288 408 288 240 288 96 312 288
Bonuses 0 120 0 0 0 0 24 0
Scores 288 288 288 240 288 96 288 288
0

F (expected value)

5.98 (confidence rate)

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

F (expected value)

6.35 (confidence rate)

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

F (expected value)

6.35 (confidence rate)

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

F (expected value)

5.98 (confidence rate)

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

F (expected value)

4.98 (confidence rate)

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

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

F (expected value)

5.98 (confidence rate)

F
T
---:-- / 48
F
T
---:PM / 48
F
T
---:-- / 48
F
T
---:-- / 48
F
T
---:-- / 48
?
-
---:-- / 0
F
T
---:-- / 48
F
T
---:-- / 48
Parking (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 144 288 144 48 288 288 432 288
Bonuses 0 0 0 0 0 0 144 0
Scores 144 288 144 48 288 288 288 288
104

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
208

T (expected value)

5.35 (confidence rate)

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

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
416

T (expected value)

5.35 (confidence rate)

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

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
432

T (expected value)

3.37 (confidence rate)

CC

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

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
832

T (expected value)

3.37 (confidence rate)

CC

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

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
864

T (expected value)

3.37 (confidence rate)

CC

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

0
DNF

0
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
PermAdmissibility (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 72 0 0 0 48 0 0 0
Bonuses 24 0 0 0 0 0 0 0
Scores 48 0 0 0 48 0 0 0
01

T (expected value)

1.98 (confidence rate)

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

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
05

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
50

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
PermAdmissibility (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 48 288 48 48 48 288 432 288
Bonuses 0 0 0 0 0 0 144 0
Scores 48 288 48 48 48 288 288 288
01

T (expected value)

6.35 (confidence rate)

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

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
DNF

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

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

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

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

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

T (expected value)

2.37 (confidence rate)

CC

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

0
CC

0
CC

0
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
Peterson (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 216 0 0 0 96 0 0 0
Bonuses 72 0 0 0 0 0 0 0
Scores 144 0 0 0 96 0 0 0
2

F (expected value)

1.98 (confidence rate)

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

F (expected value)

1.98 (confidence rate)

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

F (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
5

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
6

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
7

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
Peterson (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 96 144 48 48 96 48 204 156
Bonuses 0 0 0 0 0 0 60 12
Scores 96 144 48 48 96 48 144 144
2

F (expected value)

6.35 (confidence rate)

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

F (expected value)

3.98 (confidence rate)

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

0
DNF

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

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

F (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
DNF

0
6

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
DNF

0
7

? (expected value)

0 (confidence rate)

CC

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

0
DNF

0
DNF

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

0
DNF

0
PhaseVariation (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 48 504 144 48 144 48 684 444
Bonuses 0 24 0 0 0 0 204 12
Scores 48 480 144 48 144 48 480 432
D02CS010

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:P- / 48
T
T
---:-M / 48
D02CS100

T (expected value)

3.99 (confidence rate)

CC

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

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

T (expected value)

3.99 (confidence rate)

CC

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

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

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

T (expected value)

1.49 (confidence rate)

CC

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

0
DNF

0
DNF

0
CC

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

0
D30CS100

T (expected value)

1.99 (confidence rate)

CC

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

0
DNF

0
DNF

0
CC

0
T
T
---:-M / 48
T
T
---:-- / 48
Philosophers (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 720 0 0 0 336 0 0 0
Bonuses 240 0 0 0 0 0 0 0
Scores 480 0 0 0 336 0 0 0
000005

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

1.98 (confidence rate)

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

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
002000

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
005000

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
010000

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC DNC DNF

0
DNC DNC DNC
050000

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC DNC DNF

0
DNC DNC DNC
100000

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC DNC DNF

0
DNC DNC DNC
Philosophers (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 384 648 288 96 336 144 564 396
Bonuses 0 120 0 0 0 0 132 12
Scores 384 528 288 96 336 144 432 384
000005

T (expected value)

6.35 (confidence rate)

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

T (expected value)

6.35 (confidence rate)

T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:-- / 48
T
T
---:PM / 48
T
T
---:-- / 48
000020

T (expected value)

4.98 (confidence rate)

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

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

T (expected value)

5.35 (confidence rate)

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

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

T (expected value)

4.98 (confidence rate)

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

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

T (expected value)

4.98 (confidence rate)

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

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

T (expected value)

3.98 (confidence rate)

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

0
DNF

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

T (expected value)

2.98 (confidence rate)

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

0
DNF

0
DNF

0
?
-
---:-- / 0
T
T
---:-- / 48
T
T
---:-- / 48
002000

T (expected value)

1.49 (confidence rate)

CC

0
T
T
---:PM / 48
DNF

0
DNF

0
DNF

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

0
005000

T (expected value)

0.99 (confidence rate)

CC

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

0
DNF

0
CC

0
CC

0
DNF

0
010000

T (expected value)

0.99 (confidence rate)

CC

0
T
T
---:PM / 48
DNF

0
CC

0
DNF

0
CC

0
CC

0
CC

0
PhilosophersDyn (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 72 0 0 0 0 0 0 0
Bonuses 24 0 0 0 0 0 0 0
Scores 48 0 0 0 0 0 0 0
03

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
20

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
50

? (expected value)

0 (confidence rate)

DNF

0
DNC DNC DNC DNF

0
DNC DNC DNC
80

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
PhilosophersDyn (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 96 144 156 144 48 96 192 156
Bonuses 0 0 12 0 0 0 48 12
Scores 96 144 144 144 48 96 144 144
03

T (expected value)

6.35 (confidence rate)

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

T (expected value)

5.35 (confidence rate)

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

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

T (expected value)

3.99 (confidence rate)

CC

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

0
CC

0
T
T
---:-M / 48
T
T
---:-- / 48
Planning (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 72 0 0 0 0 0 0
Bonuses 0 24 0 0 0 0 0 0
Scores 0 48 0 0 0 0 0 0
none

F (expected value)

0.99 (confidence rate)

CC

0
F
T
---:PM / 48
DNF

0
DNF

0
CC

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

0
CC

0
PolyORBLF (stripped) — Colored
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 288 0 0 0 0 0 0 0
Bonuses 96 0 0 0 0 0 0 0
Scores 192 0 0 0 0 0 0 0
S02J04T06

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
S02J04T08

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
S02J04T10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S02J06T06

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
S02J06T08

T (expected value)

0.98 (confidence rate)

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

0
DNC DNC DNC
S02J06T10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S04J04T06

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S04J04T08

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S04J04T10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S04J06T06

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S04J06T08

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S04J06T10

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S06J04T04

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S06J04T06

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S06J04T08

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S06J06T04

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S06J06T06

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
S06J06T08

? (expected value)

0 (confidence rate)

CC

0
DNC DNC DNC DNF

0
DNC DNC DNC
PolyORBLF (stripped) — P/T
  ITS-Tools LoLa LTSMin Tapaal(PAR) Marcie PeCan Tapaal(EXP) Tapaal(SEQ)
Total 0 576 288 336 0 792 1236 900
Bonuses 0 0 0 0 0 24 372 36
Scores 0 576 288 336 0 768 864 864
S02J04T06

T (expected value)

3.37 (confidence rate)

CC

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

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

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

T (expected value)

2.37 (confidence rate)

CC

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

0
DNF

0
DNF

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