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

Introduction

Please find here the computed results for the .

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

The results

They are displayed in the table below.

Summary of Results for ltlcardinality
Results for ARMCacheCoherence (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Angiogenesis (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 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
25 DNC DNC DNC DNC DNC DNC DNC DNC DNC
50 DNC DNC DNC 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 DNC DNC DNC DNC DNC DNC DNC DNC
000010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
001000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for CircularTrains (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
012 DNC DNC DNC DNC DNC DNC DNC DNC DNC
024 DNC DNC DNC DNC DNC DNC DNC DNC DNC
048 DNC DNC DNC DNC DNC DNC DNC DNC DNC
096 DNC DNC DNC DNC DNC DNC DNC DNC DNC
192 DNC DNC DNC DNC DNC DNC DNC DNC DNC
384 DNC DNC DNC DNC DNC DNC DNC DNC DNC
768 DNC DNC DNC DNC DNC DNC DNC DNC DNC
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
04 DNC DNC __________ DNC DNC DNC DNC DNC DNC
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
20 DNC DNC __________ DNC DNC DNC DNC DNC DNC
40 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 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 Diffusion2D (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
D05N010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D05N050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D05N100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D05N150 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D05N200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D05N250 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D05N300 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D05N350 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D10N010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D10N050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D10N100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D10N150 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D10N200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D20N010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D20N050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D20N100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D20N150 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D30N010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D30N050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D30N100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D30N150 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D40N010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D40N050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D40N100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D40N150 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D50N010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D50N050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D50N100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
D50N150 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for ERK (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
000100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
001000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNC 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 DNC DNC DNC DNC DNC DNC DNC DNC
Results for MultiwaySync (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0 DNC DNC DNC DNC DNC DNC DNC DNC DNC
1 DNC DNC DNC DNC DNC DNC DNC DNC DNC
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 PolyORBLF (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S02J04T06 DNC DNC ___T____T_ DNC DNC DNC DNC DNC DNC
S02J04T08 DNC DNC __T_______ DNC DNC DNC DNC DNC DNC
S02J04T10 DNC DNC _T__T__T__ DNC DNC DNC DNC DNC DNC
S02J06T06 DNC DNC __________ DNC DNC DNC DNC DNC DNC
S02J06T08 DNC DNC T___FF____ DNC DNC DNC DNC DNC DNC
S02J06T10 DNC DNC _____T____ DNC DNC DNC DNC DNC DNC
S04J04T06 DNC DNC _F_F_____T DNC DNC DNC DNC DNC DNC
S04J04T08 DNC DNC T___F_F_T_ DNC DNC DNC DNC DNC DNC
S04J04T10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
S04J06T06 DNC DNC __T__T___F DNC DNC DNC DNC DNC DNC
S04J06T08 DNC DNC __F_F_____ DNC DNC DNC DNC DNC DNC
S04J06T10 DNC DNC T______T__ DNC DNC DNC DNC DNC DNC
S06J04T04 DNC DNC ______F_F_ DNC DNC DNC DNC DNC DNC
S06J04T06 DNC DNC __________ DNC DNC DNC DNC DNC DNC
S06J04T08 DNC DNC ___T______ DNC DNC DNC DNC DNC DNC
S06J06T04 DNC DNC _____F____ DNC DNC DNC DNC DNC DNC
S06J06T06 DNC DNC __________ DNC DNC DNC DNC DNC DNC
S06J06T08 DNC DNC ___F___F__ 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 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 PolyORBNT (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S05J20 DNC DNC _F______T_ DNC DNC DNC DNC DNC DNC
S05J30 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
S05J40 DNC DNC _________F DNC DNC DNC DNC DNC DNC
S05J60 DNC DNC F__F______ DNC DNC DNC DNC DNC DNC
S05J80 DNC DNC F_________ DNC DNC DNC DNC DNC DNC
S10J20 DNC DNC T______TF_ DNC DNC DNC DNC DNC DNC
S10J30 DNC DNC __________ DNC DNC DNC DNC DNC DNC
S10J40 DNC DNC ____FFF__T DNC DNC DNC DNC DNC DNC
S10J60 DNC DNC __FT_F_F__ DNC DNC DNC DNC DNC DNC
S10J80 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 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 ProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Solitaire (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
EngCT7x7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
EngNC7x7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
FrnCT7x7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
FrnNC7x7 DNC DNC DNC DNC DNC DNC DNC DNC DNC
SqrCT5x5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
SqrNC5x5 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for UtahNoC (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for CSRepetitions (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC F_T_F_F___ DNC DNC DNC DNC DNC DNC
03 DNC DNC __________ DNC DNC DNC DNC DNC DNC
04 DNC DNC ___T_F__F_ DNC DNC DNC DNC DNC DNC
05 DNC DNC F____TT_F_ DNC DNC DNC DNC DNC DNC
07 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
10 DNC DNC DNF 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 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 Dekker (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
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
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
Results for DotAndBoxes (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
3 DNC DNC ______F__T DNC DNC DNC DNC DNC DNC
4 DNC DNC F______T__ DNC DNC DNC DNC DNC DNC
5 DNC DNC ______T_T_ 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 ______F___ DNC DNC DNC DNC DNC DNC
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
16 DNC DNC __________ DNC DNC DNC DNC DNC DNC
24 DNC DNC __________ DNC DNC DNC DNC DNC DNC
48 DNC DNC __________ DNC DNC DNC DNC DNC DNC
76 DNC DNC __________ DNC DNC DNC DNC DNC DNC
98 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 DNC DNC 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 DNC DNC DNC DNC DNC DNC DNC DNC
d02r11 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d02r15 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d02r19 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d03r03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d03r05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d03r07 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d04r03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d05r03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Eratosthenes (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 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 FMS (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 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 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
05 DNC DNC __________ DNC DNC DNC DNC DNC DNC
06 DNC DNC __________ DNC DNC DNC DNC DNC DNC
07 DNC DNC __________ DNC DNC DNC DNC DNC DNC
09 DNC DNC __________ DNC DNC DNC DNC DNC DNC
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
11 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 DNC DNC 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 DNC DNC DNC DNC DNC DNC DNC DNC
005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 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 IBMB2S565S3960 (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 DNC
Results for Kanban (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
1000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for LamportFastMutEx (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC ______F_FF DNC DNC DNC DNC DNC DNC
3 DNC DNC _____F_F_F DNC DNC DNC DNC DNC DNC
4 DNC DNC F__F___TF_ DNC DNC DNC DNC DNC DNC
5 DNC DNC F_____FF__ DNC DNC DNC DNC DNC DNC
6 DNC DNC __________ DNC DNC DNC DNC DNC DNC
7 DNC DNC T______TTT DNC DNC DNC DNC DNC DNC
8 DNC DNC _____T__T_ 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 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 MAPK (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
040 DNC DNC DNC DNC DNC DNC DNC DNC DNC
080 DNC DNC DNC DNC DNC DNC DNC DNC DNC
160 DNC DNC DNC DNC DNC DNC DNC DNC DNC
320 DNC DNC DNC 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 TTT__T____ DNC DNC DNC DNC DNC DNC
3 DNC DNC ___T___T__ DNC DNC DNC DNC DNC DNC
4 DNC DNC _F_F______ DNC DNC DNC DNC DNC DNC
5 DNC DNC _________T DNC DNC DNC DNC DNC DNC
6 DNC DNC _T__T_____ DNC DNC DNC DNC DNC DNC
7 DNC DNC ______FF__ DNC DNC DNC DNC DNC DNC
8 DNC DNC ______T___ 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 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 PermAdmissibility (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC DNC F_______T_ DNC DNC DNC DNC DNC DNC
02 DNC DNC _FT_____F_ DNC DNC DNC DNC DNC DNC
05 DNC DNC _F________ DNC DNC DNC DNC DNC DNC
10 DNC DNC ___F___TT_ DNC DNC DNC DNC DNC DNC
20 DNC DNC _____T_F__ DNC DNC DNC DNC DNC DNC
50 DNC DNC ____F____T 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 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 Peterson (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC _____F____ DNC DNC DNC DNC DNC DNC
3 DNC DNC _T______F_ DNC DNC DNC DNC DNC DNC
4 DNC DNC ____F____F DNC DNC DNC DNC DNC DNC
5 DNC DNC __F_______ DNC DNC DNC DNC DNC DNC
6 DNC DNC DNF DNC DNC DNC DNC DNC DNC
7 DNC DNC T_________ 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 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 Philosophers (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC _F_______F DNC DNC DNC DNC DNC DNC
000010 DNC DNC F_F__F__F_ DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000050 DNC DNC __________ DNC DNC DNC DNC DNC DNC
000100 DNC DNC __________ DNC DNC DNC DNC DNC DNC
000200 DNC DNC __FF_____F DNC DNC DNC DNC DNC DNC
000500 DNC DNC __________ DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
010000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for Philosophers (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 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
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
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
20 DNC DNC __________ DNC DNC DNC DNC DNC DNC
50 DNC DNC __________ DNC DNC DNC DNC DNC DNC
80 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 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
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 DNC
Results for QuasiCertifProtocol (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC F_FF______ DNC DNC DNC DNC DNC DNC
06 DNC DNC __F_______ DNC DNC DNC DNC DNC DNC
10 DNC DNC _____F____ DNC DNC DNC DNC DNC DNC
18 DNC DNC DNF DNC DNC DNC DNC DNC DNC
22 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
28 DNC DNC ______F__T DNC DNC DNC DNC DNC DNC
32 DNC DNC _F________ 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 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 Railroad (P/T, 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
020 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
Results for ResAllocation (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
R002C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C003 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C015 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R005C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R010C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R015C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R020C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R050C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R100C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Ring (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 DNC
Results for RwMutex (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w1000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w2000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0020w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0100w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0500w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r1000w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r2000w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for SharedMemory (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC F_FFTF____ DNC DNC DNC DNC DNC DNC
000010 DNC DNC ________F_ DNC DNC DNC DNC DNC DNC
000020 DNC DNC T_________ DNC DNC DNC DNC DNC DNC
000050 DNC DNC ______T___ DNC DNC DNC DNC DNC DNC
000100 DNC DNC _T___T____ DNC DNC DNC DNC DNC DNC
000200 DNC DNC ____FF____ DNC DNC DNC DNC DNC DNC
000500 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
020000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 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 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
Results for SimpleLoadBal (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC _T_T______ DNC DNC DNC DNC DNC DNC
05 DNC DNC ____F_F___ DNC DNC DNC DNC DNC DNC
10 DNC DNC F_________ DNC DNC DNC DNC DNC DNC
15 DNC DNC F____FF_TF DNC DNC DNC DNC DNC DNC
20 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 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 TokenRing (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC _F_TT_____ DNC DNC DNC DNC DNC DNC
010 DNC DNC ___FTF____ DNC DNC DNC DNC DNC DNC
015 DNC DNC ____T_____ DNC DNC DNC DNC DNC DNC
020 DNC DNC DNF DNC DNC DNC DNC DNC DNC
030 DNC DNC DNF DNC DNC DNC DNC DNC DNC
040 DNC DNC F_F____F_T DNC DNC DNC DNC DNC DNC
050 DNC DNC FFT_______ DNC DNC DNC DNC DNC DNC
100 DNC DNC ___T_T__T_ DNC DNC DNC DNC DNC DNC
200 DNC DNC T_________ DNC DNC DNC DNC DNC DNC
500 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 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
Results for Vasy2003 (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 DNC
Results for CSRepetitions (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC F_T_F_F___ DNC DNC DNC DNC DNC DNC
03 DNC DNC __________ DNC DNC DNC DNC DNC DNC
04 DNC DNC ___T_F__F_ DNC DNC DNC DNC DNC DNC
05 DNC DNC F____TT_F_ DNC DNC DNC DNC DNC DNC
07 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
10 DNC DNC DNF 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 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 Dekker (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
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
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
Results for DotAndBoxes (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
3 DNC DNC ______F__T DNC DNC DNC DNC DNC DNC
4 DNC DNC F______T__ DNC DNC DNC DNC DNC DNC
5 DNC DNC ______T_T_ 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 ______F___ DNC DNC DNC DNC DNC DNC
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
16 DNC DNC __________ DNC DNC DNC DNC DNC DNC
24 DNC DNC __________ DNC DNC DNC DNC DNC DNC
48 DNC DNC __________ DNC DNC DNC DNC DNC DNC
76 DNC DNC __________ DNC DNC DNC DNC DNC DNC
98 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 DNC DNC 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 DNC DNC DNC DNC DNC DNC DNC DNC
d02r11 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d02r15 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d02r19 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d03r03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d03r05 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d03r07 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d04r03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
d05r03 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 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 FMS (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 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 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
05 DNC DNC __________ DNC DNC DNC DNC DNC DNC
06 DNC DNC __________ DNC DNC DNC DNC DNC DNC
07 DNC DNC __________ DNC DNC DNC DNC DNC DNC
09 DNC DNC __________ DNC DNC DNC DNC DNC DNC
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
11 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 DNC DNC 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 DNC DNC DNC DNC DNC DNC DNC DNC
005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 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 IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Kanban (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0200 DNC DNC DNC DNC DNC DNC DNC DNC DNC
0500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
1000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for LamportFastMutEx (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC ______F_FF DNC DNC DNC DNC DNC DNC
3 DNC DNC _____F_F_F DNC DNC DNC DNC DNC DNC
4 DNC DNC F__F___TF_ DNC DNC DNC DNC DNC DNC
5 DNC DNC F_____FF__ DNC DNC DNC DNC DNC DNC
6 DNC DNC __________ DNC DNC DNC DNC DNC DNC
7 DNC DNC T______TTT DNC DNC DNC DNC DNC DNC
8 DNC DNC _____T__T_ 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 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 MAPK (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC DNC DNC DNC DNC DNC DNC DNC DNC
020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
040 DNC DNC DNC DNC DNC DNC DNC DNC DNC
080 DNC DNC DNC DNC DNC DNC DNC DNC DNC
160 DNC DNC DNC DNC DNC DNC DNC DNC DNC
320 DNC DNC DNC 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 TTT__T____ DNC DNC DNC DNC DNC DNC
3 DNC DNC ___T___T__ DNC DNC DNC DNC DNC DNC
4 DNC DNC _F_F______ DNC DNC DNC DNC DNC DNC
5 DNC DNC _________T DNC DNC DNC DNC DNC DNC
6 DNC DNC _T__T_____ DNC DNC DNC DNC DNC DNC
7 DNC DNC ______FF__ DNC DNC DNC DNC DNC DNC
8 DNC DNC ______T___ 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 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 PermAdmissibility (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC DNC F_______T_ DNC DNC DNC DNC DNC DNC
02 DNC DNC _FT_____F_ DNC DNC DNC DNC DNC DNC
05 DNC DNC _F________ DNC DNC DNC DNC DNC DNC
10 DNC DNC ___F___TT_ DNC DNC DNC DNC DNC DNC
20 DNC DNC _____T_F__ DNC DNC DNC DNC DNC DNC
50 DNC DNC ____F____T 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 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 Peterson (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC _____F____ DNC DNC DNC DNC DNC DNC
3 DNC DNC _T______F_ DNC DNC DNC DNC DNC DNC
4 DNC DNC ____F____F DNC DNC DNC DNC DNC DNC
5 DNC DNC __F_______ DNC DNC DNC DNC DNC DNC
6 DNC DNC DNF DNC DNC DNC DNC DNC DNC
7 DNC DNC T_________ 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 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 Philosophers (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC _F_______F DNC DNC DNC DNC DNC DNC
000010 DNC DNC F_F__F__F_ DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000050 DNC DNC __________ DNC DNC DNC DNC DNC DNC
000100 DNC DNC __________ DNC DNC DNC DNC DNC DNC
000200 DNC DNC __FF_____F DNC DNC DNC DNC DNC DNC
000500 DNC DNC __________ DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
010000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for Philosophers (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC 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
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
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
20 DNC DNC __________ DNC DNC DNC DNC DNC DNC
50 DNC DNC __________ DNC DNC DNC DNC DNC DNC
80 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 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
Results for Planning (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC 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 F_FF______ DNC DNC DNC DNC DNC DNC
06 DNC DNC __F_______ DNC DNC DNC DNC DNC DNC
10 DNC DNC _____F____ DNC DNC DNC DNC DNC DNC
18 DNC DNC DNF DNC DNC DNC DNC DNC DNC
22 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
28 DNC DNC ______F__T DNC DNC DNC DNC DNC DNC
32 DNC DNC _F________ 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 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 Railroad (P/T, 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
020 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
Results for ResAllocation (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
R002C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C003 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C005 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C015 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R003C100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R005C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R010C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R015C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R020C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R050C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
R100C002 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for Ring (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for RwMutex (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0020 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0050 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0100 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w0500 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w1000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0010w2000 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0020w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0100w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r0500w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r1000w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
r2000w0010 DNC DNC DNC DNC DNC DNC DNC DNC DNC
Results for SharedMemory (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC F_FFTF____ DNC DNC DNC DNC DNC DNC
000010 DNC DNC ________F_ DNC DNC DNC DNC DNC DNC
000020 DNC DNC T_________ DNC DNC DNC DNC DNC DNC
000050 DNC DNC ______T___ DNC DNC DNC DNC DNC DNC
000100 DNC DNC _T___T____ DNC DNC DNC DNC DNC DNC
000200 DNC DNC ____FF____ DNC DNC DNC DNC DNC DNC
000500 DNC DNC ______F___ DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
020000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 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 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
Results for SimpleLoadBal (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC _T_T______ DNC DNC DNC DNC DNC DNC
05 DNC DNC ____F_F___ DNC DNC DNC DNC DNC DNC
10 DNC DNC F_________ DNC DNC DNC DNC DNC DNC
15 DNC DNC F____FF_TF DNC DNC DNC DNC DNC DNC
20 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 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 TokenRing (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC _F_TT_____ DNC DNC DNC DNC DNC DNC
010 DNC DNC ___FTF____ DNC DNC DNC DNC DNC DNC
015 DNC DNC ____T_____ DNC DNC DNC DNC DNC DNC
020 DNC DNC DNF DNC DNC DNC DNC DNC DNC
030 DNC DNC DNF DNC DNC DNC DNC DNC DNC
040 DNC DNC F_F____F_T DNC DNC DNC DNC DNC DNC
050 DNC DNC FFT_______ DNC DNC DNC DNC DNC DNC
100 DNC DNC ___T_T__T_ DNC DNC DNC DNC DNC DNC
200 DNC DNC T_________ DNC DNC DNC DNC DNC DNC
500 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 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
Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC DNC DNC DNC DNC DNC DNC