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