fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Correctness Mask for the ReachabilityDeadlock 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 reachabilitydeadlock
Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none -- FT DNC -- -- -- CC -- DNF FT 11
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 FT -- -- CC -- FT FT 22
05 -- CC DNC FT -- -- CC -- FT FT 22
10 -- CC DNC FT -- -- CC -- -- FT 11
15 -- CC DNC FT -- -- CC -- -- FT 11
20 -- CC DNC -- -- -- CC -- -- ?? 00
25 -- CC DNC FT -- -- CC -- -- FT 11
50 -- CC DNC -- -- -- CC -- -- ?? 00
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 TF -- -- CC -- TF TF 22
000010 -- CC DNC TF -- -- CC -- TF TF 22
000100 -- CC DNC -- -- -- CC -- MOVF ?? 00
001000 -- CC DNC -- -- -- CC -- MOVF ?? 00
010000 -- CC DNC -- -- -- CC -- MOVF ?? 00
100000 -- CC DNC -- -- -- CC -- MOVF ?? 00
Correctness mask for CircularTrains (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
012 -- TF DNC TF -- -- CC -- TF TF 33
024 -- TF DNC TF -- -- CC -- TF TF 33
048 -- ?? DNC ?? -- -- CC -- DNF ?? 00
096 -- ?? DNC ?? -- -- CC -- MOVF ?? 00
192 -- DNF DNC TF -- -- CC -- MOVF TF 11
384 -- DNF DNC TF -- -- CC -- MOVF TF 11
768 -- DNF DNC TF -- -- CC -- MOVF TF 11
Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- DNC -- DNC -- -- DNC -- DNC ?? 00
04 -- DNC -- DNC -- -- DNC -- DNC ?? 00
10 -- DNC -- DNC -- -- DNC -- DNC ?? 00
20 -- DNC -- DNC -- -- DNC -- DNC ?? 00
40 -- DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- TF DNC TF -- -- CC -- TF TF 33
04 -- DNF DNC TF -- -- CC -- TF TF 22
10 -- CC DNC -- -- -- CC -- DNF ?? 00
20 -- CC DNC -- -- -- CC -- MOVF ?? 00
40 -- DNF DNC -- -- -- CC -- DNF ?? 00
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 TF -- -- CC -- DNF TF 11
D05N050 -- CC DNC -- -- -- CC -- DNF ?? 00
D05N100 -- CC DNC -- -- -- CC -- -- ?? 00
D05N150 -- CC DNC -- -- -- CC -- -- ?? 00
D05N200 -- CC DNC -- -- -- CC -- -- ?? 00
D05N250 -- CC DNC -- -- -- CC -- -- ?? 00
D05N300 -- CC DNC -- -- -- CC -- -- ?? 00
D05N350 -- CC DNC -- -- -- CC -- -- ?? 00
D10N010 -- CC DNC -- -- -- CC -- DNF ?? 00
D10N050 -- CC DNC -- -- -- CC -- DNF ?? 00
D10N100 -- CC DNC -- -- -- CC -- DNF ?? 00
D10N150 -- CC DNC -- -- -- CC -- -- ?? 00
D10N200 -- CC DNC -- -- -- CC -- -- ?? 00
D20N010 -- CC DNC -- -- -- CC -- DNF ?? 00
D20N050 -- CC DNC -- -- -- CC -- DNF ?? 00
D20N100 -- CC DNC -- -- -- CC -- DNF ?? 00
D20N150 -- CC DNC -- -- -- CC -- DNF ?? 00
D30N010 -- CC DNC -- -- -- CC -- DNF ?? 00
D30N050 -- CC DNC -- -- -- CC -- DNF ?? 00
D30N100 -- CC DNC -- -- -- CC -- DNF ?? 00
D30N150 -- CC DNC -- -- -- CC -- DNF ?? 00
D40N010 -- CC DNC -- -- -- CC -- DNF ?? 00
D40N050 -- CC DNC -- -- -- CC -- DNF ?? 00
D40N100 -- CC DNC -- -- -- CC -- DNF ?? 00
D40N150 -- CC DNC -- -- -- CC -- DNF ?? 00
D50N010 -- CC DNC -- -- -- CC -- DNF ?? 00
D50N050 -- CC DNC -- -- -- CC -- DNF ?? 00
D50N100 -- CC DNC -- -- -- CC -- DNF ?? 00
D50N150 -- CC DNC -- -- -- CC -- DNF ?? 00
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 TF -- -- CC -- TF TF 22
000010 -- CC DNC TF -- -- CC -- TF TF 22
000100 -- CC DNC TF -- -- CC -- -- TF 11
001000 -- CC DNC TF -- -- CC -- -- TF 11
010000 -- CC DNC TF -- -- CC -- -- TF 11
100000 -- CC DNC TF -- -- CC -- -- TF 11
Correctness mask for EnergyBus (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none -- TF DNC -- -- -- CC -- DNF TF 11
Correctness mask for MultiwaySync (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none -- TF DNC -- -- -- CC -- DNF TF 11
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 TF -- -- CC -- TF TF 22
1 -- CC DNC TF -- -- CC -- TF TF 22
2 -- CC DNC TF -- -- CC -- TF TF 22
3 -- CC DNC TF -- -- CC -- TF TF 22
4 -- CC DNC TF -- -- CC -- TF TF 22
5 -- CC DNC TF -- -- CC -- TF TF 22
Correctness mask for PolyORBLF (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S02J04T06 -- DNC T- DNC -- -- DNC -- DNC T? 10
S02J04T08 -- DNC T- DNC -- -- DNC -- DNC T? 10
S02J04T10 -- DNC T- DNC -- -- DNC -- DNC T? 10
S02J06T06 -- DNC T- DNC -- -- DNC -- DNC T? 10
S02J06T08 -- DNC T- DNC -- -- DNC -- DNC T? 10
S02J06T10 -- DNC T- DNC -- -- DNC -- DNC T? 10
S04J04T06 -- DNC T- DNC -- -- DNC -- DNC T? 10
S04J04T08 -- DNC T- DNC -- -- DNC -- DNC T? 10
S04J04T10 -- DNC T- DNC -- -- DNC -- DNC T? 10
S04J06T06 -- DNC -- DNC -- -- DNC -- DNC ?? 00
S04J06T08 -- DNC -- DNC -- -- DNC -- DNC ?? 00
S04J06T10 -- DNC -- DNC -- -- DNC -- DNC ?? 00
S06J04T04 -- DNC F- DNC -- -- DNC -- DNC F? 10
S06J04T06 -- DNC F- DNC -- -- DNC -- DNC F? 10
S06J04T08 -- DNC F- DNC -- -- DNC -- DNC F? 10
S06J06T04 -- DNC F- DNC -- -- DNC -- DNC F? 10
S06J06T06 -- DNC F- DNC -- -- DNC -- DNC F? 10
S06J06T08 -- DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for PolyORBLF (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S02J04T06 -- FT DNC FT -- -- CC -- FT FT 33
S02J04T08 -- FT DNC FT -- -- CC -- FT FT 33
S02J04T10 -- FT DNC FT -- -- CC -- FT FT 33
S02J06T06 -- FT DNC FT -- -- CC -- FT FT 33
S02J06T08 -- FT DNC FT -- -- CC -- FT FT 33
S02J06T10 -- FT DNC FT -- -- CC -- FT FT 33
S04J04T06 -- FT DNC -- -- -- CC -- FT FT 22
S04J04T08 -- FT DNC -- -- -- CC -- FT FT 22
S04J04T10 -- FT DNC -- -- -- CC -- FT FT 22
S04J06T06 -- FT DNC -- -- -- CC -- FT FT 22
S04J06T08 -- FT DNC -- -- -- CC -- FT FT 22
S04J06T10 -- FT DNC -- -- -- CC -- FT FT 22
S06J04T04 -- FT DNC FT -- -- CC -- FT FT 33
S06J04T06 -- FT DNC FT -- -- CC -- FT FT 33
S06J04T08 -- FT DNC FT -- -- CC -- FT FT 33
S06J06T04 -- FT DNC FT -- -- CC -- FT FT 33
S06J06T06 -- FT DNC FT -- -- CC -- FT FT 33
S06J06T08 -- FT DNC FT -- -- CC -- FT FT 33
Correctness mask for PolyORBNT (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S05J20 -- DNC F- DNC -- -- DNC -- DNC F? 10
S05J30 -- DNC F- DNC -- -- DNC -- DNC F? 10
S05J40 -- DNC F- DNC -- -- DNC -- DNC F? 10
S05J60 -- DNC F- DNC -- -- DNC -- DNC F? 10
S05J80 -- DNC F- DNC -- -- DNC -- DNC F? 10
S10J20 -- DNC F- DNC -- -- DNC -- DNC F? 10
S10J30 -- DNC F- DNC -- -- DNC -- DNC F? 10
S10J40 -- DNC F- DNC -- -- DNC -- DNC F? 10
S10J60 -- DNC F- DNC -- -- DNC -- DNC F? 10
S10J80 -- DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for PolyORBNT (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S05J20 -- FT DNC FT -- -- CC -- FT FT 33
S05J30 -- FT DNC FT -- -- CC -- FT FT 33
S05J40 -- FT DNC FT -- -- CC -- FT FT 33
S05J60 -- FT DNC FT -- -- CC -- FT FT 33
S05J80 -- FT DNC FT -- -- CC -- FT FT 33
S10J20 -- FT DNC FT -- -- CC -- FT FT 33
S10J30 -- FT DNC FT -- -- CC -- FT FT 33
S10J40 -- FT DNC FT -- -- CC -- FT FT 33
S10J60 -- FT DNC FT -- -- CC -- DNF FT 22
S10J80 -- FT DNC FT -- -- CC -- DNF FT 22
Correctness mask for ProductionCell (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none -- TF DNC -- -- -- CC -- DNF TF 11
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 FT -- -- CC -- FT FT 22
EngNC7x7 -- CC DNC FT -- -- CC -- FT FT 22
FrnCT7x7 -- CC DNC FT -- -- CC -- FT FT 22
FrnNC7x7 -- CC DNC FT -- -- CC -- FT FT 22
SqrCT5x5 -- CC DNC FT -- -- CC -- FT FT 22
SqrNC5x5 -- CC DNC FT -- -- CC -- FT FT 22
Correctness mask for UtahNoC (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none -- TF DNC -- -- -- CC -- DNF TF 11
Correctness mask for CSRepetitions (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 DNC DNC F- DNC -- -- DNC -- DNC F? 10
03 DNC DNC F- DNC -- -- DNC -- DNC F? 10
04 DNC DNC F- DNC -- -- DNC -- DNC F? 10
05 DNC DNC F- DNC -- -- DNC -- DNC F? 10
07 DNC DNC F- DNC -- -- DNC -- DNC F? 10
10 DNC DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for CSRepetitions (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 DNC FT DNC FT -- -- FT -- FT FT 44
03 DNC FT DNC FT -- -- FT -- FT FT 44
04 DNC MOVF DNC FT -- -- CC -- FT FT 22
05 DNC MOVF DNC FT -- -- CC -- FT FT 22
07 DNC MOVF DNC FT -- -- CC -- FT FT 22
10 DNC CC DNC FT -- -- CC -- FT FT 22
Correctness mask for Dekker (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 TF TF DNC TF -- -- TF -- TF TF 55
015 TF TF DNC TF -- -- T- -- TF TF 54
020 TF TF DNC TF -- -- CC -- DNF TF 33
050 DNF DNF DNC TF -- -- CC -- DNF TF 11
100 CC MOVF DNC -- -- -- DNF -- DNF ?? 00
200 CC MOVF DNC -- -- -- DNF -- DNF ?? 00
Correctness mask for DotAndBoxes (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 DNC DNC F- DNC -- -- DNC -- DNC F? 10
3 DNC DNC F- DNC -- -- DNC -- DNC F? 10
4 DNC DNC F- DNC -- -- DNC -- DNC F? 10
5 DNC DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 DNC DNC T- DNC -- -- DNC -- DNC T? 10
10 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
16 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
24 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
48 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
76 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
98 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for DrinkVendingMachine (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 TF TF DNC TF -- -- TF -- TF TF 55
Correctness mask for Echo (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
d02r09 CC MOVF DNC FT -- -- DNF -- FT FT 22
d02r11 CC MOVF DNC FT -- -- CC -- FT FT 22
d02r15 CC MOVF DNC FT -- -- CC -- FT FT 22
d02r19 CC MOVF DNC FT -- -- CC -- FT FT 22
d03r03 CC MOVF DNC FT -- -- CC -- FT FT 22
d03r05 CC MOVF DNC FT -- -- CC -- FT FT 22
d03r07 CC MOVF DNC FT -- -- DNF -- FT FT 22
d04r03 DNF MOVF DNC FT -- -- CC -- FT FT 22
d05r03 CC MOVF DNC FT -- -- CC -- FT FT 22
Correctness mask for Eratosthenes (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 XX FT DNC FT -- -- FT -- FT FT 44
020 XX FT DNC FT -- -- FT -- FT FT 44
050 XX FT DNC FT -- -- FT -- FT FT 44
100 XX FT DNC FT -- -- FT -- FT FT 44
200 XX FT DNC FT -- -- FT -- FT FT 44
500 CC CC DNC FT -- -- CC -- FT FT 22
Correctness mask for FMS (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 DNC TF DNC TF -- -- TF -- TF TF 44
005 DNC TF DNC TF -- -- CC -- TF TF 33
010 DNC TF DNC TF -- -- T- -- TF TF 43
020 DNC TF DNC TF -- -- T- -- TF TF 43
050 DNC TF DNC TF -- -- CC -- TF TF 33
100 DNC TF DNC TF -- -- DNF -- -- TF 22
200 DNC TF DNC TF -- -- DNF -- -- TF 22
500 DNC TF DNC TF -- -- DNF -- -- TF 22
Correctness mask for GlobalResAllocation (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
05 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
06 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
07 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
09 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
10 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
11 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for GlobalResAllocation (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 DNC TF DNC TF -- -- TF -- TF TF 44
Correctness mask for HouseConstruction (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 DNC FT DNC FT -- -- FT -- FT FT 44
005 DNC FT DNC FT -- -- CC -- FT FT 33
010 DNC FT DNC FT -- -- DNF -- FT FT 33
020 DNC FT DNC FT -- -- CC -- FT FT 33
050 DNC DNF DNC FT -- -- DNF -- FT FT 22
100 DNC MOVF DNC FT -- -- DNF -- FT FT 22
200 DNC MOVF DNC FT -- -- DNF -- FT FT 22
500 DNC DNF DNC FT -- -- DNF -- FT FT 22
Correctness mask for IBMB2S565S3960 (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none DNC DNF DNC FT -- -- CC -- FT FT 22
Correctness mask for Kanban (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0005 DNC TF DNC TF -- -- TF -- TF TF 44
0010 DNC TF DNC TF -- -- CC -- TF TF 33
0020 DNC TF DNC TF -- -- CC -- TF TF 33
0050 DNC TF DNC TF -- -- DNF -- MOVF TF 22
0100 DNC TF DNC -- -- -- DNF -- MOVF TF 11
0200 DNC TF DNC -- -- -- DNF -- MOVF TF 11
0500 DNC DNF DNC -- -- -- DNF -- MOVF ?? 00
1000 DNC DNF DNC -- -- -- DNF -- MOVF ?? 00
Correctness mask for LamportFastMutEx (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 DNC DNC T- DNC -- -- DNC -- DNC T? 10
3 DNC DNC T- DNC -- -- DNC -- DNC T? 10
4 DNC DNC T- DNC -- -- DNC -- DNC T? 10
5 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
6 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
7 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
8 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for LamportFastMutEx (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 TF TF DNC TF -- -- TF -- TF TF 55
3 TF TF DNC TF -- -- TF -- TF TF 55
4 TF TF DNC TF -- -- T- -- DNF TF 43
5 DNF DNF DNC -- -- -- CC -- DNF ?? 00
6 DNF DNF DNC -- -- -- CC -- DNF ?? 00
7 DNF DNF DNC -- -- -- CC -- DNF ?? 00
8 DNF DNF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for MAPK (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 DNC TF DNC TF -- -- T- -- TF TF 43
020 DNC DNF DNC -- -- -- T- -- -- T? 10
040 DNC DNF DNC -- -- -- CC -- -- ?? 00
080 DNC DNF DNC -- -- -- DNF -- -- ?? 00
160 DNC DNF DNC -- -- -- DNF -- -- ?? 00
320 DNC DNF DNC -- -- -- DNF -- -- ?? 00
Correctness mask for NeoElection (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 DNC DNC F- DNC -- -- DNC -- DNC F? 10
3 DNC DNC F- DNC -- -- DNC -- DNC F? 10
4 DNC DNC F- DNC -- -- DNC -- DNC F? 10
5 DNC DNC F- DNC -- -- DNC -- DNC F? 10
6 DNC DNC F- DNC -- -- DNC -- DNC F? 10
7 DNC DNC F- DNC -- -- DNC -- DNC F? 10
8 DNC DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for NeoElection (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 FT FT DNC FT -- -- FT -- FT FT 55
3 FT FT DNC FT -- -- CC -- FT FT 44
4 DNF MOVF DNC FT -- -- DNF -- FT FT 22
5 CC MOVF DNC -- -- -- DNF -- FT FT 11
6 CC MOVF DNC FT -- -- DNF -- FT FT 22
7 CC DNF DNC FT -- -- DNF -- FT FT 22
8 CC DNF DNC FT -- -- DNF -- DNF FT 11
Correctness mask for PermAdmissibility (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 DNC DNC F- DNC -- -- DNC -- DNC F? 10
02 DNC DNC F- DNC -- -- DNC -- DNC F? 10
05 DNC DNC F- DNC -- -- DNC -- DNC F? 10
10 DNC DNC F- DNC -- -- DNC -- DNC F? 10
20 DNC DNC F- DNC -- -- DNC -- DNC F? 10
50 DNC DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for PermAdmissibility (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 FT FT DNC FT -- -- CC -- FT FT 44
02 DNC DNF DNC FT -- -- CC -- FT FT 22
05 DNC DNF DNC FT -- -- CC -- FT FT 22
10 DNC DNF DNC FT -- -- CC -- FT FT 22
20 DNC DNF DNC FT -- -- CC -- FT FT 22
50 DNC DNF DNC FT -- -- CC -- FT FT 22
Correctness mask for Peterson (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 DNC DNC T- DNC -- -- DNC -- DNC T? 10
3 DNC DNC T- DNC -- -- DNC -- DNC T? 10
4 DNC DNC T- DNC -- -- DNC -- DNC T? 10
5 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
6 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
7 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
Correctness mask for Peterson (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 TF TF DNC TF -- -- TF -- TF TF 55
3 TF TF DNC TF -- -- CC -- TF TF 44
4 DNF CC DNC TF -- -- CC -- DNF TF 11
5 DNF CC DNC -- -- -- CC -- DNF ?? 00
6 DNF CC DNC -- -- -- CC -- DNF ?? 00
7 DNF CC DNC -- -- -- CC -- DNF ?? 00
Correctness mask for Philosophers (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 DNC DNC F- DNC -- -- DNC -- DNC F? 10
000010 DNC DNC F- DNC -- -- DNC -- DNC F? 10
000020 DNC DNC F- DNC -- -- DNC -- DNC F? 10
000050 DNC DNC F- DNC -- -- DNC -- DNC F? 10
000100 DNC DNC F- DNC -- -- DNC -- DNC F? 10
000200 DNC DNC F- DNC -- -- DNC -- DNC F? 10
000500 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
001000 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
002000 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
005000 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
010000 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
050000 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
100000 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
Correctness mask for Philosophers (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 FT FT DNC FT -- -- FT -- FT FT 55
000010 FT FT DNC FT -- -- FT -- FT FT 55
000020 FT FT DNC FT -- -- CC -- DNF FT 33
000050 FT FT DNC FT -- -- FT -- FT FT 55
000100 FT FT DNC FT -- -- CC -- DNF FT 33
000200 FT MOVF DNC FT -- -- CC -- DNF FT 22
000500 FT MOVF DNC FT -- -- CC -- FT FT 33
001000 FT MOVF DNC FT -- -- CC -- MOVF FT 22
002000 FT DNF DNC FT -- -- DNF -- DNF FT 22
Correctness mask for PhilosophersDyn (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
10 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
20 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
50 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
80 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for PhilosophersDyn (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 DNC FT DNC FT -- -- FT -- FT FT 44
10 DNF FT DNC FT -- -- DNF -- FT FT 33
20 DNF CC DNC FT -- -- DNF -- FT FT 22
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 DNC -- -- -- DNF -- -- ?? 00
Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 DNC DNC F- DNC -- -- DNC -- DNC F? 10
06 DNC DNC F- DNC -- -- DNC -- DNC F? 10
10 DNC DNC F- DNC -- -- DNC -- DNC F? 10
18 DNC DNC F- DNC -- -- DNC -- DNC F? 10
22 DNC DNC F- DNC -- -- DNC -- DNC F? 10
28 DNC DNC F- DNC -- -- DNC -- DNC F? 10
32 DNC DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for QuasiCertifProtocol (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 FT FT DNC FT -- -- FT -- FT FT 55
06 DNC FT DNC FT -- -- CC -- FT FT 33
10 DNC MOVF DNC FT -- -- DNF -- FT FT 22
18 DNC MOVF DNC FT -- -- CC -- FT FT 22
22 DNC MOVF DNC FT -- -- CC -- FT FT 22
28 DNC MOVF DNC FT -- -- CC -- FT FT 22
32 DNC MOVF DNC FT -- -- CC -- FT FT 22
Correctness mask for Railroad (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 TF TF DNC TF -- -- TF -- TF TF 55
010 DNF MOVF DNC TF -- -- CC -- TF TF 22
020 DNF MOVF DNC -- -- -- T- -- DNF T? 10
050 CC MOVF DNC -- -- -- CC -- DNF ?? 00
100 DNF MOVF DNC -- -- -- DNF -- DNF ?? 00
Correctness mask for ResAllocation (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
R002C002 FT FT DNC FT -- -- FT -- FT FT 55
R003C002 FT FT DNC FT -- -- FT -- FT FT 55
R003C003 FT FT DNC FT -- -- FT -- FT FT 55
R003C005 FT FT DNC FT -- -- FT -- FT FT 55
R003C010 FT FT DNC FT -- -- CC -- FT FT 44
R003C015 FT FT DNC FT -- -- FT -- FT FT 55
R003C020 FT MOVF DNC FT -- -- FT -- FT FT 44
R003C050 FT MOVF DNC FT -- -- CC -- FT FT 33
R003C100 FT MOVF DNC FT -- -- CC -- FT FT 33
R005C002 FT FT DNC FT -- -- FT -- FT FT 55
R010C002 FT FT DNC FT -- -- FT -- FT FT 55
R015C002 FT FT DNC FT -- -- FT -- FT FT 55
R020C002 FT FT DNC FT -- -- FT -- FT FT 55
R050C002 FT FT DNC FT -- -- FT -- FT FT 55
R100C002 FT FT DNC FT -- -- CC -- FT FT 44
Correctness mask for Ring (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none CC TF DNC -- -- -- CC -- DNF TF 11
Correctness mask for RwMutex (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
r0010w0010 TF TF DNC TF -- -- TF -- TF TF 55
r0010w0020 TF TF DNC TF -- -- TF -- TF TF 55
r0010w0050 TF TF DNC TF -- -- TF -- TF TF 55
r0010w0100 TF TF DNC TF -- -- TF -- TF TF 55
r0010w0500 TF MOVF DNC TF -- -- CC -- TF TF 33
r0010w1000 TF MOVF DNC TF -- -- DNF -- TF TF 33
r0010w2000 TF MOVF DNC TF -- -- DNF -- TF TF 33
r0020w0010 TF TF DNC TF -- -- T- -- TF TF 54
r0100w0010 TF TF DNC TF -- -- CC -- TF TF 44
r0500w0010 TF TF DNC TF -- -- CC -- TF TF 44
r1000w0010 TF TF DNC TF -- -- CC -- TF TF 44
r2000w0010 TF MOVF DNC TF -- -- DNF -- TF TF 33
Correctness mask for SharedMemory (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 DNC DNC T- DNC -- -- DNC -- DNC T? 10
000010 DNC DNC T- DNC -- -- DNC -- DNC T? 10
000020 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
000050 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
000100 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
000200 DNC DNC F- DNC -- -- DNC -- DNC F? 10
000500 DNC DNC F- DNC -- -- DNC -- DNC F? 10
001000 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
002000 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
005000 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
010000 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
020000 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
050000 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
100000 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
Correctness mask for SharedMemory (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 TF TF DNC TF -- -- TF -- TF TF 55
000010 TF TF DNC TF -- -- CC -- TF TF 44
000020 TF MOVF DNC TF -- -- CC -- DNF TF 22
000050 TF CC DNC -- -- -- CC -- DNF TF 11
000100 TF CC DNC -- -- -- DNF -- DNF TF 11
Correctness mask for SimpleLoadBal (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 DNC DNC T- DNC -- -- DNC -- DNC T? 10
05 DNC DNC T- DNC -- -- DNC -- DNC T? 10
10 DNC DNC T- DNC -- -- DNC -- DNC T? 10
15 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
20 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for SimpleLoadBal (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 TF TF DNC TF -- -- TF -- TF TF 55
05 TF TF DNC TF -- -- CC -- TF TF 44
10 DNF TF DNC TF -- -- T- -- DNF TF 32
15 DNF DNF DNC -- -- -- CC -- DNF ?? 00
20 CC MOVF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for TokenRing (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 DNC DNC T- DNC -- -- DNC -- DNC T? 10
010 DNC DNC T- DNC -- -- DNC -- DNC T? 10
015 DNC DNC T- DNC -- -- DNC -- DNC T? 10
020 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
030 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
040 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
050 DNC DNC DNF DNC -- -- DNC -- DNC ?? 00
100 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
200 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
500 DNC DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for TokenRing (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 TF TF DNC TF -- -- TF -- TF TF 55
010 TF CC DNC TF -- -- CC -- TF TF 33
015 CC CC DNC -- -- -- T- -- DNF T? 10
020 CC CC DNC -- -- -- DNF -- DNF ?? 00
Correctness mask for Vasy2003 (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none DNC DNF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- DNC F- DNC -- -- DNC -- DNC F? 10
03 -- DNC F- DNC -- -- DNC -- DNC F? 10
04 -- DNC F- DNC -- -- DNC -- DNC F? 10
05 -- DNC F- DNC -- -- DNC -- DNC F? 10
07 -- DNC F- DNC -- -- DNC -- DNC F? 10
10 -- DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for CSRepetitions (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- FT DNC FT -- -- CC -- FT FT 33
03 -- DNF DNC FT -- -- CC -- FT FT 22
04 -- DNF DNC FT -- -- CC -- FT FT 22
05 -- DNF DNC FT -- -- CC -- FT FT 22
07 -- CC DNC FT -- -- CC -- FT FT 22
10 -- CC DNC FT -- -- CC -- FT FT 22
Correctness mask for Dekker (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 -- TF DNC TF -- -- CC -- TF TF 33
015 -- TF DNC TF -- -- CC -- TF TF 33
020 -- TF DNC TF -- -- CC -- DNF TF 22
050 -- MOVF DNC TF -- -- CC -- DNF TF 11
100 -- MOVF DNC -- -- -- CC -- DNF ?? 00
200 -- DNF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 -- DNC F- DNC -- -- DNC -- DNC F? 10
3 -- DNC F- DNC -- -- DNC -- DNC F? 10
4 -- DNC F- DNC -- -- DNC -- DNC F? 10
5 -- DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- DNC T- DNC -- -- DNC -- DNC T? 10
10 -- DNC -- DNC -- -- DNC -- DNC ?? 00
16 -- DNC -- DNC -- -- DNC -- DNC ?? 00
24 -- DNC -- DNC -- -- DNC -- DNC ?? 00
48 -- DNC -- DNC -- -- DNC -- DNC ?? 00
76 -- DNC -- DNC -- -- DNC -- DNC ?? 00
98 -- DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for DrinkVendingMachine (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- TF DNC TF -- -- CC -- TF TF 33
Correctness mask for Echo (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
d02r09 -- FT DNC FT -- -- CC -- FT FT 33
d02r11 -- FT DNC FT -- -- CC -- FT FT 33
d02r15 -- FT DNC FT -- -- CC -- FT FT 33
d02r19 -- FT DNC FT -- -- CC -- FT FT 33
d03r03 -- FT DNC FT -- -- CC -- FT FT 33
d03r05 -- FT DNC FT -- -- CC -- FT FT 33
d03r07 -- FT DNC FT -- -- CC -- FT FT 33
d04r03 -- FT DNC FT -- -- CC -- FT FT 33
d05r03 -- FT DNC FT -- -- CC -- FT FT 33
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 FT -- -- CC -- FT FT 22
020 -- CC DNC FT -- -- CC -- FT FT 22
050 -- CC DNC FT -- -- CC -- FT FT 22
100 -- CC DNC FT -- -- CC -- FT FT 22
200 -- CC DNC FT -- -- CC -- FT FT 22
500 -- CC DNC FT -- -- CC -- FT FT 22
Correctness mask for FMS (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 -- TF DNC TF -- -- CC -- TF TF 33
005 -- TF DNC TF -- -- CC -- TF TF 33
010 -- TF DNC TF -- -- CC -- TF TF 33
020 -- TF DNC TF -- -- CC -- TF TF 33
050 -- TF DNC TF -- -- CC -- TF TF 33
100 -- TF DNC TF -- -- CC -- -- TF 22
200 -- TF DNC TF -- -- CC -- -- TF 22
500 -- DNF DNC TF -- -- CC -- -- TF 11
Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 -- DNC -- DNC -- -- DNC -- DNC ?? 00
05 -- DNC -- DNC -- -- DNC -- DNC ?? 00
06 -- DNC -- DNC -- -- DNC -- DNC ?? 00
07 -- DNC -- DNC -- -- DNC -- DNC ?? 00
09 -- DNC -- DNC -- -- DNC -- DNC ?? 00
10 -- DNC -- DNC -- -- DNC -- DNC ?? 00
11 -- DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for GlobalResAllocation (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 -- TF DNC TF -- -- CC -- TF TF 33
Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 -- FT DNC FT -- -- CC -- FT FT 33
005 -- FT DNC FT -- -- CC -- FT FT 33
010 -- FT DNC FT -- -- CC -- FT FT 33
020 -- FT DNC FT -- -- CC -- FT FT 33
050 -- DNF DNC FT -- -- CC -- FT FT 22
100 -- MOVF DNC FT -- -- CC -- FT FT 22
200 -- DNF DNC FT -- -- CC -- FT FT 22
500 -- DNF DNC FT -- -- CC -- FT FT 22
Correctness mask for IBMB2S565S3960 (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none -- FT DNC FT -- -- CC -- FT FT 33
Correctness mask for Kanban (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0005 -- TF DNC TF -- -- CC -- TF TF 33
0010 -- TF DNC TF -- -- CC -- TF TF 33
0020 -- TF DNC TF -- -- CC -- TF TF 33
0050 -- TF DNC TF -- -- CC -- MOVF TF 22
0100 -- TF DNC -- -- -- CC -- MOVF TF 11
0200 -- TF DNC -- -- -- CC -- MOVF TF 11
0500 -- DNF DNC -- -- -- CC -- MOVF ?? 00
1000 -- DNF DNC -- -- -- CC -- MOVF ?? 00
Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 -- DNC T- DNC -- -- DNC -- DNC T? 10
3 -- DNC T- DNC -- -- DNC -- DNC T? 10
4 -- DNC T- DNC -- -- DNC -- DNC T? 10
5 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
6 -- DNC -- DNC -- -- DNC -- DNC ?? 00
7 -- DNC -- DNC -- -- DNC -- DNC ?? 00
8 -- DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for LamportFastMutEx (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 -- TF DNC TF -- -- CC -- TF TF 33
3 -- TF DNC TF -- -- CC -- TF TF 33
4 -- TF DNC TF -- -- CC -- DNF TF 22
5 -- MOVF DNC -- -- -- CC -- DNF ?? 00
6 -- DNF DNC -- -- -- CC -- DNF ?? 00
7 -- DNF DNC -- -- -- CC -- DNF ?? 00
8 -- DNF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for MAPK (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 -- TF DNC TF -- -- CC -- TF TF 33
020 -- DNF DNC -- -- -- CC -- -- ?? 00
040 -- DNF DNC -- -- -- CC -- -- ?? 00
080 -- DNF DNC -- -- -- CC -- -- ?? 00
160 -- DNF DNC -- -- -- CC -- -- ?? 00
320 -- DNF DNC -- -- -- CC -- -- ?? 00
Correctness mask for NeoElection (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 -- DNC F- DNC -- -- DNC -- DNC F? 10
3 -- DNC F- DNC -- -- DNC -- DNC F? 10
4 -- DNC F- DNC -- -- DNC -- DNC F? 10
5 -- DNC F- DNC -- -- DNC -- DNC F? 10
6 -- DNC F- DNC -- -- DNC -- DNC F? 10
7 -- DNC F- DNC -- -- DNC -- DNC F? 10
8 -- DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for NeoElection (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 -- FT DNC FT -- -- CC -- FT FT 33
3 -- FT DNC FT -- -- CC -- FT FT 33
4 -- MOVF DNC FT -- -- CC -- FT FT 22
5 -- MOVF DNC -- -- -- CC -- FT FT 11
6 -- DNF DNC FT -- -- CC -- FT FT 22
7 -- DNF DNC FT -- -- CC -- FT FT 22
8 -- DNF DNC FT -- -- CC -- DNF FT 11
Correctness mask for PermAdmissibility (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 -- DNC F- DNC -- -- DNC -- DNC F? 10
02 -- DNC F- DNC -- -- DNC -- DNC F? 10
05 -- DNC F- DNC -- -- DNC -- DNC F? 10
10 -- DNC F- DNC -- -- DNC -- DNC F? 10
20 -- DNC F- DNC -- -- DNC -- DNC F? 10
50 -- DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for PermAdmissibility (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 -- FT DNC FT -- -- CC -- FT FT 33
02 -- DNF DNC FT -- -- CC -- FT FT 22
05 -- DNF DNC FT -- -- CC -- FT FT 22
10 -- DNF DNC FT -- -- CC -- FT FT 22
20 -- DNF DNC FT -- -- CC -- FT FT 22
50 -- DNF DNC FT -- -- CC -- FT FT 22
Correctness mask for Peterson (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 -- DNC T- DNC -- -- DNC -- DNC T? 10
3 -- DNC T- DNC -- -- DNC -- DNC T? 10
4 -- DNC T- DNC -- -- DNC -- DNC T? 10
5 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
6 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
7 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
Correctness mask for Peterson (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 -- TF DNC TF -- -- CC -- TF TF 33
3 -- TF DNC TF -- -- CC -- TF TF 33
4 -- MOVF DNC TF -- -- CC -- DNF TF 11
5 -- MOVF DNC -- -- -- CC -- DNF ?? 00
6 -- DNF DNC -- -- -- CC -- DNF ?? 00
7 -- DNF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for Philosophers (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 -- DNC F- DNC -- -- DNC -- DNC F? 10
000010 -- DNC F- DNC -- -- DNC -- DNC F? 10
000020 -- DNC F- DNC -- -- DNC -- DNC F? 10
000050 -- DNC F- DNC -- -- DNC -- DNC F? 10
000100 -- DNC F- DNC -- -- DNC -- DNC F? 10
000200 -- DNC F- DNC -- -- DNC -- DNC F? 10
000500 -- DNC -- DNC -- -- DNC -- DNC ?? 00
001000 -- DNC -- DNC -- -- DNC -- DNC ?? 00
002000 -- DNC -- DNC -- -- DNC -- DNC ?? 00
005000 -- DNC -- DNC -- -- DNC -- DNC ?? 00
010000 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
050000 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
100000 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
Correctness mask for Philosophers (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 -- FT DNC FT -- -- CC -- FT FT 33
000010 -- FT DNC FT -- -- CC -- FT FT 33
000020 -- FT DNC FT -- -- CC -- DNF FT 22
000050 -- MOVF DNC FT -- -- CC -- FT FT 22
000100 -- MOVF DNC FT -- -- CC -- DNF FT 11
000200 -- MOVF DNC FT -- -- CC -- DNF FT 11
000500 -- MOVF DNC FT -- -- CC -- FT FT 22
001000 -- MOVF DNC FT -- -- CC -- MOVF FT 11
002000 -- DNF DNC FT -- -- CC -- DNF FT 11
Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 -- DNC -- DNC -- -- DNC -- DNC ?? 00
10 -- DNC -- DNC -- -- DNC -- DNC ?? 00
20 -- DNC -- DNC -- -- DNC -- DNC ?? 00
50 -- DNC -- DNC -- -- DNC -- DNC ?? 00
80 -- DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for PhilosophersDyn (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 -- FT DNC FT -- -- CC -- FT FT 33
10 -- CC DNC FT -- -- CC -- FT FT 22
20 -- DNF DNC FT -- -- CC -- FT FT 22
Correctness mask for Planning (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none -- TF DNC -- -- -- CC -- -- TF 11
Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- DNC F- DNC -- -- DNC -- DNC F? 10
06 -- DNC F- DNC -- -- DNC -- DNC F? 10
10 -- DNC F- DNC -- -- DNC -- DNC F? 10
18 -- DNC F- DNC -- -- DNC -- DNC F? 10
22 -- DNC F- DNC -- -- DNC -- DNC F? 10
28 -- DNC F- DNC -- -- DNC -- DNC F? 10
32 -- DNC F- DNC -- -- DNC -- DNC F? 10
Correctness mask for QuasiCertifProtocol (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- FT DNC FT -- -- CC -- FT FT 33
06 -- FT DNC FT -- -- CC -- FT FT 33
10 -- MOVF DNC FT -- -- CC -- FT FT 22
18 -- CC DNC FT -- -- CC -- FT FT 22
22 -- DNF DNC FT -- -- CC -- FT FT 22
28 -- DNF DNC FT -- -- CC -- FT FT 22
32 -- DNF DNC FT -- -- CC -- FT FT 22
Correctness mask for Railroad (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 -- TF DNC TF -- -- CC -- TF TF 33
010 -- MOVF DNC TF -- -- CC -- TF TF 22
020 -- DNF DNC -- -- -- CC -- DNF ?? 00
050 -- DNF DNC -- -- -- CC -- DNF ?? 00
100 -- DNF DNC -- -- -- CC -- DNF ?? 00
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 FT -- -- CC -- FT FT 22
R003C002 -- CC DNC FT -- -- CC -- FT FT 22
R003C003 -- CC DNC FT -- -- CC -- FT FT 22
R003C005 -- CC DNC FT -- -- CC -- FT FT 22
R003C010 -- CC DNC FT -- -- CC -- FT FT 22
R003C015 -- CC DNC FT -- -- CC -- FT FT 22
R003C020 -- CC DNC FT -- -- CC -- FT FT 22
R003C050 -- CC DNC FT -- -- CC -- FT FT 22
R003C100 -- CC DNC FT -- -- CC -- FT FT 22
R005C002 -- CC DNC FT -- -- CC -- FT FT 22
R010C002 -- CC DNC FT -- -- CC -- FT FT 22
R015C002 -- CC DNC FT -- -- CC -- FT FT 22
R020C002 -- CC DNC FT -- -- CC -- FT FT 22
R050C002 -- CC DNC FT -- -- CC -- FT FT 22
R100C002 -- CC DNC FT -- -- CC -- FT FT 22
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 -- -- -- CC -- DNF ?? 00
Correctness mask for RwMutex (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
r0010w0010 -- TF DNC TF -- -- CC -- TF TF 33
r0010w0020 -- TF DNC TF -- -- CC -- TF TF 33
r0010w0050 -- TF DNC TF -- -- CC -- TF TF 33
r0010w0100 -- TF DNC TF -- -- CC -- TF TF 33
r0010w0500 -- TF DNC TF -- -- CC -- TF TF 33
r0010w1000 -- MOVF DNC TF -- -- CC -- TF TF 22
r0010w2000 -- MOVF DNC TF -- -- CC -- TF TF 22
r0020w0010 -- TF DNC TF -- -- CC -- TF TF 33
r0100w0010 -- MOVF DNC TF -- -- CC -- TF TF 22
r0500w0010 -- MOVF DNC TF -- -- CC -- TF TF 22
r1000w0010 -- MOVF DNC TF -- -- CC -- TF TF 22
r2000w0010 -- CC DNC TF -- -- CC -- TF TF 22
Correctness mask for SharedMemory (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 -- DNC T- DNC -- -- DNC -- DNC T? 10
000010 -- DNC T- DNC -- -- DNC -- DNC T? 10
000020 -- DNC -- DNC -- -- DNC -- DNC ?? 00
000050 -- DNC -- DNC -- -- DNC -- DNC ?? 00
000100 -- DNC -- DNC -- -- DNC -- DNC ?? 00
000200 -- DNC F- DNC -- -- DNC -- DNC F? 10
000500 -- DNC F- DNC -- -- DNC -- DNC F? 10
001000 -- DNC -- DNC -- -- DNC -- DNC ?? 00
002000 -- DNC -- DNC -- -- DNC -- DNC ?? 00
005000 -- DNC -- DNC -- -- DNC -- DNC ?? 00
010000 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
020000 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
050000 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
100000 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
Correctness mask for SharedMemory (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 -- TF DNC TF -- -- CC -- TF TF 33
000010 -- TF DNC TF -- -- CC -- TF TF 33
000020 -- MOVF DNC TF -- -- CC -- DNF TF 11
000050 -- CC DNC -- -- -- CC -- DNF ?? 00
000100 -- DNF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- DNC T- DNC -- -- DNC -- DNC T? 10
05 -- DNC T- DNC -- -- DNC -- DNC T? 10
10 -- DNC T- DNC -- -- DNC -- DNC T? 10
15 -- DNC -- DNC -- -- DNC -- DNC ?? 00
20 -- DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for SimpleLoadBal (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 -- TF DNC TF -- -- CC -- TF TF 33
05 -- TF DNC TF -- -- CC -- TF TF 33
10 -- DNF DNC TF -- -- CC -- DNF TF 11
15 -- DNF DNC -- -- -- CC -- DNF ?? 00
20 -- DNF DNC -- -- -- CC -- DNF ?? 00
Correctness mask for TokenRing (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 -- DNC T- DNC -- -- DNC -- DNC T? 10
010 -- DNC T- DNC -- -- DNC -- DNC T? 10
015 -- DNC T- DNC -- -- DNC -- DNC T? 10
020 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
030 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
040 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
050 -- DNC DNF DNC -- -- DNC -- DNC ?? 00
100 -- DNC -- DNC -- -- DNC -- DNC ?? 00
200 -- DNC -- DNC -- -- DNC -- DNC ?? 00
500 -- DNC -- DNC -- -- DNC -- DNC ?? 00
Correctness mask for TokenRing (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 -- TF DNC TF -- -- CC -- TF TF 33
010 -- CC DNC TF -- -- CC -- TF TF 22
015 -- CC DNC -- -- -- CC -- DNF ?? 00
020 -- CC DNC -- -- -- CC -- DNF ?? 00
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 -- -- -- CC -- DNF ?? 00