fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Results for the statespace Examination
Last Updated
Sept. 1, 2014

Introduction

Please find here the computed results for the .

In the table below, results are colored after their status with regards to correctness (you may have a look on the corresponding mask table for more details). The color code is the following:

The results

They are displayed in the table below.

Summary of Results for statespace
Results for ARMCacheCoherence (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 1
-
0
1
DNC DNC 3.20568E+0008
2.23396E+0010
12
1
3.20568E+0008
-
-
-
DNF DNF DNF
Results for Angiogenesis (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC CC DNC DNC 110
288
8
1
110
-
8
1
110
-
-
-
110
-
-
-
110
-
8
1
05 DNC CC DNC DNC 4.27349E+0007
4.86874E+0008
40
5
4.27349E+0007
-
40
5
4.27349E+0007
-
-
-
DNF DNF
10 DNC CC DNC DNC 8.22646E+0011
1.56359E+0013
80
10
8.22646E+0011
-
80
10
8.22646E+0011
-
-
-
DNF CC
15 DNC CC DNC DNC 1.11554E+0015
2.74737E+0016
120
15
DNF DNF DNF CC
20 DNC CC DNC DNC DNF DNF DNF DNF CC
25 DNC CC DNC DNC DNF DNF DNF DNF CC
50 DNC CC DNC DNC DNF DNF CC DNF CC
Results for CircadianClock (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 DNC CC DNC DNC 128
624
7
1
128
-
7
1
128
-
-
-
128
-
-
-
128
-
7
1
000010 DNC CC DNC DNC 644204
6.76632E+0006
52
10
644204
-
52
10
644204
-
-
-
644204
-
-
-
644204
-
52
10
000100 DNC CC DNC DNC 4.20404E+0010
4.97433E+0011
502
100
4.20404E+0010
-
502
100
4.20404E+0010
-
-
-
DNF CC
001000 DNC CC DNC DNC 4.02004E+0015
4.81722E+0016
5002
1000
4.02004E+0015
-
5002
1000
DNF DNF CC
010000 DNC CC DNC DNC DNF DNF DNF DNF CC
100000 DNC CC DNC DNC DNF DNF DNF MOVF CC
Results for CircularTrains (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
012 DNC 195
-
12
2
DNC DNC 195
496
12
2
195
-
12
2
195
-
-
-
195
-
-
-
195
-
12
2
024 DNC 86515
-
24
2
DNC DNC 86515
411680
24
2
86515
-
24
2
86515
-
-
-
86515
-
-
-
86515
-
24
2
048 DNC 1
-
48
1
DNC DNC 2.39735E+0010
2.21244E+0011
48
2
2.39735E+0010
-
48
2
2.39735E+0010
-
-
-
DNF CC
096 DNC 1
-
95
1
DNC DNC 2.59130E+0021
4.71208E+0022
96
2
DNF 2.59130E+0021
-
-
-
DNF MOVF
192 DNC DNF DNC DNC 4.27023E+0043
1.54164E+0045
192
2
DNF CC DNF MOVF
384 DNC DNF DNC DNC DNF DNF CC DNF MOVF
768 DNC DNF DNC DNC DNF DNF CC DNF MOVF
Results for DatabaseWithMutex (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC CC DNC DNC DNC DNC DNC DNC
04 DNC DNC CC DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
20 DNC DNC CC DNC DNC DNC DNC DNC DNC
40 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for DatabaseWithMutex (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 153
-
5
1
DNC DNC 153
312
6
1
153
-
6
1
153
-
-
-
153
-
-
-
153
-
6
1
04 DNC DNF DNC DNC 4.71789E+0009
3.96972E+0010
20
1
4.71789E+0009
-
20
1
4.71789E+0009
-
-
-
DNF DNF
10 DNC CC DNC DNC CC DNF DNF MOVF DNF
20 DNC CC DNC DNC DNF DNF CC MOVF MOVF
40 DNC DNF DNC DNC DNF CC DNF DNF MOVF
Results for Diffusion2D (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
D05N010 DNC CC DNC DNC 1.31128E+0008
5.55366E+0009
10
10
1.31128E+0008
-
10
10
1.31128E+0008
-
-
-
1.31128E+0008
-
-
-
DNF
D05N050 DNC CC DNC DNC 1.75295E+0019
1.70557E+0021
50
50
1.75295E+0019
-
50
50
DNF DNF DNF
D05N100 DNC CC DNC DNC 2.60110E+0025
3.02063E+0027
100
100
2.60110E+0025
-
100
100
DNF DNF DNF
D05N150 DNC CC DNC DNC 1.81260E+0029
2.25013E+0031
150
150
1.81260E+0029
-
150
150
DNF DNF DNF
D05N200 DNC CC DNC DNC 1.14386E+0032
1.47068E+0034
200
200
1.14386E+0032
-
200
200
DNF DNF DNF
D05N250 DNC CC DNC DNC 1.83135E+0034
2.40615E+0036
250
250
1.83135E+0034
-
250
250
DNF DNF DNF
D05N300 DNC CC DNC DNC 1.20542E+0036
1.60722E+0038
300
300
1.20542E+0036
-
300
300
DNF DNF DNF
D05N350 DNC CC DNC DNC DNF 4.25388E+0037
-
350
350
DNF DNF DNF
D10N010 DNC CC DNC DNC 4.26342E+0013
2.67539E+0015
10
10
4.26342E+0013
-
10
10
4.26342E+0013
-
-
-
DNF DNF
D10N050 DNC CC DNC DNC 1.34191E+0040
3.08009E+0042
50
50
1.34191E+0040
-
50
50
DNF DNF DNF
D10N100 DNC CC DNC DNC 4.52743E+0058
1.55616E+0061
100
100
4.52743E+0058
-
100
100
DNF DNF DNF
D10N150 DNC CC DNC DNC DNF 2.42521E+0071
-
150
150
DNF DNF DNF
D10N200 DNC CC DNC DNC DNF 1.38608E+0081
-
200
200
DNF DNF DNF
D20N010 DNC CC DNC DNC 3.23082E+0019
2.34136E+0021
10
10
3.23082E+0019
-
10
10
3.23082E+0019
-
-
-
DNF DNF
D20N050 DNC CC DNC DNC 7.91133E+0066
2.61127E+0069
50
50
7.91133E+0066
-
50
50
DNF DNF DNF
D20N100 DNC CC DNC DNC DNF 1.63336E+0107
-
100
100
CC DNF DNF
D20N150 DNC CC DNC DNC DNF 2.54238E+0138
-
150
150
CC DNF DNF
D30N010 DNC CC DNC DNC 1.00995E+0023
7.60408E+0024
10
10
1.00995E+0023
-
10
10
CC MOVF DNF
D30N050 DNC CC DNC DNC DNF 6.45097E+0083
-
50
50
DNF DNF DNF
D30N100 DNC CC DNC DNC DNF 5.74655E+0139
-
100
100
DNF DNF DNF
D30N150 DNC CC DNC DNC DNF DNF DNF DNF DNF
D40N010 DNC CC DNC DNC DNF 3.11621E+0025
-
10
10
DNF DNF DNF
D40N050 DNC CC DNC DNC DNF 1.12734E+0096
-
50
50
DNF DNF DNF
D40N100 DNC CC DNC DNC DNF DNF DNF DNF DNF
D40N150 DNC CC DNC DNC DNF DNF DNF DNF DNF
D50N010 DNC CC DNC DNC DNF 2.67574E+0027
-
10
10
DNF DNF DNF
D50N050 DNC CC DNC DNC DNF DNF DNF DNF DNF
D50N100 DNC CC DNC DNC DNF DNF DNF DNF DNF
D50N150 DNC CC DNC DNC DNF DNF DNF DNF DNF
Results for ERK (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 DNC CC DNC DNC 13
30
5
1
13
-
5
1
13
-
-
-
13
-
-
-
13
-
5
1
000010 DNC CC DNC DNC 47047
372372
50
10
47047
-
50
10
47047
-
-
-
47047
-
-
-
47047
-
50
10
000100 DNC CC DNC DNC 1.59141E+0010
1.68445E+0011
500
100
1.59141E+0010
-
500
100
DNF DNF CC
001000 DNC CC DNC DNC DNF DNF DNF DNF CC
010000 DNC CC DNC DNC DNF CC DNF DNF CC
100000 DNC CC DNC DNC DNF CC DNF MOVF CC
Results for EnergyBus (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 9.14227E+0008
-
21
1
DNC DNC 2.13184E+0012
4.08587E+0013
22
1
2.13184E+0012
-
-
-
DNF DNF DNF
Results for MultiwaySync (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 2.61911E+0018
-
25
1
DNC DNC 5.25960E+0019
2.18920E+0021
27
1
5.25960E+0019
-
-
-
5.25960E+0019
-
-
-
DNF DNF
Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0 DNC CC DNC DNC 2.77694E+0006
1.31521E+0007
32
1
2.77694E+0006
-
32
1
2.77694E+0006
-
-
-
DNF DNF
1 DNC CC DNC DNC 25632
96722
36
1
25632
-
36
1
25632
-
-
-
DNF 25632
-
36
1
2 DNC CC DNC DNC 349874
1.38074E+0006
36
1
349874
-
36
1
349874
-
-
-
DNF 349874
-
36
1
3 DNC CC DNC DNC 1.46521E+0006
5.92265E+0006
36
1
1.46521E+0006
-
36
1
1.46521E+0006
-
-
-
DNF 1.46521E+0006
-
36
1
4 DNC CC DNC DNC 2.40974E+0006
9.82766E+0006
36
1
2.40974E+0006
-
36
1
2.40974E+0006
-
-
-
DNF DNF
5 DNC CC DNC DNC 1.65724E+0006
6.74638E+0006
36
1
1.65724E+0006
-
36
1
1.65724E+0006
-
-
-
DNF 1.65724E+0006
-
36
1
Results for PolyORBLF (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S02J04T06 DNC DNC 104388
193716
-
-
DNC DNC DNC DNC DNC DNC
S02J04T08 DNC DNC 104388
193716
-
-
DNC DNC DNC DNC DNC DNC
S02J04T10 DNC DNC 104388
193716
-
-
DNC DNC DNC DNC DNC DNC
S02J06T06 DNC DNC 201348
376596
-
-
DNC DNC DNC DNC DNC DNC
S02J06T08 DNC DNC 201348
376596
-
-
DNC DNC DNC DNC DNC DNC
S02J06T10 DNC DNC 201348
376596
-
-
DNC DNC DNC DNC DNC DNC
S04J04T06 DNC DNC 5.89912E+0007
1.77957E+0008
-
-
DNC DNC DNC DNC DNC DNC
S04J04T08 DNC DNC 5.89912E+0007
1.77957E+0008
-
-
DNC DNC DNC DNC DNC DNC
S04J04T10 DNC DNC 5.89912E+0007
1.77957E+0008
-
-
DNC DNC DNC DNC DNC DNC
S04J06T06 DNC DNC CC DNC DNC DNC DNC DNC DNC
S04J06T08 DNC DNC CC DNC DNC DNC DNC DNC DNC
S04J06T10 DNC DNC CC DNC DNC DNC DNC DNC DNC
S06J04T04 DNC DNC CC DNC DNC DNC DNC DNC DNC
S06J04T06 DNC DNC CC DNC DNC DNC DNC DNC DNC
S06J04T08 DNC DNC CC DNC DNC DNC DNC DNC DNC
S06J06T04 DNC DNC CC DNC DNC DNC DNC DNC DNC
S06J06T06 DNC DNC CC DNC DNC DNC DNC DNC DNC
S06J06T08 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for PolyORBLF (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S02J04T06 DNC 1
-
57
10
DNC DNC DNF DNF CC DNF MOVF
S02J04T08 DNC 1
-
61
10
DNC DNC DNF DNF CC MOVF MOVF
S02J04T10 DNC 1
-
65
10
DNC DNC DNF DNF CC MOVF MOVF
S02J06T06 DNC 1
-
59
10
DNC DNC DNF DNF CC DNF MOVF
S02J06T08 DNC 1
-
54
10
DNC DNC DNF DNF CC DNF MOVF
S02J06T10 DNC 1
-
67
10
DNC DNC DNF DNF CC MOVF MOVF
S04J04T06 DNC 1
-
61
10
DNC DNC DNF DNF CC MOVF MOVF
S04J04T08 DNC 1
-
65
10
DNC DNC DNF DNF CC MOVF DNF
S04J04T10 DNC 1
-
69
10
DNC DNC DNF DNF CC MOVF DNF
S04J06T06 DNC 1
-
63
10
DNC DNC DNF DNF CC MOVF DNF
S04J06T08 DNC 1
-
67
10
DNC DNC DNF DNF CC MOVF DNF
S04J06T10 DNC 1
-
71
10
DNC DNC DNF DNF CC DNF DNF
S06J04T04 DNC 1
-
61
10
DNC DNC DNF DNF CC DNF DNF
S06J04T06 DNC 1
-
65
10
DNC DNC DNF DNF DNF DNF DNF
S06J04T08 DNC 1
-
69
10
DNC DNC DNF DNF DNF DNF DNF
S06J06T04 DNC 1
-
54
10
DNC DNC DNF DNF CC DNF DNF
S06J06T06 DNC 1
-
67
10
DNC DNC DNF DNF DNF DNF DNF
S06J06T08 DNC 1
-
71
10
DNC DNC DNF DNF DNF DNF DNF
Results for PolyORBNT (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S05J20 DNC DNC CC DNC DNC DNC DNC DNC DNC
S05J30 DNC DNC CC DNC DNC DNC DNC DNC DNC
S05J40 DNC DNC CC DNC DNC DNC DNC DNC DNC
S05J60 DNC DNC CC DNC DNC DNC DNC DNC DNC
S05J80 DNC DNC CC DNC DNC DNC DNC DNC DNC
S10J20 DNC DNC CC DNC DNC DNC DNC DNC DNC
S10J30 DNC DNC CC DNC DNC DNC DNC DNC DNC
S10J40 DNC DNC CC DNC DNC DNC DNC DNC DNC
S10J60 DNC DNC CC DNC DNC DNC DNC DNC DNC
S10J80 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for PolyORBNT (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S05J20 DNC 1
-
57
10
DNC DNC DNF DNF CC DNF DNF
S05J30 DNC 1
-
67
10
DNC DNC DNF DNF CC MOVF DNF
S05J40 DNC 1
-
68
10
DNC DNC DNF DNF CC MOVF DNF
S05J60 DNC 1
-
97
10
DNC DNC DNF DNF CC MOVF DNF
S05J80 DNC 1
-
117
10
DNC DNC DNF DNF CC MOVF MOVF
S10J20 DNC 1
-
67
10
DNC DNC DNF DNF DNF DNF DNF
S10J30 DNC 1
-
68
10
DNC DNC DNF DNF DNF DNF DNF
S10J40 DNC 1
-
87
10
DNC DNC DNF DNF DNF DNF MOVF
S10J60 DNC 1
-
107
10
DNC DNC DNF DNF DNF DNF MOVF
S10J80 DNC 1
-
127
10
DNC DNC DNF DNF DNF DNF MOVF
Results for ProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 1.13293E+0013
-
35
1
DNC DNC 1.13293E+0013
1.53384E+0014
35
1
1.13293E+0013
-
-
-
1.13293E+0013
-
-
-
DNF DNF
Results for Solitaire (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
EngCT7x7 DNC CC DNC DNC DNF DNF CC DNF DNF
EngNC7x7 DNC CC DNC DNC DNF DNF CC DNF DNF
FrnCT7x7 DNC CC DNC DNC DNF DNF CC DNF DNF
FrnNC7x7 DNC CC DNC DNC DNF DNF CC DNF DNF
SqrCT5x5 DNC CC DNC DNC DNF DNF CC DNF DNF
SqrNC5x5 DNC CC DNC DNC 1.60984E+0007
2.13958E+0008
25
1
1.60984E+0007
-
25
1
1.60984E+0007
-
-
-
DNF DNF
Results for UtahNoC (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 4.75992E+0009
-
8
1
DNC DNC 4.75992E+0009
7.72480E+0010
8
1
4.75992E+0009
-
-
-
4.75992E+0009
-
-
-
MOVF DNF
Results for CSRepetitions (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 7424
-
-
-
7424
37088
-
-
DNC DNC DNC DNC DNC DNC
03 DNC 1.34075E+0008
-
-
-
CC DNC DNC DNC DNC DNC DNC
04 DNC 3.09482E+0013
-
-
-
CC DNC DNC DNC DNC DNC DNC
05 DNC DNF CC DNC DNC DNC DNC DNC DNC
07 DNC DNF CC DNC DNC DNC DNC DNC DNC
10 DNC DNF CC DNC DNC DNC DNC DNC DNC
Results for CSRepetitions (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 7424
-
8
2
DNC DNC 7424
37088
8
2
7424
-
8
2
7424
-
-
-
7424
-
-
-
7424
-
8
2
03 DNC 1.34075E+0008
-
15
3
DNC DNC 1.34075E+0008
1.29390E+0009
15
3
1.34075E+0008
-
15
3
1.34075E+0008
-
-
-
1.34075E+0008
-
-
-
DNF
04 DNC MOVF DNC DNC DNF 3.09482E+0013
-
24
4
CC DNF DNF
05 DNC MOVF DNC DNC DNF DNF CC DNF DNF
07 DNC MOVF DNC DNC DNF DNF CC DNF DNF
10 DNC CC DNC DNC DNF DNF CC DNF DNF
Results for Dekker (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC 6144
-
20
1
DNC DNC 6144
171530
20
1
6144
-
20
1
6144
-
-
-
6144
-
-
-
6144
-
20
1
015 DNC 278528
-
30
1
DNC DNC 278528
1.68346E+0007
30
1
278528
-
30
1
278528
-
-
-
278528
-
-
-
278528
-
30
1
020 DNC 1.15343E+0007
-
40
1
DNC DNC 1.15343E+0007
1.21635E+0009
40
1
1.15343E+0007
-
40
1
1.15343E+0007
-
-
-
DNF DNF
050 DNC DNF DNC DNC DNF 2.92734E+0016
-
100
1
CC DNF DNF
100 DNC MOVF DNC DNC DNF 6.46502E+0031
-
200
1
DNF DNF DNF
200 DNC MOVF DNC DNC DNF 1.62301E+0062
-
400
1
DNF DNF DNF
Results for DotAndBoxes (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC 11
14
-
-
DNC DNC DNC DNC DNC DNC
3 DNC DNC 383
559
-
-
DNC DNC DNC DNC DNC DNC
4 DNC DNC 220819
340193
-
-
DNC DNC DNC DNC DNC DNC
5 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 1024
-
-
-
1024
7680
-
-
DNC DNC DNC DNC DNC DNC
10 DNC DNF CC DNC DNC DNC DNC DNC DNC
16 DNC DNC CC DNC DNC DNC DNC DNC DNC
24 DNC DNC CC DNC DNC DNC DNC DNC DNC
48 DNC DNC CC DNC DNC DNC DNC DNC DNC
76 DNC DNC CC DNC DNC DNC DNC DNC DNC
98 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 1024
-
12
1
DNC DNC 1024
7680
12
1
1024
-
12
1
1024
-
-
-
1024
-
-
-
1024
-
12
1
Results for Echo (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 DNC MOVF DNC DNC DNF DNF DNF DNF DNF
d02r11 DNC MOVF DNC DNC DNF DNF CC DNF DNF
d02r15 DNC MOVF DNC DNC DNF DNF DNF DNF DNF
d02r19 DNC MOVF DNC DNC DNF DNF CC MOVF DNF
d03r03 DNC MOVF DNC DNC DNF DNF CC DNF DNF
d03r05 DNC MOVF DNC DNC DNF DNF CC MOVF DNF
d03r07 DNC MOVF DNC DNC DNF DNF DNF MOVF MOVF
d04r03 DNC MOVF DNC DNC DNF DNF CC DNF DNF
d05r03 DNC MOVF DNC DNC DNF DNF CC MOVF MOVF
Results for Eratosthenes (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC 32
-
3
1
DNC DNC 32
120
9
1
32
-
8
1
32
-
-
-
32
-
-
-
32
-
9
1
020 DNC 2048
-
7
1
DNC DNC 2048
23040
19
1
2048
-
15
1
2048
-
-
-
2048
-
-
-
2048
-
19
1
050 DNC 1.71799E+0010
-
14
1
DNC DNC 1.71799E+0010
7.30144E+0011
49
1
1.71799E+0010
-
43
1
1.71799E+0010
-
-
-
1.71799E+0010
-
-
-
DNF
100 DNC 1.88895E+0022
-
24
1
DNC DNC 1.88895E+0022
2.02590E+0024
99
1
1.88895E+0022
-
89
1
1.88895E+0022
-
-
-
1.88895E+0022
-
-
-
DNF
200 DNC 1.14180E+0046
-
45
1
DNC DNC 1.14180E+0046
2.91729E+0048
199
1
1.14180E+0046
-
178
1
1.14180E+0046
-
-
-
1.14180E+0046
-
-
-
DNF
500 DNC CC DNC DNC 4.13160E+0121
3.20612E+0124
499
1
4.13160E+0121
-
457
1
4.13160E+0121
-
-
-
DNF DNF
Results for FMS (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 3444
-
9
3
DNC DNC 3444
16311
12
3
3444
-
12
3
3444
-
-
-
3444
-
-
-
3444
-
12
3
005 DNC 2.89502E+0006
-
18
5
DNC DNC 2.89502E+0006
2.35272E+0007
21
5
2.89502E+0006
-
21
5
2.89502E+0006
-
-
-
2.89502E+0006
-
-
-
2.89502E+0006
-
21
5
010 DNC 2.50141E+0009
-
33
10
DNC DNC 2.50141E+0009
2.75678E+0010
36
10
2.50141E+0009
-
36
10
2.50141E+0009
-
-
-
2.50141E+0009
-
-
-
MOVF
020 DNC 6.02917E+0012
-
63
20
DNC DNC 6.02917E+0012
8.14415E+0013
66
20
6.02917E+0012
-
66
20
6.02917E+0012
-
-
-
6.02917E+0012
-
-
-
MOVF
050 DNC 4.24026E+0017
-
153
50
DNC DNC 4.24026E+0017
6.61354E+0018
156
50
4.24026E+0017
-
156
50
4.24026E+0017
-
-
-
DNF MOVF
100 DNC 2.70306E+0021
-
303
100
DNC DNC DNF 2.70306E+0021
-
306
100
DNF DNF MOVF
200 DNC 1.95364E+0025
-
603
200
DNC DNC DNF 1.95364E+0025
-
606
200
DNF DNF MOVF
500 DNC 2.70057E+0030
-
1503
500
DNC DNC DNF 2.70057E+0030
-
1506
500
DNF DNF MOVF
Results for GlobalResAllocation (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 6320
-
-
-
CC DNC DNC DNC DNC DNC DNC
05 DNC 1.06604E+0008
-
-
-
CC DNC DNC DNC DNC DNC DNC
06 DNC 2.57249E+0010
-
-
-
CC DNC DNC DNC DNC DNC DNC
07 DNC 8.56976E+0012
-
-
-
CC DNC DNC DNC DNC DNC DNC
09 DNC 2.11853E+0018
-
-
-
CC DNC DNC DNC DNC DNC DNC
10 DNC DNF CC DNC DNC DNC DNC DNC DNC
11 DNC DNF CC DNC DNC DNC DNC DNC DNC
Results for GlobalResAllocation (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 6320
-
18
4
DNC DNC 6320
116178
18
4
6320
-
18
4
6320
-
-
-
6320
-
-
-
6320
-
18
4
Results for HouseConstruction (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 1501
-
12
2
DNC DNC 1501
4780
12
2
1501
-
12
2
1501
-
-
-
1501
-
-
-
1501
-
12
2
005 DNC 1.18798E+0006
-
30
5
DNC DNC 1.18798E+0006
7.19111E+0006
30
5
1.18798E+0006
-
30
5
1.18798E+0006
-
-
-
1.18798E+0006
-
-
-
1.18798E+0006
-
30
5
010 DNC 1.66357E+0009
-
60
10
DNC DNC 1.66357E+0009
1.48075E+0010
60
10
1.66357E+0009
-
60
10
DNF DNF CC
020 DNC 1.36659E+0013
-
120
20
DNC DNC 1.36659E+0013
1.61442E+0014
120
20
1.36659E+0013
-
120
20
CC DNF CC
050 DNC 1.56823E+0019
-
300
50
DNC DNC CC DNF DNF DNF CC
100 DNC MOVF DNC DNC CC DNF DNF DNF CC
200 DNC MOVF DNC DNC CC DNF DNF DNF CC
500 DNC DNF DNC DNC DNF DNF DNF DNF CC
Results for IBMB2S565S3960 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC 1.55106E+0016
2.01128E+0017
60
7
DNF CC DNF DNF
Results for Kanban (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC 2.54643E+0006
-
20
5
DNC DNC 2.54643E+0006
2.44600E+0007
20
5
2.54643E+0006
-
20
5
2.54643E+0006
-
-
-
2.54643E+0006
-
-
-
2.54643E+0006
-
20
5
0010 DNC 1.00593E+0009
-
40
10
DNC DNC 1.00593E+0009
1.20322E+0010
40
10
1.00593E+0009
-
40
10
1.00593E+0009
-
-
-
1.00593E+0009
-
-
-
CC
0020 DNC 8.05422E+0011
-
80
20
DNC DNC 8.05422E+0011
1.10119E+0013
80
20
8.05422E+0011
-
80
20
8.05422E+0011
-
-
-
8.05422E+0011
-
-
-
CC
0050 DNC 1.04259E+0016
-
200
50
DNC DNC 1.04259E+0016
1.56123E+0017
200
50
1.04259E+0016
-
200
50
DNF 1.04259E+0016
-
-
-
CC
0100 DNC 1.72630E+0019
-
400
100
DNC DNC 1.72630E+0019
2.67046E+0020
400
100
1.72630E+0019
-
400
100
DNF DNF CC
0200 DNC 3.17317E+0022
-
800
200
DNC DNC DNF 3.17317E+0022
-
800
200
DNF DNF CC
0500 DNC DNF DNC DNC DNF 7.08602E+0026
-
2000
500
DNF DNF CC
1000 DNC DNF DNC DNC DNF DNF DNF DNF CC
Results for LamportFastMutEx (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 380
-
-
-
380
716
-
-
DNC DNC DNC DNC DNC DNC
3 DNC 19742
-
-
-
19742
58272
-
-
DNC DNC DNC DNC DNC DNC
4 DNC 1.91478E+0006
-
-
-
1.91478E+0006
9.04605E+0006
-
-
DNC DNC DNC DNC DNC DNC
5 DNC DNF CC DNC DNC DNC DNC DNC DNC
6 DNC DNF CC DNC DNC DNC DNC DNC DNC
7 DNC DNF CC DNC DNC DNC DNC DNC DNC
8 DNC DNF CC DNC DNC DNC DNC DNC DNC
Results for LamportFastMutEx (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 380
-
8
1
DNC DNC 380
716
8
1
380
-
8
1
380
-
-
-
380
-
-
-
380
-
8
1
3 DNC 19742
-
14
1
DNC DNC 19742
58272
14
1
19742
-
14
1
19742
-
-
-
19742
-
-
-
19742
-
14
1
4 DNC 1.91478E+0006
-
22
1
DNC DNC 1.91478E+0006
9.04605E+0006
22
1
1.91478E+0006
-
22
1
1.91478E+0006
-
-
-
DNF DNF
5 DNC DNF DNC DNC DNF 5.30682E+0008
-
32
1
5.30682E+0008
-
-
-
DNF DNF
6 DNC DNF DNC DNC DNF DNF CC DNF DNF
7 DNC DNF DNC DNC DNF DNF CC DNF DNF
8 DNC DNF DNC DNC DNF DNF CC DNF DNF
Results for MAPK (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC 6.11064E+0006
-
30
8
DNC DNC 6.11064E+0006
7.89489E+0007
36
8
6.11064E+0006
-
36
8
6.11064E+0006
-
-
-
6.11064E+0006
-
-
-
6.11064E+0006
-
36
8
020 DNC DNF DNC DNC 8.81258E+0010
1.68902E+0012
90
20
8.81258E+0010
-
90
20
8.81258E+0010
-
-
-
DNF MOVF
040 DNC DNF DNC DNC 4.78293E+0014
1.10986E+0016
180
40
4.78293E+0014
-
180
40
4.78293E+0014
-
-
-
DNF MOVF
080 DNC DNF DNC DNC 5.63490E+0018
1.47037E+0020
360
80
5.63490E+0018
-
360
80
DNF DNF MOVF
160 DNC DNF DNC DNC DNF 1.06396E+0023
-
720
160
DNF DNF MOVF
320 DNC DNF DNC DNC CC 2.61626E+0027
-
1440
320
DNF DNF MOVF
Results for NeoElection (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC 241
448
-
-
DNC DNC DNC DNC DNC DNC
3 DNC DNC 974325
3.59911E+0006
-
-
DNC DNC DNC DNC DNC DNC
4 DNC DNC CC DNC DNC DNC DNC DNC DNC
5 DNC DNC CC DNC DNC DNC DNC DNC DNC
6 DNC DNC CC DNC DNC DNC DNC DNC DNC
7 DNC DNC CC DNC DNC DNC DNC DNC DNC
8 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for NeoElection (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 241
-
14
1
DNC DNC 241
448
14
1
241
-
14
1
241
-
-
-
241
-
-
-
241
-
14
1
3 DNC 974325
-
29
1
DNC DNC 974325
3.59911E+0006
30
1
974325
-
30
1
974325
-
-
-
DNF DNF
4 DNC MOVF DNC DNC DNF 2.91912E+0011
-
52
1
2.91912E+0011
-
-
-
MOVF DNF
5 DNC MOVF DNC DNC DNF DNF 6.35695E+0018
-
-
-
DNF DNF
6 DNC MOVF DNC DNC DNF DNF DNF DNF DNF
7 DNC DNF DNC DNC DNF DNF DNF DNF DNF
8 DNC DNF DNC DNC DNF DNF DNF DNF MOVF
Results for PermAdmissibility (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC DNC 52537
54600
-
-
DNC DNC DNC DNC DNC DNC
02 DNC DNC DNF DNC DNC DNC DNC DNC DNC
05 DNC DNC DNF DNC DNC DNC DNC DNC DNC
10 DNC DNC DNF DNC DNC DNC DNC DNC DNC
20 DNC DNC DNF DNC DNC DNC DNC DNC DNC
50 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for PermAdmissibility (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC 52537
-
9
1
DNC DNC 52537
54600
9
1
52537
-
9
1
52537
-
-
-
DNF 52537
-
9
1
02 DNC DNF DNC DNC DNF DNF CC DNF DNF
05 DNC DNF DNC DNC DNF DNF CC DNF MOVF
10 DNC DNF DNC DNC DNF DNF CC DNF MOVF
20 DNC DNF DNC DNC DNF DNF CC DNF MOVF
50 DNC DNF DNC DNC DNF DNF CC DNF MOVF
Results for Peterson (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC 20754
62262
-
-
DNC DNC DNC DNC DNC DNC
3 DNC DNC 3.40795E+0006
1.36318E+0007
-
-
DNC DNC DNC DNC DNC DNC
4 DNC DNC DNF DNC DNC DNC DNC DNC DNC
5 DNC DNC DNF DNC DNC DNC DNC DNC DNC
6 DNC DNC DNF DNC DNC DNC DNC DNC DNC
7 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for Peterson (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 20754
-
8
1
DNC DNC 20754
62262
8
1
20754
-
8
1
20754
-
-
-
20754
-
-
-
20754
-
8
1
3 DNC 3.40795E+0006
-
11
1
DNC DNC 3.40795E+0006
1.36318E+0007
11
1
3.40795E+0006
-
11
1
3.40795E+0006
-
-
-
DNF DNF
4 DNC CC DNC DNC DNF DNF CC DNF DNF
5 DNC CC DNC DNC DNF DNF CC DNF DNF
6 DNC CC DNC DNC DNF DNF CC DNF DNF
7 DNC CC DNC DNC DNF DNF CC DNF DNF
Results for Philosophers (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC 243
945
-
-
DNC DNC DNC DNC DNC DNC
000010 DNC DNC 59049
459270
-
-
DNC DNC DNC DNC DNC DNC
000020 DNC DNC CC DNC DNC DNC DNC DNC DNC
000050 DNC DNC CC DNC DNC DNC DNC DNC DNC
000100 DNC DNC CC DNC DNC DNC DNC DNC DNC
000200 DNC DNC CC DNC DNC DNC DNC DNC DNC
000500 DNC DNC CC DNC DNC DNC DNC DNC DNC
001000 DNC DNC CC DNC DNC DNC DNC DNC DNC
002000 DNC DNC CC DNC DNC DNC DNC DNC DNC
005000 DNC DNC CC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for Philosophers (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 243
-
9
1
DNC DNC 243
945
10
1
243
-
10
1
243
-
-
-
243
-
-
-
243
-
10
1
000010 DNC 59049
-
19
1
DNC DNC 59049
459270
20
1
59049
-
20
1
59049
-
-
-
59049
-
-
-
59049
-
20
1
000020 DNC 3.48678E+0009
-
39
1
DNC DNC 3.48678E+0009
5.42389E+0010
40
1
3.48678E+0009
-
40
1
3.48678E+0009
-
-
-
3.48678E+0009
-
-
-
DNF
000050 DNC 7.17898E+0023
-
99
1
DNC DNC 7.17898E+0023
2.79183E+0025
100
1
7.17898E+0023
-
100
1
7.17898E+0023
-
-
-
7.17898E+0023
-
-
-
DNF
000100 DNC 5.15378E+0047
-
199
1
DNC DNC 5.15378E+0047
4.00849E+0049
200
1
5.15378E+0047
-
200
1
5.15378E+0047
-
-
-
5.15378E+0047
-
-
-
DNF
000200 DNC 2.65614E+0095
-
399
1
DNC DNC 2.65614E+0095
4.13177E+0097
400
1
2.65614E+0095
-
400
1
2.65614E+0095
-
-
-
DNF DNF
000500 DNC 3.63603E+0238
-
999
1
DNC DNC 3.63603E+0238
1.41401E+0241
1000
1
3.63603E+0238
-
1000
1
CC 3.63603E+0238
-
-
-
DNF
001000 DNC MOVF DNC DNC 1.32207E+0477
1.02828E+0480
2000
1
1.32207E+0477
-
2000
1
CC 1.32207E+0477
-
-
-
MOVF
002000 DNC DNF DNC DNC DNF 1.74787E+0954
-
4000
1
DNF 1.74787E+0954
-
-
-
MOVF
Results for PhilosophersDyn (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC DNC CC DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
20 DNC DNC CC DNC DNC DNC DNC DNC DNC
50 DNC DNC CC DNC DNC DNC DNC DNC DNC
80 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for PhilosophersDyn (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 325
-
11
1
DNC DNC 325
768
11
1
325
-
11
1
325
-
-
-
325
-
-
-
325
-
11
1
10 DNC 199051
-
20
1
DNC DNC DNF 199051
-
20
1
199051
-
-
-
DNF 199051
-
20
1
20 DNC CC DNC DNC DNF DNF DNF DNF DNF
Results for Planning (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNF DNF DNF DNF DNF
Results for QuasiCertifProtocol (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC 4158
14748
-
-
DNC DNC DNC DNC DNC DNC
06 DNC DNC CC DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
18 DNC DNC CC DNC DNC DNC DNC DNC DNC
22 DNC DNC CC DNC DNC DNC DNC DNC DNC
28 DNC DNC CC DNC DNC DNC DNC DNC DNC
32 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for QuasiCertifProtocol (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 1029
-
20
1
DNC DNC 1029
3084
20
1
1029
-
20
1
1029
-
-
-
1029
-
-
-
1029
-
20
1
06 DNC 2.27196E+0006
-
74
3
DNC DNC 2.27196E+0006
1.60080E+0007
74
3
2.27196E+0006
-
74
3
2.27196E+0006
-
-
-
DNF 2.27196E+0006
-
74
3
10 DNC MOVF DNC DNC DNF DNF DNF DNF DNF
18 DNC MOVF DNC DNC DNF DNF CC DNF MOVF
22 DNC MOVF DNC DNC CC DNF CC DNF MOVF
28 DNC MOVF DNC DNC CC DNF CC DNF MOVF
32 DNC MOVF DNC DNC CC DNF CC DNF MOVF
Results for Railroad (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 1838
-
16
1
DNC DNC 1838
7699
16
1
1838
-
16
1
1838
-
-
-
1838
-
-
-
1838
-
16
1
010 DNC MOVF DNC DNC 2.03817E+0006
1.63246E+0007
26
1
2.03817E+0006
-
26
1
2.03817E+0006
-
-
-
2.03817E+0006
-
-
-
DNF
020 DNC MOVF DNC DNC DNF 2.19554E+0012
-
46
1
2.19554E+0012
-
-
-
DNF DNF
050 DNC MOVF DNC DNC DNF DNF CC DNF DNF
100 DNC MOVF DNC DNC DNF DNF DNF DNF DNF
Results for ResAllocation (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
R002C002 DNC 8
-
3
1
DNC DNC 8
12
4
1
8
-
4
1
8
-
-
-
8
-
-
-
8
-
4
1
R003C002 DNC 20
-
5
1
DNC DNC 20
34
6
1
20
-
6
1
20
-
-
-
20
-
-
-
20
-
6
1
R003C003 DNC 92
-
8
1
DNC DNC 92
257
9
1
92
-
9
1
92
-
-
-
92
-
-
-
92
-
9
1
R003C005 DNC 1200
-
14
1
DNC DNC 1200
4960
15
1
1200
-
15
1
1200
-
-
-
1200
-
-
-
1200
-
15
1
R003C010 DNC 823552
-
29
1
DNC DNC 823552
6.28672E+0006
30
1
823552
-
30
1
823552
-
-
-
823552
-
-
-
823552
-
30
1
R003C015 DNC 5.78878E+0008
-
44
1
DNC DNC 5.78878E+0008
6.48569E+0009
45
1
5.78878E+0008
-
45
1
5.78878E+0008
-
-
-
5.78878E+0008
-
-
-
DNF
R003C020 DNC MOVF DNC DNC 4.06455E+0011
6.00286E+0012
60
1
4.06455E+0011
-
60
1
4.06455E+0011
-
-
-
DNF DNF
R003C050 DNC MOVF DNC DNC 4.87175E+0028
1.76164E+0030
150
1
4.87175E+0028
-
150
1
4.87175E+0028
-
-
-
DNF DNF
R003C100 DNC MOVF DNC DNC 1.41951E+0057
1.01939E+0059
300
1
1.41951E+0057
-
300
1
1.41951E+0057
-
-
-
DNF DNF
R005C002 DNC 112
-
9
1
DNC DNC 112
240
10
1
112
-
10
1
112
-
-
-
112
-
-
-
112
-
10
1
R010C002 DNC 6144
-
19
1
DNC DNC 6144
20480
20
1
6144
-
20
1
6144
-
-
-
6144
-
-
-
6144
-
20
1
R015C002 DNC 278528
-
29
1
DNC DNC 278528
1.26976E+0006
30
1
278528
-
30
1
278528
-
-
-
278528
-
-
-
278528
-
30
1
R020C002 DNC 1.15343E+0007
-
39
1
DNC DNC 1.15343E+0007
6.68467E+0007
40
1
1.15343E+0007
-
40
1
1.15343E+0007
-
-
-
1.15343E+0007
-
-
-
DNF
R050C002 DNC 2.92734E+0016
-
99
1
DNC DNC 2.92734E+0016
3.88435E+0017
100
1
2.92734E+0016
-
100
1
2.92734E+0016
-
-
-
DNF DNF
R100C002 DNC 6.46502E+0031
-
199
1
DNC DNC 6.46502E+0031
1.66538E+0033
200
1
6.46502E+0031
-
200
1
6.46502E+0031
-
-
-
DNF DNF
Results for Ring (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 9.02652E+0011
-
60
1
DNC DNC 9.02652E+0011
9.66280E+0012
61
1
9.02652E+0011
-
61
1
9.02652E+0011
-
-
-
DNF DNF
Results for RwMutex (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC 1034
-
29
1
DNC DNC 1034
10260
30
1
1034
-
30
1
1034
-
-
-
1034
-
-
-
1034
-
30
1
r0010w0020 DNC 1044
-
39
1
DNC DNC 1044
10280
40
1
1044
-
40
1
1044
-
-
-
1044
-
-
-
1044
-
40
1
r0010w0050 DNC 1074
-
69
1
DNC DNC 1074
10340
70
1
1074
-
70
1
1074
-
-
-
1074
-
-
-
1074
-
70
1
r0010w0100 DNC 1124
-
119
1
DNC DNC 1124
10440
120
1
1124
-
120
1
1124
-
-
-
1124
-
-
-
1124
-
120
1
r0010w0500 DNC 1524
-
519
1
DNC DNC 1524
11240
520
1
1524
-
520
1
1524
-
-
-
MOVF 1524
-
520
1
r0010w1000 DNC MOVF DNC DNC 2024
12240
1020
1
2024
-
1020
1
2024
-
-
-
DNF 2024
-
1020
1
r0010w2000 DNC MOVF DNC DNC DNF 3024
-
2020
1
3024
-
-
-
DNF 3024
-
2020
1
r0020w0010 DNC 1.04859E+0006
-
49
1
DNC DNC 1.04859E+0006
2.09715E+0007
50
1
1.04859E+0006
-
50
1
1.04859E+0006
-
-
-
DNF 1.04859E+0006
-
50
1
r0100w0010 DNC 1.26765E+0030
-
209
1
DNC DNC CC DNF CC DNF DNF
r0500w0010 DNC 3.27339E+0150
-
1009
1
DNC DNC CC DNF CC DNF MOVF
r1000w0010 DNC 1.07151E+0301
-
2009
1
DNC DNC CC DNF CC DNF MOVF
r2000w0010 DNC MOVF DNC DNC CC DNF DNF DNF MOVF
Results for SharedMemory (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC 1863
10395
-
-
DNC DNC DNC DNC DNC DNC
000010 DNC DNC CC DNC DNC DNC DNC DNC DNC
000020 DNC DNC CC DNC DNC DNC DNC DNC DNC
000050 DNC DNC CC DNC DNC DNC DNC DNC DNC
000100 DNC DNC CC DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000500 DNC DNC CC DNC DNC DNC DNC DNC DNC
001000 DNC DNC CC DNC DNC DNC DNC DNC DNC
002000 DNC DNC CC DNC DNC DNC DNC DNC DNC
005000 DNC DNC CC DNC DNC DNC DNC DNC DNC
010000 DNC DNC CC DNC DNC DNC DNC DNC DNC
020000 DNC DNC CC DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for SharedMemory (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 1863
-
10
1
DNC DNC 1863
10395
11
1
1863
-
11
1
1863
-
-
-
1863
-
-
-
1863
-
11
1
000010 DNC 1.83052E+0006
-
20
1
DNC DNC 1.83052E+0006
1.94862E+0007
21
1
1.83052E+0006
-
21
1
1.83052E+0006
-
-
-
1.83052E+0006
-
-
-
DNF
000020 DNC MOVF DNC DNC 4.45146E+0011
9.19736E+0012
41
1
4.45146E+0011
-
41
1
4.45146E+0011
-
-
-
4.45146E+0011
-
-
-
DNF
000050 DNC CC DNC DNC DNF 5.87001E+0026
-
101
1
CC DNF DNF
000100 DNC CC DNC DNC DNF 1.70126E+0051
-
201
1
DNF DNF MOVF
Results for SimpleLoadBal (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC 916
2918
-
-
DNC DNC DNC DNC DNC DNC
05 DNC DNC 116176
566332
-
-
DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
15 DNC DNC CC DNC DNC DNC DNC DNC DNC
20 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for SimpleLoadBal (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 832
-
11
1
DNC DNC 832
2650
11
1
832
-
11
1
832
-
-
-
832
-
-
-
832
-
11
1
05 DNC 116176
-
17
1
DNC DNC 116176
566332
17
1
116176
-
17
1
116176
-
-
-
116176
-
-
-
116176
-
17
1
10 DNC 4.06034E+0008
-
27
1
DNC DNC 4.06034E+0008
3.05120E+0009
27
1
4.06034E+0008
-
27
1
4.06034E+0008
-
-
-
MOVF DNF
15 DNC DNF DNC DNC DNF DNF CC DNF DNF
20 DNC MOVF DNC DNC DNF DNF CC MOVF DNF
Results for TokenRing (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC 166
365
-
-
DNC DNC DNC DNC DNC DNC
010 DNC DNC 58905
294050
-
-
DNC DNC DNC DNC DNC DNC
015 DNC DNC 3.53579E+0007
2.65183E+0008
-
-
DNC DNC DNC DNC DNC DNC
020 DNC DNC DNF DNC DNC DNC DNC DNC DNC
030 DNC DNC CC DNC DNC DNC DNC DNC DNC
040 DNC DNC CC DNC DNC DNC DNC DNC DNC
050 DNC DNC CC DNC DNC DNC DNC DNC DNC
100 DNC DNC CC DNC DNC DNC DNC DNC DNC
200 DNC DNC CC DNC DNC DNC DNC DNC DNC
500 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for TokenRing (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 166
-
6
1
DNC DNC 166
365
6
1
166
-
6
1
166
-
-
-
166
-
-
-
166
-
6
1
010 DNC CC DNC DNC 58905
294050
11
1
58905
-
11
1
58905
-
-
-
58905
-
-
-
58905
-
11
1
015 DNC CC DNC DNC 3.53579E+0007
2.65183E+0008
16
1
3.53579E+0007
-
16
1
3.53579E+0007
-
-
-
DNF DNF
020 DNC CC DNC DNC DNF 2.44663E+0010
-
21
1
2.44663E+0010
-
-
-
DNF DNF
Results for Vasy2003 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC 9.79474E+0021
3.40028E+0023
60
1
9.79474E+0021
-
-
-
CC DNF DNF
Results for CSRepetitions (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC 7424
37088
-
-
DNC DNC DNC DNC DNC DNC
03 DNC DNC CC DNC DNC DNC DNC DNC DNC
04 DNC DNC CC DNC DNC DNC DNC DNC DNC
05 DNC DNC CC DNC DNC DNC DNC DNC DNC
07 DNC DNC CC DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for CSRepetitions (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 7424
-
8
2
DNC DNC 7424
37088
8
2
7424
-
8
2
7424
-
-
-
7424
-
-
-
7424
-
8
2
03 DNC DNF DNC DNC 1.34075E+0008
1.29390E+0009
15
3
1.34075E+0008
-
15
3
1.34075E+0008
-
-
-
DNF DNF
04 DNC DNF DNC DNC DNF 3.09482E+0013
-
24
4
CC DNF DNF
05 DNC DNF DNC DNC DNF DNF CC DNF DNF
07 DNC CC DNC DNC DNF DNF CC DNF DNF
10 DNC CC DNC DNC DNF DNF CC MOVF DNF
Results for Dekker (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC 6144
-
20
1
DNC DNC 6144
171530
20
1
6144
-
20
1
6144
-
-
-
6144
-
-
-
6144
-
20
1
015 DNC 278528
-
30
1
DNC DNC 278528
1.68346E+0007
30
1
278528
-
30
1
278528
-
-
-
DNF 278528
-
30
1
020 DNC 1.15343E+0007
-
40
1
DNC DNC 1.15343E+0007
1.21635E+0009
40
1
DNF 1.15343E+0007
-
-
-
DNF DNF
050 DNC MOVF DNC DNC DNF DNF CC DNF DNF
100 DNC MOVF DNC DNC DNF DNF DNF DNF DNF
200 DNC DNF DNC DNC DNF DNF DNF DNF DNF
Results for DotAndBoxes (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC 11
14
-
-
DNC DNC DNC DNC DNC DNC
3 DNC DNC 383
559
-
-
DNC DNC DNC DNC DNC DNC
4 DNC DNC 220819
340193
-
-
DNC DNC DNC DNC DNC DNC
5 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC 1024
7680
-
-
DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
16 DNC DNC CC DNC DNC DNC DNC DNC DNC
24 DNC DNC CC DNC DNC DNC DNC DNC DNC
48 DNC DNC CC DNC DNC DNC DNC DNC DNC
76 DNC DNC CC DNC DNC DNC DNC DNC DNC
98 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 1024
-
12
1
DNC DNC 1024
7680
12
1
1024
-
12
1
1024
-
-
-
1024
-
-
-
1024
-
12
1
Results for Echo (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 DNC 1
-
80
1
DNC DNC DNF DNF DNF DNF DNF
d02r11 DNC 1
-
120
1
DNC DNC DNF DNF CC DNF DNF
d02r15 DNC 1
-
224
1
DNC DNC DNF DNF CC MOVF DNF
d02r19 DNC 1
-
360
1
DNC DNC DNF DNF DNF DNF DNF
d03r03 DNC 1
-
26
1
DNC DNC DNF DNF CC DNF DNF
d03r05 DNC 1
-
124
1
DNC DNC DNF DNF CC MOVF DNF
d03r07 DNC 1
-
342
1
DNC DNC DNF DNF DNF DNF MOVF
d04r03 DNC 1
-
80
1
DNC DNC DNF DNF CC DNF DNF
d05r03 DNC 1
-
242
1
DNC DNC DNF DNF CC DNF MOVF
Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC CC DNC DNC 32
120
9
1
32
-
8
1
32
-
-
-
32
-
-
-
32
-
9
1
020 DNC CC DNC DNC 2048
23040
19
1
2048
-
15
1
2048
-
-
-
2048
-
-
-
2048
-
19
1
050 DNC CC DNC DNC 1.71799E+0010
7.30144E+0011
49
1
1.71799E+0010
-
43
1
1.71799E+0010
-
-
-
1.71799E+0010
-
-
-
DNF
100 DNC CC DNC DNC 1.88895E+0022
2.02590E+0024
99
1
1.88895E+0022
-
89
1
1.88895E+0022
-
-
-
1.88895E+0022
-
-
-
DNF
200 DNC CC DNC DNC 1.14180E+0046
2.91729E+0048
199
1
1.14180E+0046
-
178
1
1.14180E+0046
-
-
-
DNF DNF
500 DNC CC DNC DNC 4.13160E+0121
3.20612E+0124
499
1
4.13160E+0121
-
457
1
4.13160E+0121
-
-
-
DNF DNF
Results for FMS (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 3444
-
12
3
DNC DNC 3444
16311
12
3
3444
-
12
3
3444
-
-
-
3444
-
-
-
3444
-
12
3
005 DNC 2.89502E+0006
-
21
5
DNC DNC 2.89502E+0006
2.35272E+0007
21
5
2.89502E+0006
-
21
5
2.89502E+0006
-
-
-
2.89502E+0006
-
-
-
2.89502E+0006
-
21
5
010 DNC 2.50141E+0009
-
36
10
DNC DNC 2.50141E+0009
2.75678E+0010
36
10
2.50141E+0009
-
36
10
2.50141E+0009
-
-
-
2.50141E+0009
-
-
-
MOVF
020 DNC 6.02917E+0012
-
66
20
DNC DNC 6.02917E+0012
8.14415E+0013
66
20
6.02917E+0012
-
66
20
6.02917E+0012
-
-
-
6.02917E+0012
-
-
-
MOVF
050 DNC 4.24026E+0017
-
156
50
DNC DNC 4.24026E+0017
6.61354E+0018
156
50
4.24026E+0017
-
156
50
4.24026E+0017
-
-
-
DNF MOVF
100 DNC 2.70306E+0021
-
306
100
DNC DNC DNF 2.70306E+0021
-
306
100
DNF DNF MOVF
200 DNC 1.95364E+0025
-
606
200
DNC DNC DNF DNF DNF DNF MOVF
500 DNC DNF DNC DNC DNF DNF DNF DNF MOVF
Results for GlobalResAllocation (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC DNC CC DNC DNC DNC DNC DNC DNC
05 DNC DNC CC DNC DNC DNC DNC DNC DNC
06 DNC DNC CC DNC DNC DNC DNC DNC DNC
07 DNC DNC CC DNC DNC DNC DNC DNC DNC
09 DNC DNC CC DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
11 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for GlobalResAllocation (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 6320
-
18
4
DNC DNC 6320
116178
18
4
6320
-
18
4
6320
-
-
-
6320
-
-
-
6320
-
18
4
Results for HouseConstruction (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 1501
-
12
2
DNC DNC 1501
4780
12
2
1501
-
12
2
1501
-
-
-
1501
-
-
-
1501
-
12
2
005 DNC 1.18798E+0006
-
30
5
DNC DNC 1.18798E+0006
7.19111E+0006
30
5
1.18798E+0006
-
30
5
1.18798E+0006
-
-
-
1.18798E+0006
-
-
-
1.18798E+0006
-
30
5
010 DNC 1.66357E+0009
-
60
10
DNC DNC 1.66357E+0009
1.48075E+0010
60
10
1.66357E+0009
-
60
10
DNF DNF CC
020 DNC 1.36659E+0013
-
120
20
DNC DNC 1.36659E+0013
1.61442E+0014
120
20
1.36659E+0013
-
120
20
CC DNF CC
050 DNC 1.56823E+0019
-
300
50
DNC DNC CC DNF DNF DNF CC
100 DNC MOVF DNC DNC CC DNF DNF DNF CC
200 DNC DNF DNC DNC CC DNF DNF DNF CC
500 DNC DNF DNC DNC DNF CC DNF DNF CC
Results for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 1
-
0
1
DNC DNC 1.55106E+0016
2.01128E+0017
60
7
DNF CC DNF DNF
Results for Kanban (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC 2.54643E+0006
-
20
5
DNC DNC 2.54643E+0006
2.44600E+0007
20
5
2.54643E+0006
-
20
5
2.54643E+0006
-
-
-
2.54643E+0006
-
-
-
2.54643E+0006
-
20
5
0010 DNC 1.00593E+0009
-
40
10
DNC DNC 1.00593E+0009
1.20322E+0010
40
10
1.00593E+0009
-
40
10
1.00593E+0009
-
-
-
1.00593E+0009
-
-
-
CC
0020 DNC 8.05422E+0011
-
80
20
DNC DNC 8.05422E+0011
1.10119E+0013
80
20
8.05422E+0011
-
80
20
8.05422E+0011
-
-
-
8.05422E+0011
-
-
-
CC
0050 DNC 1.04259E+0016
-
200
50
DNC DNC 1.04259E+0016
1.56123E+0017
200
50
1.04259E+0016
-
200
50
DNF DNF CC
0100 DNC 1.72630E+0019
-
400
100
DNC DNC 1.72630E+0019
2.67046E+0020
400
100
1.72630E+0019
-
400
100
DNF DNF CC
0200 DNC 3.17317E+0022
-
800
200
DNC DNC DNF 1
-
800
200
DNF DNF CC
0500 DNC DNF DNC DNC DNF 1
-
2000
500
DNF DNF CC
1000 DNC DNF DNC DNC DNF CC DNF DNF CC
Results for LamportFastMutEx (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC 380
716
-
-
DNC DNC DNC DNC DNC DNC
3 DNC DNC 19742
58272
-
-
DNC DNC DNC DNC DNC DNC
4 DNC DNC 1.91478E+0006
9.04605E+0006
-
-
DNC DNC DNC DNC DNC DNC
5 DNC DNC CC DNC DNC DNC DNC DNC DNC
6 DNC DNC CC DNC DNC DNC DNC DNC DNC
7 DNC DNC CC DNC DNC DNC DNC DNC DNC
8 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for LamportFastMutEx (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 380
-
8
1
DNC DNC 380
716
8
1
380
-
8
1
380
-
-
-
380
-
-
-
380
-
8
1
3 DNC 19742
-
14
1
DNC DNC 19742
58272
14
1
19742
-
14
1
19742
-
-
-
19742
-
-
-
19742
-
14
1
4 DNC 1.91478E+0006
-
22
1
DNC DNC 1.91478E+0006
9.04605E+0006
22
1
1.91478E+0006
-
22
1
1.91478E+0006
-
-
-
DNF DNF
5 DNC MOVF DNC DNC DNF DNF 5.30682E+0008
-
-
-
DNF DNF
6 DNC DNF DNC DNC DNF DNF CC DNF DNF
7 DNC DNF DNC DNC DNF DNF CC DNF DNF
8 DNC DNF DNC DNC DNF DNF CC DNF DNF
Results for MAPK (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC 6.11064E+0006
-
30
8
DNC DNC 6.11064E+0006
7.89489E+0007
36
8
6.11064E+0006
-
36
8
6.11064E+0006
-
-
-
6.11064E+0006
-
-
-
6.11064E+0006
-
36
8
020 DNC DNF DNC DNC 8.81258E+0010
1.68902E+0012
90
20
8.81258E+0010
-
90
20
8.81258E+0010
-
-
-
DNF MOVF
040 DNC DNF DNC DNC 4.78293E+0014
1.10986E+0016
180
40
4.78293E+0014
-
180
40
4.78293E+0014
-
-
-
DNF MOVF
080 DNC DNF DNC DNC 5.63490E+0018
1.47037E+0020
360
80
5.63490E+0018
-
360
80
DNF DNF MOVF
160 DNC DNF DNC DNC DNF 1.06396E+0023
-
720
160
DNF DNF MOVF
320 DNC DNF DNC DNC CC DNF DNF DNF MOVF
Results for NeoElection (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC 241
448
-
-
DNC DNC DNC DNC DNC DNC
3 DNC DNC 974325
3.59911E+0006
-
-
DNC DNC DNC DNC DNC DNC
4 DNC DNC CC DNC DNC DNC DNC DNC DNC
5 DNC DNC CC DNC DNC DNC DNC DNC DNC
6 DNC DNC CC DNC DNC DNC DNC DNC DNC
7 DNC DNC CC DNC DNC DNC DNC DNC DNC
8 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for NeoElection (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 241
-
14
1
DNC DNC 241
448
14
1
241
-
14
1
241
-
-
-
241
-
-
-
241
-
14
1
3 DNC 974325
-
30
1
DNC DNC 974325
3.59911E+0006
30
1
974325
-
30
1
974325
-
-
-
DNF DNF
4 DNC MOVF DNC DNC DNF 2.91912E+0011
-
52
1
2.91912E+0011
-
-
-
DNF DNF
5 DNC MOVF DNC DNC DNF DNF 6.35695E+0018
-
-
-
DNF DNF
6 DNC DNF DNC DNC DNF DNF DNF DNF DNF
7 DNC DNF DNC DNC DNF DNF DNF DNF DNF
8 DNC DNF DNC DNC DNF DNF DNF DNF MOVF
Results for PermAdmissibility (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC DNC 52537
54600
-
-
DNC DNC DNC DNC DNC DNC
02 DNC DNC DNF DNC DNC DNC DNC DNC DNC
05 DNC DNC DNF DNC DNC DNC DNC DNC DNC
10 DNC DNC DNF DNC DNC DNC DNC DNC DNC
20 DNC DNC DNF DNC DNC DNC DNC DNC DNC
50 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for PermAdmissibility (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC 52537
-
9
1
DNC DNC 52537
54600
9
1
52537
-
9
1
52537
-
-
-
DNF 52537
-
9
1
02 DNC DNF DNC DNC DNF DNF CC DNF DNF
05 DNC DNF DNC DNC DNF DNF CC DNF MOVF
10 DNC DNF DNC DNC DNF DNF CC DNF MOVF
20 DNC DNF DNC DNC DNF DNF CC DNF MOVF
50 DNC DNF DNC DNC DNF DNF CC DNF MOVF
Results for Peterson (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC 20754
62262
-
-
DNC DNC DNC DNC DNC DNC
3 DNC DNC 3.40795E+0006
1.36318E+0007
-
-
DNC DNC DNC DNC DNC DNC
4 DNC DNC DNF DNC DNC DNC DNC DNC DNC
5 DNC DNC DNF DNC DNC DNC DNC DNC DNC
6 DNC DNC DNF DNC DNC DNC DNC DNC DNC
7 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for Peterson (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 20754
-
8
1
DNC DNC 20754
62262
8
1
20754
-
8
1
20754
-
-
-
20754
-
-
-
20754
-
8
1
3 DNC 3.40795E+0006
-
11
1
DNC DNC 3.40795E+0006
1.36318E+0007
11
1
3.40795E+0006
-
11
1
3.40795E+0006
-
-
-
DNF DNF
4 DNC MOVF DNC DNC DNF DNF CC DNF DNF
5 DNC MOVF DNC DNC DNF DNF CC DNF DNF
6 DNC DNF DNC DNC DNF DNF CC DNF DNF
7 DNC DNF DNC DNC DNF DNF CC DNF DNF
Results for Philosophers (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC 243
945
-
-
DNC DNC DNC DNC DNC DNC
000010 DNC DNC 59049
459270
-
-
DNC DNC DNC DNC DNC DNC
000020 DNC DNC CC DNC DNC DNC DNC DNC DNC
000050 DNC DNC CC DNC DNC DNC DNC DNC DNC
000100 DNC DNC CC DNC DNC DNC DNC DNC DNC
000200 DNC DNC CC DNC DNC DNC DNC DNC DNC
000500 DNC DNC CC DNC DNC DNC DNC DNC DNC
001000 DNC DNC CC DNC DNC DNC DNC DNC DNC
002000 DNC DNC CC DNC DNC DNC DNC DNC DNC
005000 DNC DNC CC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for Philosophers (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 243
-
9
1
DNC DNC 243
945
10
1
243
-
10
1
243
-
-
-
243
-
-
-
243
-
10
1
000010 DNC 59049
-
19
1
DNC DNC 59049
459270
20
1
59049
-
20
1
59049
-
-
-
59049
-
-
-
59049
-
20
1
000020 DNC 3.48678E+0009
-
39
1
DNC DNC 3.48678E+0009
5.42389E+0010
40
1
3.48678E+0009
-
40
1
3.48678E+0009
-
-
-
3.48678E+0009
-
-
-
DNF
000050 DNC MOVF DNC DNC 7.17898E+0023
2.79183E+0025
100
1
7.17898E+0023
-
100
1
7.17898E+0023
-
-
-
7.17898E+0023
-
-
-
DNF
000100 DNC MOVF DNC DNC 5.15378E+0047
4.00849E+0049
200
1
5.15378E+0047
-
200
1
5.15378E+0047
-
-
-
DNF DNF
000200 DNC MOVF DNC DNC 2.65614E+0095
4.13177E+0097
400
1
2.65614E+0095
-
400
1
2.65614E+0095
-
-
-
DNF DNF
000500 DNC MOVF DNC DNC 3.63603E+0238
1.41401E+0241
1000
1
3.63603E+0238
-
1000
1
CC DNF DNF
001000 DNC MOVF DNC DNC 1.32207E+0477
1.02828E+0480
2000
1
DNF CC DNF MOVF
002000 DNC DNF DNC DNC DNF CC DNF DNF MOVF
Results for PhilosophersDyn (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC DNC CC DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
20 DNC DNC CC DNC DNC DNC DNC DNC DNC
50 DNC DNC CC DNC DNC DNC DNC DNC DNC
80 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for PhilosophersDyn (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 325
-
10
1
DNC DNC 325
768
11
1
325
-
11
1
325
-
-
-
325
-
-
-
325
-
11
1
10 DNC CC DNC DNC DNF DNF 199051
-
-
-
DNF 199051
-
20
1
20 DNC DNF DNC DNC DNF DNF DNF DNF DNF
Results for Planning (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 1.93274E+0010
-
54
1
DNC DNC DNF DNF DNF DNF DNF
Results for QuasiCertifProtocol (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC 4158
14748
-
-
DNC DNC DNC DNC DNC DNC
06 DNC DNC CC DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
18 DNC DNC CC DNC DNC DNC DNC DNC DNC
22 DNC DNC CC DNC DNC DNC DNC DNC DNC
28 DNC DNC CC DNC DNC DNC DNC DNC DNC
32 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for QuasiCertifProtocol (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 1029
-
20
1
DNC DNC 1029
3084
20
1
1029
-
20
1
1029
-
-
-
1029
-
-
-
1029
-
20
1
06 DNC 2.27196E+0006
-
74
3
DNC DNC 2.27196E+0006
1.60080E+0007
74
3
2.27196E+0006
-
74
3
2.27196E+0006
-
-
-
DNF DNF
10 DNC MOVF DNC DNC DNF DNF DNF DNF DNF
18 DNC CC DNC DNC DNF DNF CC DNF MOVF
22 DNC DNF DNC DNC CC DNF CC DNF MOVF
28 DNC DNF DNC DNC CC DNF CC DNF MOVF
32 DNC DNF DNC DNC CC DNF CC DNF MOVF
Results for Railroad (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 1838
-
16
1
DNC DNC 1838
7699
16
1
1838
-
16
1
1838
-
-
-
1838
-
-
-
1838
-
16
1
010 DNC MOVF DNC DNC 2.03817E+0006
1.63246E+0007
26
1
2.03817E+0006
-
26
1
2.03817E+0006
-
-
-
2.03817E+0006
-
-
-
DNF
020 DNC DNF DNC DNC DNF DNF 2.19554E+0012
-
-
-
DNF DNF
050 DNC DNF DNC DNC DNF DNF CC DNF DNF
100 DNC DNF DNC DNC DNF DNF DNF DNF DNF
Results for ResAllocation (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
R002C002 DNC CC DNC DNC 8
12
4
1
8
-
4
1
8
-
-
-
8
-
-
-
8
-
4
1
R003C002 DNC CC DNC DNC 20
34
6
1
20
-
6
1
20
-
-
-
20
-
-
-
20
-
6
1
R003C003 DNC CC DNC DNC 92
257
9
1
92
-
9
1
92
-
-
-
92
-
-
-
92
-
9
1
R003C005 DNC CC DNC DNC 1200
4960
15
1
1200
-
15
1
1200
-
-
-
1200
-
-
-
1200
-
15
1
R003C010 DNC CC DNC DNC 823552
6.28672E+0006
30
1
823552
-
30
1
823552
-
-
-
823552
-
-
-
823552
-
30
1
R003C015 DNC CC DNC DNC 5.78878E+0008
6.48569E+0009
45
1
5.78878E+0008
-
45
1
5.78878E+0008
-
-
-
5.78878E+0008
-
-
-
DNF
R003C020 DNC CC DNC DNC 4.06455E+0011
6.00286E+0012
60
1
4.06455E+0011
-
60
1
4.06455E+0011
-
-
-
DNF DNF
R003C050 DNC CC DNC DNC 4.87175E+0028
1.76164E+0030
150
1
4.87175E+0028
-
150
1
4.87175E+0028
-
-
-
DNF DNF
R003C100 DNC CC DNC DNC 1.41951E+0057
1.01939E+0059
300
1
1.41951E+0057
-
300
1
1.41951E+0057
-
-
-
MOVF DNF
R005C002 DNC CC DNC DNC 112
240
10
1
112
-
10
1
112
-
-
-
112
-
-
-
112
-
10
1
R010C002 DNC CC DNC DNC 6144
20480
20
1
6144
-
20
1
6144
-
-
-
6144
-
-
-
6144
-
20
1
R015C002 DNC CC DNC DNC 278528
1.26976E+0006
30
1
278528
-
30
1
278528
-
-
-
278528
-
-
-
278528
-
30
1
R020C002 DNC CC DNC DNC 1.15343E+0007
6.68467E+0007
40
1
1.15343E+0007
-
40
1
1.15343E+0007
-
-
-
1.15343E+0007
-
-
-
DNF
R050C002 DNC CC DNC DNC 2.92734E+0016
3.88435E+0017
100
1
2.92734E+0016
-
100
1
2.92734E+0016
-
-
-
DNF DNF
R100C002 DNC CC DNC DNC 6.46502E+0031
1.66538E+0033
200
1
6.46502E+0031
-
200
1
6.46502E+0031
-
-
-
DNF DNF
Results for Ring (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC 9.02652E+0011
9.66280E+0012
61
1
9.02652E+0011
-
61
1
9.02652E+0011
-
-
-
DNF DNF
Results for RwMutex (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC 1034
-
29
1
DNC DNC 1034
10260
30
1
1034
-
30
1
1034
-
-
-
1034
-
-
-
1034
-
30
1
r0010w0020 DNC 1044
-
39
1
DNC DNC 1044
10280
40
1
1044
-
40
1
1044
-
-
-
1044
-
-
-
1044
-
40
1
r0010w0050 DNC 1074
-
69
1
DNC DNC 1074
10340
70
1
1074
-
70
1
1074
-
-
-
1074
-
-
-
1074
-
70
1
r0010w0100 DNC 1124
-
119
1
DNC DNC 1124
10440
120
1
1124
-
120
1
1124
-
-
-
1124
-
-
-
1124
-
120
1
r0010w0500 DNC 1524
-
519
1
DNC DNC 1524
11240
520
1
1524
-
520
1
1524
-
-
-
MOVF 1524
-
520
1
r0010w1000 DNC 2024
-
1020
1
DNC DNC 2024
12240
1020
1
2024
-
1020
1
2024
-
-
-
DNF 2024
-
1020
1
r0010w2000 DNC MOVF DNC DNC DNF DNF 3024
-
-
-
DNF 3024
-
2020
1
r0020w0010 DNC 1.04859E+0006
-
50
1
DNC DNC 1.04859E+0006
2.09715E+0007
50
1
1.04859E+0006
-
50
1
1.04859E+0006
-
-
-
DNF 1.04859E+0006
-
50
1
r0100w0010 DNC MOVF DNC DNC CC DNF CC DNF DNF
r0500w0010 DNC MOVF DNC DNC CC DNF CC DNF MOVF
r1000w0010 DNC MOVF DNC DNC CC DNF CC DNF MOVF
r2000w0010 DNC CC DNC DNC CC DNF DNF DNF MOVF
Results for SharedMemory (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC 1863
10395
-
-
DNC DNC DNC DNC DNC DNC
000010 DNC DNC CC DNC DNC DNC DNC DNC DNC
000020 DNC DNC CC DNC DNC DNC DNC DNC DNC
000050 DNC DNC CC DNC DNC DNC DNC DNC DNC
000100 DNC DNC CC DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000500 DNC DNC CC DNC DNC DNC DNC DNC DNC
001000 DNC DNC CC DNC DNC DNC DNC DNC DNC
002000 DNC DNC CC DNC DNC DNC DNC DNC DNC
005000 DNC DNC CC DNC DNC DNC DNC DNC DNC
010000 DNC DNC CC DNC DNC DNC DNC DNC DNC
020000 DNC DNC CC DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for SharedMemory (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 1863
-
11
1
DNC DNC 1863
10395
11
1
1863
-
11
1
1863
-
-
-
1863
-
-
-
1863
-
11
1
000010 DNC 1.83052E+0006
-
21
1
DNC DNC 1.83052E+0006
1.94862E+0007
21
1
1.83052E+0006
-
21
1
1.83052E+0006
-
-
-
1.83052E+0006
-
-
-
DNF
000020 DNC MOVF DNC DNC 4.45146E+0011
9.19736E+0012
41
1
DNF 4.45146E+0011
-
-
-
4.45146E+0011
-
-
-
DNF
000050 DNC CC DNC DNC DNF DNF CC DNF DNF
000100 DNC DNF DNC DNC DNF CC DNF DNF MOVF
Results for SimpleLoadBal (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC 916
2918
-
-
DNC DNC DNC DNC DNC DNC
05 DNC DNC 116176
566332
-
-
DNC DNC DNC DNC DNC DNC
10 DNC DNC CC DNC DNC DNC DNC DNC DNC
15 DNC DNC CC DNC DNC DNC DNC DNC DNC
20 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for SimpleLoadBal (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 832
-
11
1
DNC DNC 832
2650
11
1
832
-
11
1
832
-
-
-
832
-
-
-
832
-
11
1
05 DNC 116176
-
17
1
DNC DNC 116176
566332
17
1
116176
-
17
1
116176
-
-
-
116176
-
-
-
116176
-
17
1
10 DNC DNF DNC DNC 4.06034E+0008
3.05120E+0009
27
1
4.06034E+0008
-
27
1
4.06034E+0008
-
-
-
MOVF DNF
15 DNC DNF DNC DNC DNF DNF CC MOVF DNF
20 DNC DNF DNC DNC DNF DNF CC MOVF DNF
Results for TokenRing (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC 166
365
-
-
DNC DNC DNC DNC DNC DNC
010 DNC DNC 58905
294050
-
-
DNC DNC DNC DNC DNC DNC
015 DNC DNC 3.53579E+0007
2.65183E+0008
-
-
DNC DNC DNC DNC DNC DNC
020 DNC DNC CC DNC DNC DNC DNC DNC DNC
030 DNC DNC CC DNC DNC DNC DNC DNC DNC
040 DNC DNC CC DNC DNC DNC DNC DNC DNC
050 DNC DNC CC DNC DNC DNC DNC DNC DNC
100 DNC DNC CC DNC DNC DNC DNC DNC DNC
200 DNC DNC CC DNC DNC DNC DNC DNC DNC
500 DNC DNC CC DNC DNC DNC DNC DNC DNC
Results for TokenRing (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 166
-
6
1
DNC DNC 166
365
6
1
166
-
6
1
166
-
-
-
166
-
-
-
166
-
6
1
010 DNC CC DNC DNC 58905
294050
11
1
58905
-
11
1
58905
-
-
-
58905
-
-
-
58905
-
11
1
015 DNC CC DNC DNC 3.53579E+0007
2.65183E+0008
16
1
3.53579E+0007
-
16
1
3.53579E+0007
-
-
-
DNF DNF
020 DNC CC DNC DNC DNF 2.44663E+0010
-
21
1
2.44663E+0010
-
-
-
DNF DNF
Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC 9.79474E+0021
3.40028E+0023
60
1
9.79474E+0021
-
-
-
CC DNF DNF