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