fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Last Updated
Sept. 1, 2014

Introduction

Please find here the computed results for the .

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

The results

They are displayed in the table below.

Summary of Results for reachabilitycomputebounds
Results for ARMCacheCoherence (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for Angiogenesis (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 0 1 1 1 1 1 1
05 DNC CC DNC DNC DNC DNC DNC DNC DNF
10 DNC CC DNC DNC DNC DNC DNC DNC __________
15 DNC CC DNC DNC DNC DNC DNC DNC __________
20 DNC CC DNC DNC DNC DNC DNC DNC __________
25 DNC CC DNC DNC DNC DNC DNC DNC __________
50 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for CircadianClock (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
000010 DNC CC DNC DNC DNC DNC DNC DNC 1 10 10 1 10 1 10 1 1 1
000100 DNC CC DNC DNC DNC DNC DNC DNC MOVF
001000 DNC CC DNC DNC DNC DNC DNC DNC MOVF
010000 DNC CC DNC DNC DNC DNC DNC DNC MOVF
100000 DNC CC DNC DNC DNC DNC DNC DNC MOVF
Results for CircularTrains (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
012 DNC CC DNC DNC DNC DNC DNC DNC 2 2 1 1 2 2 1 1 2 1
024 DNC CC DNC DNC DNC DNC DNC DNC 1 1 2 1 1 2 1 1 2 1
048 DNC CC DNC DNC DNC DNC DNC DNC DNF
096 DNC CC DNC DNC DNC DNC DNC DNC DNF
192 DNC DNF DNC DNC DNC DNC DNC DNC DNF
384 DNC DNF DNC DNC DNC DNC DNC DNC DNF
768 DNC DNF DNC DNC DNC DNC DNC DNC DNF
Results for DatabaseWithMutex (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
04 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
40 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for DatabaseWithMutex (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC CC DNC DNC DNC DNC DNC DNC __________
04 DNC DNF DNC DNC DNC DNC DNC DNC __________
10 DNC CC DNC DNC DNC DNC DNC DNC __________
20 DNC CC DNC DNC DNC DNC DNC DNC __________
40 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for Diffusion2D (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
D05N010 DNC CC DNC DNC DNC DNC DNC DNC DNF
D05N050 DNC CC DNC DNC DNC DNC DNC DNC DNF
D05N100 DNC CC DNC DNC DNC DNC DNC DNC DNF
D05N150 DNC CC DNC DNC DNC DNC DNC DNC DNF
D05N200 DNC CC DNC DNC DNC DNC DNC DNC DNF
D05N250 DNC CC DNC DNC DNC DNC DNC DNC DNF
D05N300 DNC CC DNC DNC DNC DNC DNC DNC __________
D05N350 DNC CC DNC DNC DNC DNC DNC DNC __________
D10N010 DNC CC DNC DNC DNC DNC DNC DNC DNF
D10N050 DNC CC DNC DNC DNC DNC DNC DNC DNF
D10N100 DNC CC DNC DNC DNC DNC DNC DNC DNF
D10N150 DNC CC DNC DNC DNC DNC DNC DNC __________
D10N200 DNC CC DNC DNC DNC DNC DNC DNC __________
D20N010 DNC CC DNC DNC DNC DNC DNC DNC DNF
D20N050 DNC CC DNC DNC DNC DNC DNC DNC DNF
D20N100 DNC CC DNC DNC DNC DNC DNC DNC DNF
D20N150 DNC CC DNC DNC DNC DNC DNC DNC DNF
D30N010 DNC CC DNC DNC DNC DNC DNC DNC DNF
D30N050 DNC CC DNC DNC DNC DNC DNC DNC DNF
D30N100 DNC CC DNC DNC DNC DNC DNC DNC DNF
D30N150 DNC CC DNC DNC DNC DNC DNC DNC DNF
D40N010 DNC CC DNC DNC DNC DNC DNC DNC DNF
D40N050 DNC CC DNC DNC DNC DNC DNC DNC DNF
D40N100 DNC CC DNC DNC DNC DNC DNC DNC DNF
D40N150 DNC CC DNC DNC DNC DNC DNC DNC DNF
D50N010 DNC CC DNC DNC DNC DNC DNC DNC DNF
D50N050 DNC CC DNC DNC DNC DNC DNC DNC DNF
D50N100 DNC CC DNC DNC DNC DNC DNC DNC DNF
D50N150 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for ERK (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
000010 DNC CC DNC DNC DNC DNC DNC DNC 10 10 10 10 10 10 10 10 10 10
000100 DNC CC DNC DNC DNC DNC DNC DNC __________
001000 DNC CC DNC DNC DNC DNC DNC DNC __________
010000 DNC CC DNC DNC DNC DNC DNC DNC __________
100000 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for EnergyBus (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for MultiwaySync (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
1 DNC CC DNC DNC DNC DNC DNC DNC 1 1 0 1 1 1 1 1 1 1
2 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
3 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
4 DNC CC DNC DNC DNC DNC DNC DNC DNF
5 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for PolyORBLF (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S02J04T06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S02J04T08 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S02J04T10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S02J06T06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S02J06T08 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S02J06T10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S04J04T06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S04J04T08 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S04J04T10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S04J06T06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S04J06T08 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S04J06T10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S06J04T04 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S06J04T06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S06J04T08 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S06J06T04 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S06J06T06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S06J06T08 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for PolyORBLF (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S02J04T06 DNC CC DNC DNC DNC DNC DNC DNC __________
S02J04T08 DNC CC DNC DNC DNC DNC DNC DNC __________
S02J04T10 DNC CC DNC DNC DNC DNC DNC DNC __________
S02J06T06 DNC CC DNC DNC DNC DNC DNC DNC __________
S02J06T08 DNC CC DNC DNC DNC DNC DNC DNC __________
S02J06T10 DNC CC DNC DNC DNC DNC DNC DNC __________
S04J04T06 DNC CC DNC DNC DNC DNC DNC DNC __________
S04J04T08 DNC CC DNC DNC DNC DNC DNC DNC __________
S04J04T10 DNC CC DNC DNC DNC DNC DNC DNC __________
S04J06T06 DNC CC DNC DNC DNC DNC DNC DNC __________
S04J06T08 DNC CC DNC DNC DNC DNC DNC DNC __________
S04J06T10 DNC CC DNC DNC DNC DNC DNC DNC __________
S06J04T04 DNC CC DNC DNC DNC DNC DNC DNC __________
S06J04T06 DNC CC DNC DNC DNC DNC DNC DNC __________
S06J04T08 DNC CC DNC DNC DNC DNC DNC DNC __________
S06J06T04 DNC CC DNC DNC DNC DNC DNC DNC __________
S06J06T06 DNC CC DNC DNC DNC DNC DNC DNC __________
S06J06T08 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for PolyORBNT (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S05J20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S05J30 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S05J40 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S05J60 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S05J80 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S10J20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S10J30 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S10J40 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S10J60 DNC DNC DNC DNC DNC DNC DNC DNC DNC
S10J80 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for PolyORBNT (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S05J20 DNC CC DNC DNC DNC DNC DNC DNC DNF
S05J30 DNC CC DNC DNC DNC DNC DNC DNC __________
S05J40 DNC CC DNC DNC DNC DNC DNC DNC DNF
S05J60 DNC CC DNC DNC DNC DNC DNC DNC DNF
S05J80 DNC CC DNC DNC DNC DNC DNC DNC DNF
S10J20 DNC CC DNC DNC DNC DNC DNC DNC __________
S10J30 DNC CC DNC DNC DNC DNC DNC DNC DNF
S10J40 DNC CC DNC DNC DNC DNC DNC DNC DNF
S10J60 DNC CC DNC DNC DNC DNC DNC DNC DNF
S10J80 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for ProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for Solitaire (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
EngCT7x7 DNC CC DNC DNC DNC DNC DNC DNC DNF
EngNC7x7 DNC CC DNC DNC DNC DNC DNC DNC DNF
FrnCT7x7 DNC CC DNC DNC DNC DNC DNC DNC DNF
FrnNC7x7 DNC CC DNC DNC DNC DNC DNC DNC DNF
SqrCT5x5 DNC CC DNC DNC DNC DNC DNC DNC DNF
SqrNC5x5 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for UtahNoC (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for CSRepetitions (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
04 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
07 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for CSRepetitions (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 3 2 3 3 2 2 3 3 2 2 DNC DNC DNC DNC DNC DNC - 2 - - - - - - - -
03 DNC 4 3 4 4 4 3 4 6 4 3 DNC DNC DNC DNC DNC DNC - 3 - - - 3 - - - 3
04 DNC MOVF DNC DNC DNC DNC DNC DNC __________
05 DNC MOVF DNC DNC DNC DNC DNC DNC __________
07 DNC MOVF DNC DNC DNC DNC DNC DNC __________
10 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for Dekker (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
015 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
020 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
050 DNC DNF DNC DNC DNC DNC DNC DNC DNF
100 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
200 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
Results for DotAndBoxes (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
16 DNC DNC DNC DNC DNC DNC DNC DNC DNC
24 DNC DNC DNC DNC DNC DNC DNC DNC DNC
48 DNC DNC DNC DNC DNC DNC DNC DNC DNC
76 DNC DNC DNC DNC DNC DNC DNC DNC DNC
98 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 2 2 0 8 0 2 2 2 0 0 DNC DNC DNC DNC DNC DNC __________
Results for Echo (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d02r11 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d02r15 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d02r19 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d03r03 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d03r05 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d03r07 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d04r03 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
d05r03 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
Results for Eratosthenes (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC 0 0 0 0 0 1 0 1 0 0 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
020 DNC 1 1 0 0 0 1 0 0 0 0 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
050 DNC 0 1 1 0 0 1 1 0 1 0 DNC DNC DNC DNC DNC DNC DNF
100 DNC 0 1 0 1 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
200 DNC 0 1 0 0 1 0 0 1 0 0 DNC DNC DNC DNC DNC DNC DNF
500 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for FMS (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 2 2 2 2 2 2 2 2 2 2 DNC DNC DNC DNC DNC DNC 2 2 2 2 2 2 2 2 2 2
005 DNC 1 5 5 3 5 5 5 5 5 5 DNC DNC DNC DNC DNC DNC 1 5 5 3 5 5 5 5 5 5
010 DNC 10 1 10 10 10 10 3 1 10 10 DNC DNC DNC DNC DNC DNC 10 1 10 10 10 10 3 1 10 10
020 DNC 20 20 20 2 20 20 20 20 20 20 DNC DNC DNC DNC DNC DNC 20 20 20 2 20 20 20 20 20 20
050 DNC 50 50 3 50 3 1 50 50 50 50 DNC DNC DNC DNC DNC DNC MOVF
100 DNC 100 100 1 100 100 100 2 2 100 100 DNC DNC DNC DNC DNC DNC __________
200 DNC 200 200 200 3 200 1 200 1 1 200 DNC DNC DNC DNC DNC DNC __________
500 DNC 2 500 500 3 500 500 500 500 1 2 DNC DNC DNC DNC DNC DNC __________
Results for GlobalResAllocation (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
07 DNC DNC DNC DNC DNC DNC DNC DNC DNC
09 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
11 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for GlobalResAllocation (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 3 5 5 14 9 5 14 14 5 3 DNC DNC DNC DNC DNC DNC __________
Results for HouseConstruction (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 2 2 2 2 2 2 2 2 2 2 DNC DNC DNC DNC DNC DNC 2 2 2 2 2 2 2 2 2 2
005 DNC 5 5 5 5 5 5 5 5 5 5 DNC DNC DNC DNC DNC DNC 5 5 5 5 5 5 5 5 5 5
010 DNC 10 10 10 10 10 10 10 10 10 10 DNC DNC DNC DNC DNC DNC 10 10 10 10 10 10 10 10 10 10
020 DNC 20 20 20 20 20 20 20 20 20 20 DNC DNC DNC DNC DNC DNC 20 20 20 20 20 20 20 20 20 20
050 DNC 50 50 50 50 50 50 50 50 50 50 DNC DNC DNC DNC DNC DNC 50 50 50 50 50 50 50 50 - 50
100 DNC MOVF DNC DNC DNC DNC DNC DNC - - 100 100 - - - - - -
200 DNC MOVF DNC DNC DNC DNC DNC DNC - 200 - - - - 200 - - -
500 DNC DNF DNC DNC DNC DNC DNC DNC - - - 500 - - - - - -
Results for IBMB2S565S3960 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC DNC DNC DNC DNC DNF
Results for Kanban (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC 5 5 5 5 5 5 5 5 5 5 DNC DNC DNC DNC DNC DNC 5 5 5 5 5 5 5 5 5 5
0010 DNC 10 10 10 10 10 10 10 10 10 10 DNC DNC DNC DNC DNC DNC 10 10 10 10 10 10 10 10 10 10
0020 DNC 20 20 20 20 20 20 20 20 20 20 DNC DNC DNC DNC DNC DNC 20 20 20 20 20 20 20 20 20 20
0050 DNC 50 50 50 50 50 50 50 50 50 50 DNC DNC DNC DNC DNC DNC MOVF
0100 DNC 100 100 100 100 100 100 100 100 100 100 DNC DNC DNC DNC DNC DNC MOVF
0200 DNC 200 200 200 200 200 200 200 200 200 200 DNC DNC DNC DNC DNC DNC MOVF
0500 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
1000 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
Results for LamportFastMutEx (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
6 DNC DNC DNC DNC DNC DNC DNC DNC DNC
7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
8 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for LamportFastMutEx (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 2 2 2 2 2 1 2 2 2 1 DNC DNC DNC DNC DNC DNC __________
3 DNC 5 1 2 3 3 2 2 3 1 7 DNC DNC DNC DNC DNC DNC __________
4 DNC 4 4 3 4 3 4 4 4 4 2 DNC DNC DNC DNC DNC DNC __________
5 DNC DNF DNC DNC DNC DNC DNC DNC __________
6 DNC DNF DNC DNC DNC DNC DNC DNC __________
7 DNC DNF DNC DNC DNC DNC DNC DNC __________
8 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for MAPK (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC 8 4 6 4 4 4 4 4 8 4 DNC DNC DNC DNC DNC DNC 8 4 6 4 4 4 4 4 8 4
020 DNC DNF DNC DNC DNC DNC DNC DNC DNF
040 DNC DNF DNC DNC DNC DNC DNC DNC __________
080 DNC DNF DNC DNC DNC DNC DNC DNC __________
160 DNC DNF DNC DNC DNC DNC DNC DNC __________
320 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for NeoElection (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
6 DNC DNC DNC DNC DNC DNC DNC DNC DNC
7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
8 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for NeoElection (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 0 2 1 0 0 2 2 5 5 5 DNC DNC DNC DNC DNC DNC __________
3 DNC 3 3 3 0 11 0 3 0 11 3 DNC DNC DNC DNC DNC DNC __________
4 DNC MOVF DNC DNC DNC DNC DNC DNC __________
5 DNC MOVF DNC DNC DNC DNC DNC DNC __________
6 DNC MOVF DNC DNC DNC DNC DNC DNC __________
7 DNC DNF DNC DNC DNC DNC DNC DNC __________
8 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for PermAdmissibility (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC DNC DNC DNC DNC DNC DNC DNC DNC
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
50 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for PermAdmissibility (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC 3 1 2 1 1 2 1 1 2 1 DNC DNC DNC DNC DNC DNC - 1 - 1 1 - 1 1 - -
02 DNC DNF DNC DNC DNC DNC DNC DNC __________
05 DNC DNF DNC DNC DNC DNC DNC DNC __________
10 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
20 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
50 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
Results for Peterson (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
6 DNC DNC DNC DNC DNC DNC DNC DNC DNC
7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Peterson (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 3 2 3 4 3 3 3 3 2 2 DNC DNC DNC DNC DNC DNC __________
3 DNC 4 4 4 4 3 4 4 4 3 4 DNC DNC DNC DNC DNC DNC __________
4 DNC CC DNC DNC DNC DNC DNC DNC __________
5 DNC CC DNC DNC DNC DNC DNC DNC __________
6 DNC CC DNC DNC DNC DNC DNC DNC __________
7 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for Philosophers (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
001000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
002000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Philosophers (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 4 4 4 4 4 4 4 4 4 4 DNC DNC DNC DNC DNC DNC __________
000010 DNC 7 8 5 8 8 8 8 5 8 8 DNC DNC DNC DNC DNC DNC __________
000020 DNC 19 10 19 19 17 19 19 17 19 17 DNC DNC DNC DNC DNC DNC __________
000050 DNC 37 39 39 37 47 41 47 37 39 47 DNC DNC DNC DNC DNC DNC __________
000100 DNC 90 96 50 85 50 90 50 96 87 96 DNC DNC DNC DNC DNC DNC __________
000200 DNC 174 178 193 99 174 172 193 193 172 178 DNC DNC DNC DNC DNC DNC __________
000500 DNC 337 461 461 378 472 327 327 461 378 327 DNC DNC DNC DNC DNC DNC __________
001000 DNC MOVF DNC DNC DNC DNC DNC DNC __________
002000 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for PhilosophersDyn (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
50 DNC DNC DNC DNC DNC DNC DNC DNC DNC
80 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for PhilosophersDyn (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 4 3 4 3 2 1 2 2 3 2 DNC DNC DNC DNC DNC DNC __________
10 DNC 5 11 11 11 5 11 5 11 6 11 DNC DNC DNC DNC DNC DNC __________
20 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for Planning (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC __________
Results for QuasiCertifProtocol (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
18 DNC DNC DNC DNC DNC DNC DNC DNC DNC
22 DNC DNC DNC DNC DNC DNC DNC DNC DNC
28 DNC DNC DNC DNC DNC DNC DNC DNC DNC
32 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for QuasiCertifProtocol (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 1 3 4 2 3 4 2 1 1 2 DNC DNC DNC DNC DNC DNC 1 - - - - - - 1 1 -
06 DNC 3 6 4 4 1 6 1 8 26 3 DNC DNC DNC DNC DNC DNC __________
10 DNC MOVF DNC DNC DNC DNC DNC DNC __________
18 DNC MOVF DNC DNC DNC DNC DNC DNC __________
22 DNC MOVF DNC DNC DNC DNC DNC DNC __________
28 DNC MOVF DNC DNC DNC DNC DNC DNC __________
32 DNC MOVF DNC DNC DNC DNC DNC DNC __________
Results for Railroad (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 1 0 1 1 0 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 0 1 1 0 1 1 1 1 1
010 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 0 1 1 1 0 1
020 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
050 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
100 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
Results for ResAllocation (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
R002C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C003 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C005 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C015 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
R003C020 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
R003C050 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
R003C100 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
R005C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R010C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R015C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R020C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
R050C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
R100C002 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
Results for Ring (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
Results for RwMutex (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0020 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0050 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0100 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0500 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w1000 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w2000 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0020w0010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0100w0010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0500w0010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r1000w0010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r2000w0010 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
Results for SharedMemory (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
001000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
002000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for SharedMemory (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 5 3 7 7 7 5 5 1 5 1 DNC DNC DNC DNC DNC DNC - - - - - - - - - 1
000010 DNC 1 1 12 1 12 12 1 8 12 8 DNC DNC DNC DNC DNC DNC __________
000020 DNC MOVF DNC DNC DNC DNC DNC DNC __________
000050 DNC CC DNC DNC DNC DNC DNC DNC __________
000100 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for SimpleLoadBal (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
15 DNC DNC DNC DNC DNC DNC DNC DNC DNC
20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for SimpleLoadBal (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 3 1 2 2 1 2 2 1 2 2 DNC DNC DNC DNC DNC DNC - 1 - - 1 - - 1 - -
05 DNC 3 5 2 2 1 1 3 2 1 2 DNC DNC DNC DNC DNC DNC - - - - 1 - - - 1 -
10 DNC 1 9 8 9 1 2 9 10 2 1 DNC DNC DNC DNC DNC DNC __________
15 DNC DNF DNC DNC DNC DNC DNC DNC __________
20 DNC MOVF DNC DNC DNC DNC DNC DNC __________
Results for TokenRing (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
015 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
030 DNC DNC DNC DNC DNC DNC DNC DNC DNC
040 DNC DNC DNC DNC DNC DNC DNC DNC DNC
050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for TokenRing (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 6 6 6 6 6 6 6 6 6 6 DNC DNC DNC DNC DNC DNC __________
010 DNC CC DNC DNC DNC DNC DNC DNC __________
015 DNC CC DNC DNC DNC DNC DNC DNC __________
020 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for Vasy2003 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC DNC DNC DNC DNC DNF
Results for CSRepetitions (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
04 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
07 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for CSRepetitions (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 4 2 4 4 4 2 4 4 2 4 DNC DNC DNC DNC DNC DNC - 2 - - - - - - - -
03 DNC DNF DNC DNC DNC DNC DNC DNC - 3 - - - 3 - - - 3
04 DNC DNF DNC DNC DNC DNC DNC DNC __________
05 DNC DNF DNC DNC DNC DNC DNC DNC __________
07 DNC CC DNC DNC DNC DNC DNC DNC __________
10 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for Dekker (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
015 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
020 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC DNF
050 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
100 DNC MOVF DNC DNC DNC DNC DNC DNC DNF
200 DNC DNF DNC DNC DNC DNC DNC DNC DNF
Results for DotAndBoxes (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
16 DNC DNC DNC DNC DNC DNC DNC DNC DNC
24 DNC DNC DNC DNC DNC DNC DNC DNC DNC
48 DNC DNC DNC DNC DNC DNC DNC DNC DNC
76 DNC DNC DNC DNC DNC DNC DNC DNC DNC
98 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 2 2 1 5 1 2 2 2 1 1 DNC DNC DNC DNC DNC DNC __________
Results for Echo (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 DNC 0 0 1 0 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
d02r11 DNC 0 0 0 0 1 0 0 0 0 1 DNC DNC DNC DNC DNC DNC DNF
d02r15 DNC 0 0 0 0 1 0 0 0 0 1 DNC DNC DNC DNC DNC DNC DNF
d02r19 DNC 0 0 0 0 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
d03r03 DNC 0 0 0 0 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
d03r05 DNC 0 0 0 0 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
d03r07 DNC 0 0 0 0 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
d04r03 DNC 0 0 0 0 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
d05r03 DNC 0 0 0 0 0 1 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
020 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
050 DNC CC DNC DNC DNC DNC DNC DNC DNF
100 DNC CC DNC DNC DNC DNC DNC DNC DNF
200 DNC CC DNC DNC DNC DNC DNC DNC DNF
500 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for FMS (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 2 2 2 2 2 2 2 2 2 2 DNC DNC DNC DNC DNC DNC 2 2 2 2 2 2 2 2 2 2
005 DNC 1 5 5 3 5 5 5 5 5 5 DNC DNC DNC DNC DNC DNC 1 5 5 3 5 5 5 5 5 5
010 DNC 10 1 10 10 10 10 3 1 10 10 DNC DNC DNC DNC DNC DNC 10 1 10 10 10 10 3 1 10 10
020 DNC 20 20 20 2 20 20 20 20 20 20 DNC DNC DNC DNC DNC DNC 20 20 20 2 20 20 20 20 20 20
050 DNC 50 50 3 50 3 1 50 50 50 50 DNC DNC DNC DNC DNC DNC MOVF
100 DNC 100 100 1 100 100 100 2 2 100 100 DNC DNC DNC DNC DNC DNC __________
200 DNC 200 200 200 3 200 1 200 1 1 200 DNC DNC DNC DNC DNC DNC __________
500 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for GlobalResAllocation (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
07 DNC DNC DNC DNC DNC DNC DNC DNC DNC
09 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
11 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for GlobalResAllocation (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 3 2 2 14 2 2 14 14 2 3 DNC DNC DNC DNC DNC DNC __________
Results for HouseConstruction (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC 2 2 2 2 2 2 2 2 2 2 DNC DNC DNC DNC DNC DNC 2 2 2 2 2 2 2 2 2 2
005 DNC 5 5 5 5 5 5 5 5 5 5 DNC DNC DNC DNC DNC DNC 5 5 5 5 5 5 5 5 5 5
010 DNC 10 10 10 10 10 10 10 10 10 10 DNC DNC DNC DNC DNC DNC 10 10 10 10 10 10 10 10 10 10
020 DNC 20 20 20 20 20 20 20 20 20 20 DNC DNC DNC DNC DNC DNC 20 20 20 20 20 20 20 20 20 20
050 DNC 50 50 50 50 50 50 50 50 50 50 DNC DNC DNC DNC DNC DNC 50 50 50 50 50 50 50 50 - 50
100 DNC MOVF DNC DNC DNC DNC DNC DNC - - 100 100 - - - - - -
200 DNC DNF DNC DNC DNC DNC DNC DNC - 200 - - - - 200 - - -
500 DNC DNF DNC DNC DNC DNC DNC DNC - - - 500 - - - - - -
Results for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 0 0 0 0 0 0 0 0 0 0 DNC DNC DNC DNC DNC DNC DNF
Results for Kanban (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC 5 5 5 5 5 5 5 5 5 5 DNC DNC DNC DNC DNC DNC 5 5 5 5 5 5 5 5 5 5
0010 DNC 10 10 10 10 10 10 10 10 10 10 DNC DNC DNC DNC DNC DNC 10 10 10 10 10 10 10 10 10 10
0020 DNC 20 20 20 20 20 20 20 20 20 20 DNC DNC DNC DNC DNC DNC 20 20 20 20 20 20 20 20 20 20
0050 DNC 50 50 50 50 50 50 50 50 50 50 DNC DNC DNC DNC DNC DNC MOVF
0100 DNC 100 100 100 100 100 100 100 100 100 100 DNC DNC DNC DNC DNC DNC MOVF
0200 DNC 200 200 200 200 200 200 200 200 200 200 DNC DNC DNC DNC DNC DNC MOVF
0500 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
1000 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
Results for LamportFastMutEx (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
6 DNC DNC DNC DNC DNC DNC DNC DNC DNC
7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
8 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for LamportFastMutEx (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 0 2 2 1 4 0 1 2 4 1 DNC DNC DNC DNC DNC DNC __________
3 DNC 7 3 2 3 1 2 2 3 3 6 DNC DNC DNC DNC DNC DNC __________
4 DNC 3 7 2 2 3 7 4 7 4 3 DNC DNC DNC DNC DNC DNC __________
5 DNC MOVF DNC DNC DNC DNC DNC DNC __________
6 DNC DNF DNC DNC DNC DNC DNC DNC __________
7 DNC DNF DNC DNC DNC DNC DNC DNC __________
8 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for MAPK (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC 8 4 6 4 4 4 4 4 8 4 DNC DNC DNC DNC DNC DNC 8 4 6 4 4 4 4 4 8 4
020 DNC DNF DNC DNC DNC DNC DNC DNC DNF
040 DNC DNF DNC DNC DNC DNC DNC DNC __________
080 DNC DNF DNC DNC DNC DNC DNC DNC __________
160 DNC DNF DNC DNC DNC DNC DNC DNC __________
320 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for NeoElection (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
6 DNC DNC DNC DNC DNC DNC DNC DNC DNC
7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
8 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for NeoElection (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 0 1 0 0 0 0 0 3 3 3 DNC DNC DNC DNC DNC DNC __________
3 DNC 2 0 2 0 5 0 1 0 5 1 DNC DNC DNC DNC DNC DNC __________
4 DNC MOVF DNC DNC DNC DNC DNC DNC __________
5 DNC MOVF DNC DNC DNC DNC DNC DNC __________
6 DNC CC DNC DNC DNC DNC DNC DNC __________
7 DNC DNF DNC DNC DNC DNC DNC DNC __________
8 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for PermAdmissibility (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC DNC DNC DNC DNC DNC DNC DNC DNC
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
50 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for PermAdmissibility (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC 3 1 2 1 1 2 1 1 2 1 DNC DNC DNC DNC DNC DNC - 1 - 1 1 - 1 1 - -
02 DNC DNF DNC DNC DNC DNC DNC DNC __________
05 DNC DNF DNC DNC DNC DNC DNC DNC __________
10 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
20 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
50 DNC DNF DNC DNC DNC DNC DNC DNC MOVF
Results for Peterson (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC DNC DNC DNC DNC DNC DNC DNC
3 DNC DNC DNC DNC DNC DNC DNC DNC DNC
4 DNC DNC DNC DNC DNC DNC DNC DNC DNC
5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
6 DNC DNC DNC DNC DNC DNC DNC DNC DNC
7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Peterson (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC 3 3 6 3 4 6 6 3 2 2 DNC DNC DNC DNC DNC DNC __________
3 DNC 4 4 3 5 3 4 5 4 3 4 DNC DNC DNC DNC DNC DNC __________
4 DNC MOVF DNC DNC DNC DNC DNC DNC __________
5 DNC MOVF DNC DNC DNC DNC DNC DNC __________
6 DNC DNF DNC DNC DNC DNC DNC DNC __________
7 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for Philosophers (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
001000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
002000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Philosophers (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 2 4 3 2 4 2 3 3 3 2 DNC DNC DNC DNC DNC DNC __________
000010 DNC 7 8 7 6 8 8 6 7 6 6 DNC DNC DNC DNC DNC DNC __________
000020 DNC 11 14 14 11 14 14 14 14 14 14 DNC DNC DNC DNC DNC DNC __________
000050 DNC MOVF DNC DNC DNC DNC DNC DNC __________
000100 DNC MOVF DNC DNC DNC DNC DNC DNC __________
000200 DNC MOVF DNC DNC DNC DNC DNC DNC __________
000500 DNC MOVF DNC DNC DNC DNC DNC DNC __________
001000 DNC MOVF DNC DNC DNC DNC DNC DNC __________
002000 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for PhilosophersDyn (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
50 DNC DNC DNC DNC DNC DNC DNC DNC DNC
80 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for PhilosophersDyn (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
03 DNC 6 3 6 3 2 2 2 2 2 2 DNC DNC DNC DNC DNC DNC __________
10 DNC CC DNC DNC DNC DNC DNC DNC __________
20 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for Planning (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC 1 0 1 0 0 1 0 1 0 1 DNC DNC DNC DNC DNC DNC __________
Results for QuasiCertifProtocol (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
06 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
18 DNC DNC DNC DNC DNC DNC DNC DNC DNC
22 DNC DNC DNC DNC DNC DNC DNC DNC DNC
28 DNC DNC DNC DNC DNC DNC DNC DNC DNC
32 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for QuasiCertifProtocol (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 1 1 7 2 2 6 2 1 1 2 DNC DNC DNC DNC DNC DNC 1 - - - - - - 1 1 -
06 DNC 3 6 4 4 1 6 1 8 26 3 DNC DNC DNC DNC DNC DNC __________
10 DNC MOVF DNC DNC DNC DNC DNC DNC __________
18 DNC CC DNC DNC DNC DNC DNC DNC __________
22 DNC DNF DNC DNC DNC DNC DNC DNC __________
28 DNC DNF DNC DNC DNC DNC DNC DNC __________
32 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for Railroad (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 1 0 1 1 0 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 0 1 1 0 1 1 1 1 1
010 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 0 1 1 1 0 1
020 DNC DNF DNC DNC DNC DNC DNC DNC DNF
050 DNC DNF DNC DNC DNC DNC DNC DNC DNF
100 DNC DNF DNC DNC DNC DNC DNC DNC DNF
Results for ResAllocation (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
R002C002 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C002 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C003 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C005 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C010 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R003C015 DNC CC DNC DNC DNC DNC DNC DNC DNF
R003C020 DNC CC DNC DNC DNC DNC DNC DNC DNF
R003C050 DNC CC DNC DNC DNC DNC DNC DNC DNF
R003C100 DNC CC DNC DNC DNC DNC DNC DNC DNF
R005C002 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R010C002 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R015C002 DNC CC DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
R020C002 DNC CC DNC DNC DNC DNC DNC DNC DNF
R050C002 DNC CC DNC DNC DNC DNC DNC DNC DNF
R100C002 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for Ring (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC DNC DNC DNC DNC DNF
Results for RwMutex (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0020 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0050 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0100 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w0500 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w1000 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0010w2000 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0020w0010 DNC 1 1 1 1 1 1 1 1 1 1 DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0100w0010 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r0500w0010 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r1000w0010 DNC MOVF DNC DNC DNC DNC DNC DNC 1 1 1 1 1 1 1 1 1 1
r2000w0010 DNC CC DNC DNC DNC DNC DNC DNC DNF
Results for SharedMemory (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
001000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
002000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for SharedMemory (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 3 4 5 5 5 3 3 3 3 1 DNC DNC DNC DNC DNC DNC - - - - - - - - - 1
000010 DNC 4 4 15 1 15 15 1 5 15 5 DNC DNC DNC DNC DNC DNC __________
000020 DNC MOVF DNC DNC DNC DNC DNC DNC __________
000050 DNC CC DNC DNC DNC DNC DNC DNC __________
000100 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for SimpleLoadBal (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC DNC DNC DNC DNC DNC DNC DNC
05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
10 DNC DNC DNC DNC DNC DNC DNC DNC DNC
15 DNC DNC DNC DNC DNC DNC DNC DNC DNC
20 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for SimpleLoadBal (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC 3 1 2 1 1 2 2 1 1 1 DNC DNC DNC DNC DNC DNC - 1 - - 1 - - 1 - -
05 DNC 2 5 2 2 1 2 2 2 1 1 DNC DNC DNC DNC DNC DNC - - - - 1 - - - 1 -
10 DNC DNF DNC DNC DNC DNC DNC DNC __________
15 DNC DNF DNC DNC DNC DNC DNC DNC __________
20 DNC DNF DNC DNC DNC DNC DNC DNC __________
Results for TokenRing (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
015 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
030 DNC DNC DNC DNC DNC DNC DNC DNC DNC
040 DNC DNC DNC DNC DNC DNC DNC DNC DNC
050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for TokenRing (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC 6 6 6 6 6 6 6 6 6 6 DNC DNC DNC DNC DNC DNC __________
010 DNC CC DNC DNC DNC DNC DNC DNC __________
015 DNC CC DNC DNC DNC DNC DNC DNC __________
020 DNC CC DNC DNC DNC DNC DNC DNC __________
Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC DNC DNC DNC DNC DNC DNF