fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Results for the ReachabilityFireability 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 reachabilityfireability
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 DNF
Results for Angiogenesis (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 FFFTFFTFFF CC DNC FFFTFFTFFF DNC DNC DNC DNC FFFTFFTFFF
05 DNC CC DNC TTTFFFTTTF DNC DNC DNC DNC TTTFFFTTTF
10 DNC CC DNC FFFFFFFFFT DNC DNC DNC DNC FFFFFFFFFT
15 DNC CC DNC FFFFFTTFTT DNC DNC DNC DNC FFFFFTTFTT
20 DNC CC DNC FTTTTFFTTF DNC DNC DNC DNC FTTTTFFT_F
25 DNC CC DNC TTFFFTFTFF DNC DNC DNC DNC TTFFFTFTFF
50 DNC CC DNC FFTTTFFTTF DNC DNC DNC DNC FF_TTFF__F
Results for CircadianClock (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 FFTFFFFFTT CC DNC FFTFFFFFTT DNC DNC DNC DNC FFTFFFFFTT
000010 DNC CC DNC FTFFFTFTFT DNC DNC DNC DNC FTFFFTFTFT
000100 DNC CC DNC FFFFTTTFFT DNC DNC DNC DNC FFFFTTTFFT
001000 DNC CC DNC FTTTFFFTFF DNC DNC DNC DNC FTTTFFFTFF
010000 DNC CC DNC FTFFFFTFFF DNC DNC DNC DNC FTFFFFTFFF
100000 DNC CC DNC FTFFTTFTFF DNC DNC DNC DNC FTFFTTFTFF
Results for CircularTrains (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
012 DNC CC DNC FFFTFFFFTF DNC DNC DNC DNC FFFTFFFFTF
024 DNC CC DNC TFTFTTFFTF DNC DNC DNC DNC TFTFTTFFTF
048 DNC CC DNC FTFFFFFTFF DNC DNC DNC DNC FTFFFFFTFF
096 DNC CC DNC FFFFTFFFFF DNC DNC DNC DNC FFFFTFFFFF
192 DNC DNF DNC TFTTFFFFFT DNC DNC DNC DNC TFTTFFFFFT
384 DNC DNF DNC FFTFTFFFTT DNC DNC DNC DNC FFTFTFFFTT
768 DNC DNF DNC FTFTFFFFFF DNC DNC DNC DNC FTFTFFFFFF
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 TFFFFTTFTF CC DNC TFFFFTTFTF DNC DNC DNC DNC TFFFFTTFTF
04 TFFFTFFFTT DNF DNC TFFFTFFFTT DNC DNC DNC DNC TFFFTFF_TT
10 CC CC DNC FTTFFFFFTF DNC DNC DNC DNC FTTFFFF_TF
20 CC CC DNC FFFTTFFFTT DNC DNC DNC DNC FF_TTFFFTT
40 CC DNF DNC FTTTF_FFFF DNC DNC DNC 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 FFFFFFTTFF DNC DNC DNC DNC FFFFFFTTFF
D05N050 DNC CC DNC FTFFFFTTFF DNC DNC DNC DNC FTFFFFTTFF
D05N100 DNC CC DNC FTFFFTFFTF DNC DNC DNC DNC FTFFFTFFTF
D05N150 DNC CC DNC FFFFTTTTFF DNC DNC DNC DNC FFFFTTTTFF
D05N200 DNC CC DNC FFTFFFFFFT DNC DNC DNC DNC FFTFFFFFFT
D05N250 DNC CC DNC FFTFFFFFFF DNC DNC DNC DNC FFTFFFFFFF
D05N300 DNC CC DNC FFTTTFFTFT DNC DNC DNC DNC FFTTTFFTFT
D05N350 DNC CC DNC FFTFFFFFFF DNC DNC DNC DNC FFTFFFFFFF
D10N010 DNC CC DNC TFFTFFFFFF DNC DNC DNC DNC TFFTFFFFFF
D10N050 DNC CC DNC FTFFFFFFFF DNC DNC DNC DNC FTFFFFFFFF
D10N100 DNC CC DNC FFTFFTFFTT DNC DNC DNC DNC FFTFFTFFTT
D10N150 DNC CC DNC TFTFFFFTTF DNC DNC DNC DNC TFTFFF__TF
D10N200 DNC CC DNC FFFFTTFFFT DNC DNC DNC DNC F_FFTT_FFT
D20N010 DNC CC DNC FFTTFTFTTF DNC DNC DNC DNC _FT_F____F
D20N050 DNC CC DNC FFTTFTFFFF DNC DNC DNC DNC DNF
D20N100 DNC CC DNC TTFTFFFTFF DNC DNC DNC DNC __F_FF__FF
D20N150 DNC CC DNC FFFFTTTTFF DNC DNC DNC DNC FFFF__TTFF
D30N010 DNC CC DNC FFFFFFFFFF DNC DNC DNC DNC F_F__F_FFF
D30N050 DNC CC DNC FFFTTFFFFF DNC DNC DNC DNC F_F___FF_F
D30N100 DNC CC DNC TFFFFTFFFT DNC DNC DNC DNC __FF__FFF_
D30N150 DNC CC DNC TFFFFTFTTT DNC DNC DNC DNC DNF
D40N010 DNC CC DNC FFTTFFFTFF DNC DNC DNC DNC DNF
D40N050 DNC CC DNC FFFFFTFFFF DNC DNC DNC DNC DNF
D40N100 DNC CC DNC FTTTFTTFFF DNC DNC DNC DNC DNF
D40N150 DNC CC DNC FFTFFFFTFT DNC DNC DNC DNC DNF
D50N010 DNC CC DNC FFTFFTTFTT DNC DNC DNC DNC DNF
D50N050 DNC CC DNC TFFFFTTTFT DNC DNC DNC DNC DNF
D50N100 DNC CC DNC TTFFTFTFFT DNC DNC DNC DNC DNF
D50N150 DNC CC DNC FFFTFFFTFT 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 FFFFFFFFTT CC DNC FFFFFFFFTT DNC DNC DNC DNC FFFFFFFFTT
000010 DNC CC DNC FFFTFFFTTT DNC DNC DNC DNC FFFTFFFTTT
000100 DNC CC DNC TFFFFFFTFT DNC DNC DNC DNC TFFFFFFTFT
001000 DNC CC DNC FFFFTFFFTT DNC DNC DNC DNC FFFFTFFFTT
010000 DNC CC DNC TFFTTFFFTF DNC DNC DNC DNC TFFTTFFFTF
100000 DNC CC DNC TFFTFTTTFT DNC DNC DNC DNC TFFTFTTTFT
Results for EnergyBus (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC T__TF_F_T_ 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 FTFFFFFFTF DNC DNC DNC DNC FTFFFFFFTF
Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0 TFFFFFTFFF CC DNC TFFFFFTFFF DNC DNC DNC DNC TFFFFFTFFF
1 TFFFFTFFFF CC DNC TFFFFTFFFF DNC DNC DNC DNC TFFFFTFFFF
2 FFFFFFTFFF CC DNC FFFFFFTFFF DNC DNC DNC DNC FFFFFFTFFF
3 TFFTFTFTFF CC DNC TFFTFTFTFF DNC DNC DNC DNC TFFTFTFTFF
4 FFFFFFTTTT CC DNC FFFFFFTTTT DNC DNC DNC DNC FFFFFFTTTT
5 FTFFFFFFFT CC DNC FTFFFFFFFT DNC DNC DNC DNC FTFFFFFFFT
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 _FFFFFFFFF DNC DNC DNC DNC _FF_FFFF_F
S02J04T08 DNC CC DNC FTFFFTFFTF DNC DNC DNC DNC FTFFFT_FTF
S02J04T10 DNC CC DNC TTTFTFTFTT DNC DNC DNC DNC TTTFTFTFTT
S02J06T06 DNC CC DNC FFTFFTTFTF DNC DNC DNC DNC FFTF_TTFT_
S02J06T08 DNC CC DNC FTFFFFFFTT DNC DNC DNC DNC FTFFFFFFTT
S02J06T10 DNC CC DNC FTTFFFFFFF DNC DNC DNC DNC FTTF__FFFF
S04J04T06 DNC CC DNC FFFFTTFFFF DNC DNC DNC DNC FFFFTTFF_F
S04J04T08 DNC CC DNC FFFTTTFTFF DNC DNC DNC DNC FFFTTTFTFF
S04J04T10 DNC CC DNC TFTFFFTFTT DNC DNC DNC DNC TFTFFFTFTT
S04J06T06 DNC CC DNC TFFTFFFTFF DNC DNC DNC DNC TFFTF___FF
S04J06T08 DNC CC DNC FFFTFFTFTF DNC DNC DNC DNC FFFTFFTFTF
S04J06T10 DNC CC DNC FFFFTFFFTT DNC DNC DNC DNC _FFFT_FFTT
S06J04T04 DNC CC DNC FFFFFTTFFF DNC DNC DNC DNC FFFFFTT_FF
S06J04T06 DNC CC DNC TTFFTFTFFT DNC DNC DNC DNC DNF
S06J04T08 DNC CC DNC TTTFTTFTTF DNC DNC DNC DNC DNF
S06J06T04 DNC CC DNC FTTFTFFTFF DNC DNC DNC DNC _TTFTFFTFF
S06J06T06 DNC CC DNC FTFFFTFFTF DNC DNC DNC DNC DNF
S06J06T08 DNC CC DNC FFFTTFTFFT DNC DNC DNC DNC DNF
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 FTTFFT_F_F DNC DNC DNC DNC ___FFTF___
S05J30 DNC CC DNC FFFFFFFFFT DNC DNC DNC DNC FFFFFFF_F_
S05J40 DNC CC DNC TFFFFF_FTF DNC DNC DNC DNC __FF__TFTF
S05J60 DNC CC DNC _TT_FFTF_F DNC DNC DNC DNC F_T___T_T_
S05J80 DNC CC DNC FTFF_F_TTF DNC DNC DNC DNC _T_F__FT__
S10J20 DNC CC DNC F_F_FFFTTT DNC DNC DNC DNC DNF
S10J30 DNC CC DNC FTF_FFF_TT DNC DNC DNC DNC DNF
S10J40 DNC CC DNC F__FT_FTTT DNC DNC DNC DNC DNF
S10J60 DNC CC DNC F_TFFFF__T DNC DNC DNC DNC DNF
S10J80 DNC CC DNC FFFFFFTFFF 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 FTTTFTFFTT DNC DNC DNC DNC F__TFTFFTT
Results for Solitaire (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
EngCT7x7 DNC CC DNC FFFFTFFFFF DNC DNC DNC DNC FFFFTFFFFF
EngNC7x7 CC CC DNC FFFFFFFFTF DNC DNC DNC DNC FFFFFFFFTF
FrnCT7x7 DNC CC DNC TFFTFFFFTT DNC DNC DNC DNC TFFTFFFFTT
FrnNC7x7 CC CC DNC FFFFFFFFFT DNC DNC DNC DNC FFFFFFFFFT
SqrCT5x5 DNC CC DNC FFFFTTTFFT DNC DNC DNC DNC FFFFTTTFFT
SqrNC5x5 CC CC DNC FFFFFTFTFT DNC DNC DNC DNC FFFFFTFTFT
Results for UtahNoC (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC FTFTFFTFFF DNC DNC DNC DNC FTFTFF_FFF
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 TTFFFFFFFF DNC TTFFFFFFFF DNC DNC DNC DNC TTFFFFFFFF
03 DNC FFTTTFFTFT DNC FFTTTFFTFT DNC DNC DNC DNC FFTTTFFTFT
04 DNC MOVF DNC FFFTFTTFFF DNC DNC DNC DNC FFFTFTTFFF
05 DNC MOVF DNC FFFTFFFTFF DNC DNC DNC DNC FF_T__FT_F
07 DNC MOVF DNC FFTFFTFFTF DNC DNC DNC DNC F_TFFTFFT_
10 DNC CC DNC FTTTFFTTTT DNC DNC DNC DNC FTTTFFTTTT
Results for Dekker (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 TTTFFTFTFF TTFFFFFTFF DNC TTTFFTFTFF DNC DNC DNC DNC TTTFFTFTFF
015 FTTFFFTFFF FTTFFFTFFF DNC FTTFFFTFFF DNC DNC DNC DNC FTTFFFTFFF
020 FTTFFFFFTT FTTFFFFFTF DNC FTTFFFFFTT DNC DNC DNC DNC FTTFFFFFTT
050 DNF DNF DNC FTTTTTTFFT DNC DNC DNC DNC FTTTTTTFFT
100 CC MOVF DNC FTFTTFTFTT DNC DNC DNC DNC FTFTTFTFTT
200 CC MOVF 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 TFFFTFFFFT TTFFTFTFFT DNC TTFFTFFFFT DNC DNC DNC DNC TT_FTFFFFT
Results for Echo (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 CC MOVF DNC TFFFFTFTTT DNC DNC DNC DNC TFFFFTF_TT
d02r11 CC MOVF DNC FTFFFFFTFF DNC DNC DNC DNC FTFFFFFTFF
d02r15 CC MOVF DNC FFFTTFTFFF DNC DNC DNC DNC FFFTTFTFFF
d02r19 CC MOVF DNC FFFFTFFFFF DNC DNC DNC DNC FFFFTFFFFF
d03r03 CC MOVF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
d03r05 CC MOVF DNC TFFTFFTFTF DNC DNC DNC DNC TFFTFFTFTF
d03r07 CC MOVF DNC TFFTFFFFFF DNC DNC DNC DNC TFFTFFFFFF
d04r03 CC MOVF DNC TFTFTTFTTF DNC DNC DNC DNC TFTFTTFTTF
d05r03 CC MOVF DNC FFFFFFFTFT DNC DNC DNC DNC FFFFFFFTFT
Results for Eratosthenes (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 FTFFTTTTFT FFFFFFFFTF DNC FFFFTTTTFT DNC DNC DNC DNC FFFFTTTTFT
020 TFFFFFFFTT FTTFTTTFFF DNC TFFFFFFFFT DNC DNC DNC DNC TFFFFFFFFT
050 TFFTFTTFTT TTTFFFTTTF DNC TFFTFFFFTF DNC DNC DNC DNC TFFTFFFFTF
100 FFTTFFTFFF TTFFFFFTTT DNC FFTTFFFFFF DNC DNC DNC DNC FFTTFFFFFF
200 FTFTFFTTTF FFTFTFFFFT DNC FFFTFFTFTF DNC DNC DNC DNC FFFTFFTFTF
500 CC CC DNC FFFFFTFTFF DNC DNC DNC DNC FFFFFTFTFF
Results for FMS (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC FFFTFFFTFT DNC FFFTFFFTFT DNC DNC DNC DNC FFFTFFFTFT
005 DNC FFTFFFFFFT DNC FFTFFFFFFT DNC DNC DNC DNC FFTFFFFFFT
010 DNC FTFFTFFTFF DNC FTFFTFFTFF DNC DNC DNC DNC FTFFTFFTFF
020 DNC TTFFFTTFTF DNC TTFFFTTFTF DNC DNC DNC DNC TTFFFTTFTF
050 DNC TFFFTFFFTF DNC TFFFTFFFTF DNC DNC DNC DNC TFFFTFFFTF
100 DNC TFFFFTTFFT DNC TFFFFTTFFT DNC DNC DNC DNC TFFFFTTFFT
200 DNC TFFFTFTTTF DNC TFFFTFTTTF DNC DNC DNC DNC TFFFTFTTTF
500 DNC FFTFTFTFFT DNC FFTFTFTFFT DNC DNC DNC DNC FFTFTFTFFT
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 FFFFFFFFFF DNC FFFFFFFFFF DNC DNC DNC DNC F_FFFFFF_F
Results for HouseConstruction (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC FTFFFTFTFF DNC FTFFFTFTFF DNC DNC DNC DNC FTFFFTFTFF
005 DNC TFFFFTFFFF DNC TFFFFTFFFF DNC DNC DNC DNC TFFFFTFFFF
010 DNC FFFFFTFFTF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
020 DNC FTFFTTFFFF DNC FTFFTTFFFF DNC DNC DNC DNC FTFFTTFFFF
050 DNC FFFFFTTFTT DNC FFFFFTTFTT DNC DNC DNC DNC FFFFFTTFTT
100 DNC MOVF DNC FFFFTTFFTT DNC DNC DNC DNC FFFFTTFFTT
200 DNC MOVF DNC FTTFTFFFTT DNC DNC DNC DNC FTTFTFFFTT
500 DNC DNF DNC FFFTFFTFFT DNC DNC DNC DNC FFFTFFTFFT
Results for IBMB2S565S3960 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FTTTFFTTFF DNC DNC DNC DNC FTTTFFTTFF
Results for Kanban (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC FFFFTFTFTT DNC FFFFTFTFTT DNC DNC DNC DNC FFFFTFTFTT
0010 DNC FTFTTTFTFT DNC FTFTTTFTFT DNC DNC DNC DNC FTFTTTFTFT
0020 DNC FFFTFFFTTF DNC FFFTFFFTTF DNC DNC DNC DNC FFFTFFFTTF
0050 DNC TFFFTFFFFF DNC TFFFTFFFFF DNC DNC DNC DNC TFFFTFFFFF
0100 DNC TFFFFFFFFT DNC TFFFFFFFFT DNC DNC DNC DNC TFFFFFFFFT
0200 DNC FTFTTTFFTF DNC FTFTTTFFTF DNC DNC DNC DNC FTFTTTFFTF
0500 DNC DNF DNC TTFFTFFFFF DNC DNC DNC DNC TTFFTFFFFF
1000 DNC DNF DNC TFTFFFTTFF DNC DNC DNC DNC TFTFFFTTFF
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 FTFFFTFFFF FTFFFTFTTF DNC FTFFFTFFFF DNC DNC DNC DNC FTFFFTFFFF
3 FFTFFFFFTF FFTFFFFFTF DNC FFTFFFFFTF DNC DNC DNC DNC FFTFFFFFTF
4 TFFFTTFFFT TFFFTTFFFT DNC TFFFTTFFFT DNC DNC DNC DNC TFFFTTFF_T
5 DNF DNF DNC FFFFFTFTFF DNC DNC DNC DNC FFFFFTFTFF
6 DNF DNF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFT_FTF
7 DNF DNF DNC TFFTFFTTFF DNC DNC DNC DNC T_FT_FTTF_
8 DNF DNF DNC TTFFTFTFFF DNC DNC DNC DNC T___TFTFFF
Results for MAPK (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC FTFTTTTFTF DNC FTFTTTTFTF DNC DNC DNC DNC FTFTTTTFTF
020 DNC DNF DNC FTTFFTFTFT DNC DNC DNC DNC FTTFFTFTFT
040 DNC DNF DNC FFTTFTFFFT DNC DNC DNC DNC FFTTFTFFFT
080 DNC DNF DNC FFFFFFTTFF DNC DNC DNC DNC FFFFFFTTFF
160 DNC DNF DNC FFFTTFFTFT DNC DNC DNC DNC FFFTTFFTFT
320 DNC DNF DNC TFFFTFFFFT DNC DNC DNC DNC TFFFTFFFFT
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 FTFFFFTTFT FFFFFFTTFT DNC FTFFFFTTFT DNC DNC DNC DNC FTFF__TTFT
3 FTFFFFFFFF TFFFFFFFFF DNC FTFFF_FFFF DNC DNC DNC DNC FTFFFFF_F_
4 DNF MOVF DNC F_FT_____F DNC DNC DNC DNC _FFTFTFFTF
5 CC MOVF DNC __________ DNC DNC DNC DNC FFF_TT_FT_
6 CC MOVF DNC FT____F_F_ DNC DNC DNC DNC DNF
7 CC DNF DNC __________ DNC DNC DNC DNC DNF
8 CC DNF DNC __________ DNC DNC DNC DNC DNF
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 TTFTTTTFFT TTTTTFTFFT DNC TTFTTTTFFT DNC DNC DNC DNC TTFTTTT__T
02 DNC DNF DNC FTFTFTFTFF DNC DNC DNC DNC _TFT_TFTF_
05 DNC DNF DNC TFFFFFTFTF DNC DNC DNC DNC T___FFTFTF
10 DNC DNF DNC TFFFFFFFFT DNC DNC DNC DNC T__FF_F__T
20 DNC DNF DNC TFTTFTFFTT DNC DNC DNC DNC TFTTFTFFTT
50 DNC DNF DNC TFFFFTFFFF DNC DNC DNC DNC TF_FFTFFFF
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 FFFFTFTTFT FFFFTFTTFT DNC FFFFTFTTFT DNC DNC DNC DNC FFFFTFTTFT
3 FFFTTFFTFF FFFTTTFTFF DNC FFFTTFFTFF DNC DNC DNC DNC FFFTTFFTFF
4 DNF CC DNC TTTFFTFFFF DNC DNC DNC DNC TTT_FTFFFF
5 DNF CC DNC FFFFFFFFTF DNC DNC DNC DNC _FFFFFFFTF
6 DNF CC DNC TTFTFFFFFF DNC DNC DNC DNC TTFT_FF_FF
7 DNF CC DNC FFFTTFFFFT DNC DNC DNC DNC FFFTTFFF_T
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 TFFFFFFFFT TFFFFFFFFT DNC TFFFFFFFFT DNC DNC DNC DNC TFFFFFFFFT
000010 TTFTTFTFFT TTFTTFTFFT DNC TTFTTFTFFT DNC DNC DNC DNC TTFTTFTFFT
000020 TFTFTFFFFF TFTFTFFFFF DNC TFTFTFFFFF DNC DNC DNC DNC T_T_TFF_FF
000050 FFFTFFFFFT MOVF DNC FFFTFFFFFT DNC DNC DNC DNC FF_TF_F__T
000100 FTTFFFFFFF MOVF DNC FTTFFFFFFF DNC DNC DNC DNC _TTFF_FF_F
000200 TFTTFTFTTF MOVF DNC TFTTFTFTTF DNC DNC DNC DNC T_TT_T_TTF
000500 FTTTFFFFFF T_________ DNC FTTTFFFFFF DNC DNC DNC DNC FTTT__F_FF
001000 FFTTFFFFFF MOVF DNC FFTTFFFFFF DNC DNC DNC DNC DNF
002000 FFFFFFTFFF DNF DNC FFFFFFTFFF DNC DNC DNC 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 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 FFTFTFFFFF DNC TTTFTTFFFF DNC DNC DNC DNC TTTFTTFFFF
10 DNF FFFFTFTFFF DNC FFFFTFFFTF DNC DNC DNC DNC F_FFTFFFTF
20 DNF CC DNC TTFFFFF_FF DNC DNC DNC DNC DNF
Results for Planning (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNC DNC TTFTFFFFTF DNC DNC DNC DNC TTFTFFFFTF
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 FFTFFTFTTF FFTTFTFTTF DNC FFTFFTFTTF DNC DNC DNC DNC FFTFFTFTTF
06 DNC FTTTFFFTTF DNC TFTTFFFTFT DNC DNC DNC DNC TFTTFFFTFT
10 DNC MOVF DNC TFTFFTTTTF DNC DNC DNC DNC TFTFFTTTTF
18 DNC MOVF DNC FFTFTFFFFF DNC DNC DNC DNC _FT__F__F_
22 DNC MOVF DNC TFFFFTTFFT DNC DNC DNC DNC T_______FT
28 DNC MOVF DNC FTTTFFFFFT DNC DNC DNC DNC DNF
32 DNC MOVF DNC TFTFTFTFFT DNC DNC DNC DNC _FTF____FT
Results for Railroad (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 TTFFTFFFTF TFTFFFTFFF DNC TTFFTFFFTF DNC DNC DNC DNC TTFFTFFFTF
010 DNF MOVF DNC TFFFFTFFFF DNC DNC DNC DNC TFFFFTFFFF
020 DNF MOVF DNC TFFFFFFTFF DNC DNC DNC DNC TFFFFFFTF_
050 CC MOVF DNC TFTFTTTFTT DNC DNC DNC DNC DNF
100 DNF MOVF DNC TFFFFTFFTF 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 FTTFFTTFFF FTTFFTFTFF DNC FTTFFTTFFF DNC DNC DNC DNC FTTFFTTFFF
R003C002 FTTTFFFFFT FTTTTTFFFT DNC FTTTFFFFFT DNC DNC DNC DNC FTTTFFFFFT
R003C003 FTFFFTFTFF FTFFFFTTTT DNC FTFFFTFTFF DNC DNC DNC DNC FTFFFTFTFF
R003C005 TTFFFFFFFF TTFFFFFFFF DNC TTFFFFFFFF DNC DNC DNC DNC TTFFFFFFFF
R003C010 TFFFFTFTTF FFFFTTFTTF DNC TFFFFTFTTF DNC DNC DNC DNC TFFFFTFTTF
R003C015 TTTFFFTTFF TTTFFFTTFF DNC TTTFFFTTFF DNC DNC DNC DNC TTTFFFTTFF
R003C020 FFFFFFTTFT MOVF DNC FFFFFFTTFT DNC DNC DNC DNC FFF_FF_TFT
R003C050 FTFTTFFFFT MOVF DNC FTFTTFFFFT DNC DNC DNC DNC F_F_TFFFFT
R003C100 FFFFFFTFFT MOVF DNC FFFFFFTFFT DNC DNC DNC DNC FFFFFFTFFT
R005C002 FFTTFFTTTT FFTTFFTTTT DNC FFTTFFTTTT DNC DNC DNC DNC FFTTFFTTTT
R010C002 FFFTTFFFTT FFFTTFTFTF DNC FFFTTFFFTT DNC DNC DNC DNC FFFTTFFFTT
R015C002 TFTFFTFTTF TFTFFTFTTF DNC TFTFFTFTTF DNC DNC DNC DNC TFTFFTFTTF
R020C002 FTFFTFTFFT FTFTTFTTFT DNC FTFFTFTFFT DNC DNC DNC DNC FTFFTFTFFT
R050C002 TTTFTFFFTF TTTFTFFFTF DNC TTTFTFFFTF DNC DNC DNC DNC TTTFTFFFTF
R100C002 TFTFTFFTFT TFTTTFFTFT DNC TFTFTFFTFT DNC DNC DNC DNC TFTFTFFTFT
Results for Ring (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none CC FFTFFFFTFF DNC FFTFFFFTFF DNC DNC DNC DNC FFTF_FFTFF
Results for RwMutex (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 FTFFFTFTTF FTFFTTFTFF DNC FTFFFTFTTF DNC DNC DNC DNC FTFFFTFTTF
r0010w0020 TFFFTTFTFF FFFFFFFFFF DNC TFFFTTFTFF DNC DNC DNC DNC TFFFTTFTFF
r0010w0050 TFFTFTTTFF TFFTFTTTFF DNC TFFTFTTTFF DNC DNC DNC DNC TFFTFTTTFF
r0010w0100 FFFFFFFFTF FFFFTTFFTT DNC FFFFFFFFTF DNC DNC DNC DNC FFFFFFFFTF
r0010w0500 TFFFFTTFFT TTFFFFFFFT DNC TFFFFTTFFT DNC DNC DNC DNC TFFFFTTFFT
r0010w1000 TTFFTFFFFF MOVF DNC TTFFTFFFFF DNC DNC DNC DNC TTFFTFFFFF
r0010w2000 FFFFFTFTFF MOVF DNC FFF______F DNC DNC DNC DNC DNF
r0020w0010 FFFFTFFFTF FFFTTFFFTF DNC FFFFTFFFTF DNC DNC DNC DNC FFFFTFFFTF
r0100w0010 TFFFTTTTTT TFFFTTTTTT DNC TFFFTTTTTT DNC DNC DNC DNC TFFFTTTTTT
r0500w0010 FFFFFFFFTF FFFFFFFFTF DNC FFFFFFFFTF DNC DNC DNC DNC FFFFFFFFTF
r1000w0010 FFTFFFFTFT FFTFFFFTFT DNC FFTFFFFTFT DNC DNC DNC DNC FFTFFFFTFT
r2000w0010 FFTFFTTFFF MOVF 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 FFFTTFFTFF FFFTTFFTFF DNC FFFTTFFTFF DNC DNC DNC DNC FFFTTFFTFF
000010 FFFFFFTFTT FFFFFFTFTT DNC FFFFFFTFTT DNC DNC DNC DNC FFFFF_TFTT
000020 FTTFFTFFFF MOVF DNC FTTFFTFFFF DNC DNC DNC DNC FTTFFT_FFF
000050 TFFFTTFFFF CC DNC TFFFTTFFFF DNC DNC DNC DNC DNF
000100 FFTTFFTTFF CC DNC _F_T_FTTFF DNC DNC DNC DNC DNF
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 TFTFTFTTFF TFTFTTTFFF DNC TFTFTFTTFF DNC DNC DNC DNC TFTFTFTTFF
05 FFFTFFTTFF FFFTFFFTFF DNC FFFTFFTTFF DNC DNC DNC DNC FFFTFFTTFF
10 DNF FFTFTFTFTF DNC FFTFTFTFTF DNC DNC DNC DNC FFT_TFTFTF
15 DNF DNF DNC FTFTFTFFFF DNC DNC DNC DNC FTFT_TF_F_
20 CC MOVF DNC FFTFTTFFTT DNC DNC DNC DNC F_TFTT_F_T
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 TFTTFTTFTF TFTTFTTFTF DNC TFTTFTTFTF DNC DNC DNC DNC TFTTFTT_T_
010 TFTFFTFFFF CC DNC TFTFFTFFFF DNC DNC DNC DNC TFTFFTFF__
015 CC CC DNC TTFFTTFFFF DNC DNC DNC DNC TTF_TTFFFF
020 CC CC DNC FFTFFFFFFT DNC DNC DNC DNC _FTF_____T
Results for Vasy2003 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FFFTFTTTTF DNC DNC DNC DNC F_FTFTT___
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 TTFFFFFFFF DNC TTFFFFFFFF DNC DNC DNC DNC TTFFFFFFFF
03 DNC DNF DNC FFTTTFFTFT DNC DNC DNC DNC FFTTTFFTFT
04 DNC DNF DNC FFFTFTTFFF DNC DNC DNC DNC FFFTFTTFFF
05 DNC DNF DNC FFFTFFFTFF DNC DNC DNC DNC FF_T__FT_F
07 DNC CC DNC FFTFFTFFTF DNC DNC DNC DNC F_TFFTFFT_
10 DNC CC DNC FTTTFFTTTT DNC DNC DNC DNC FTTTFFTTTT
Results for Dekker (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC TTFFFTFTTF DNC TTTFFTFTFF DNC DNC DNC DNC TTTFFTFTFF
015 DNC FTTFFFTFFF DNC FTTFFFTFFF DNC DNC DNC DNC FTTFFFTFFF
020 DNC FTTFFFFFTT DNC FTTFFFFFTT DNC DNC DNC DNC FTTFFFFFTT
050 DNC MOVF DNC FTTTTTTFFT DNC DNC DNC DNC FTTTTTTFFT
100 DNC MOVF DNC FTFTTFTFTT DNC DNC DNC DNC FTFTTFTFTT
200 DNC DNF 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 FTFFTFFFFT DNC TTFFTFFFFT DNC DNC DNC DNC TT_FTFFFFT
Results for Echo (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 DNC FFFTFFFFFF DNC TFFFFTFTTT DNC DNC DNC DNC TFFFFTF_TT
d02r11 DNC TFFFFFTFTF DNC FTFFFFFTFF DNC DNC DNC DNC FTFFFF_TFF
d02r15 DNC TFFFFFFFTF DNC FFFTTFTFFF DNC DNC DNC DNC FFFTTFTFFF
d02r19 DNC TFTFFFTTFF DNC FFFFTFFFFF DNC DNC DNC DNC FFFFTFFFFF
d03r03 DNC TFTFTFFFFT DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
d03r05 DNC FFFFTTFFFF DNC TFFTFFTFTF DNC DNC DNC DNC TFFTFFTFTF
d03r07 DNC FFFFFTFTFT DNC TFFTFFFFFF DNC DNC DNC DNC TFFTFFFFFF
d04r03 DNC FTFTFFTFFT DNC TFTFTTFTTF DNC DNC DNC DNC TFTFTTFTTF
d05r03 DNC TFFTFTTFFF DNC FFFFFFFTFT DNC DNC DNC DNC FFFFFFFTFT
Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC CC DNC FFFFTTTTFT DNC DNC DNC DNC FFFFTTTTFT
020 DNC CC DNC TFFFFFFFFT DNC DNC DNC DNC TFFFFFFFFT
050 DNC CC DNC TFFTFFFFTF DNC DNC DNC DNC TFFTFFFFTF
100 DNC CC DNC FFTTFFFFFF DNC DNC DNC DNC FFTTFFFFFF
200 DNC CC DNC FFFTFFTFTF DNC DNC DNC DNC FFFTFFTFTF
500 DNC CC DNC FFFFFTFTFF DNC DNC DNC DNC FFFFFTFTFF
Results for FMS (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC FFFTFFFTFT DNC FFFTFFFTFT DNC DNC DNC DNC FFFTFFFTFT
005 DNC FFTFFFFFFT DNC FFTFFFFFFT DNC DNC DNC DNC FFTFFFFFFT
010 DNC FTFFTFFTFF DNC FTFFTFFTFF DNC DNC DNC DNC FTFFTFFTFF
020 DNC TTFFFTTFTF DNC TTFFFTTFTF DNC DNC DNC DNC TTFFFTTFTF
050 DNC TFFFTFFFTF DNC TFFFTFFFTF DNC DNC DNC DNC TFFFTFFFTF
100 DNC TFFFFTTFFT DNC TFFFFTTFFT DNC DNC DNC DNC TFFFFTTFFT
200 DNC TFFFTFTTTF DNC TFFFTFTTTF DNC DNC DNC DNC TFFFTFTTTF
500 DNC DNF DNC FFTFTFTFFT DNC DNC DNC DNC FFTFTFTFFT
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 FFFFFFFFFF DNC FFFFFFFFFF DNC DNC DNC DNC F_FFFFFF_F
Results for HouseConstruction (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC FTFFFTFTFF DNC FTFFFTFTFF DNC DNC DNC DNC FTFFFTFTFF
005 DNC TFFFFTFFFF DNC TFFFFTFFFF DNC DNC DNC DNC TFFFFTFFFF
010 DNC FFFFFTFFTF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
020 DNC FTFFTTFFFF DNC FTFFTTFFFF DNC DNC DNC DNC FTFFTTFFFF
050 DNC FFFFFTTFTT DNC FFFFFTTFTT DNC DNC DNC DNC FFFFFTTFTT
100 DNC MOVF DNC FFFFTTFFTT DNC DNC DNC DNC FFFFTTFFTT
200 DNC DNF DNC FTTFTFFFTT DNC DNC DNC DNC FTTFTFFFTT
500 DNC DNF DNC FFFTFFTFFT DNC DNC DNC DNC FFFTFFTFFT
Results for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC TFFFFTFFFF DNC FTTTFFTTFF DNC DNC DNC DNC FTTTFFTTFF
Results for Kanban (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC FFFFTFTFTT DNC FFFFTFTFTT DNC DNC DNC DNC FFFFTFTFTT
0010 DNC FTFTTTFTFT DNC FTFTTTFTFT DNC DNC DNC DNC FTFTTTFTFT
0020 DNC FFFTFFFTTF DNC FFFTFFFTTF DNC DNC DNC DNC FFFTFFFTTF
0050 DNC TFFFTFFFFF DNC TFFFTFFFFF DNC DNC DNC DNC TFFFTFFFFF
0100 DNC TFFFFFFFFT DNC TFFFFFFFFT DNC DNC DNC DNC TFFFFFFFFT
0200 DNC FTFTTTFFTF DNC FTFTTTFFTF DNC DNC DNC DNC FTFTTTFFTF
0500 DNC DNF DNC TTFFTFFFFF DNC DNC DNC DNC TTFFTFFFFF
1000 DNC DNF DNC TFTFFFTTFF DNC DNC DNC DNC TFTFFFTTFF
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 FTTFFFFFTF DNC FTFFFTFFFF DNC DNC DNC DNC FTFFFTFFFF
3 DNC TFTFFFFFTT DNC FFTFFFFFTF DNC DNC DNC DNC FFTFFFFFTF
4 DNC TFFFTTFFFT DNC TFFFTTFFFT DNC DNC DNC DNC TFFFTTFF_T
5 DNC MOVF DNC FFFFFTFTFF DNC DNC DNC DNC FFFFFTFTFF
6 DNC DNF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFT_FTF
7 DNC DNF DNC TFFTFFTTFF DNC DNC DNC DNC T_FT_FTTF_
8 DNC DNF DNC TTFFTFTFFF DNC DNC DNC DNC T___TFTFFF
Results for MAPK (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC FTFTTTTFTF DNC FTFTTTTFTF DNC DNC DNC DNC FTFTTTTFTF
020 DNC DNF DNC FTTFFTFTFT DNC DNC DNC DNC FTTFFTFTFT
040 DNC DNF DNC FFTTFTFFFT DNC DNC DNC DNC FFTTFTFFFT
080 DNC DNF DNC FFFFFFTTFF DNC DNC DNC DNC FFFFFFTTFF
160 DNC DNF DNC FFFTTFFTFT DNC DNC DNC DNC FFFTTFFTFT
320 DNC DNF DNC TFFFTFFFFT DNC DNC DNC DNC TFFFTFFFFT
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 FFFFFFTTFT DNC FTFFFFTTFT DNC DNC DNC DNC FTFF__TTFT
3 DNC TFFFFFFFFF DNC FTFFF_FFFF DNC DNC DNC DNC FTFFFFF_F_
4 DNC MOVF DNC DNF DNC DNC DNC DNC _FFTFTFFTF
5 DNC MOVF DNC __________ DNC DNC DNC DNC FFF_TT_FT_
6 DNC CC DNC FT____F_F_ DNC DNC DNC DNC DNF
7 DNC DNF DNC __________ DNC DNC DNC DNC DNF
8 DNC DNF DNC __________ DNC DNC DNC DNC DNF
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 TTTTTFTFFT DNC TTFTTTTFFT DNC DNC DNC DNC TTFTTTT__T
02 DNC DNF DNC FTFTFTFTFF DNC DNC DNC DNC _TFT_TFTF_
05 DNC DNF DNC TFFFFFTFTF DNC DNC DNC DNC T___FFTFTF
10 DNC DNF DNC TFFFFFFFFT DNC DNC DNC DNC T__FF_F__T
20 DNC DNF DNC TFTTFTFFTT DNC DNC DNC DNC TFTTFTFFTT
50 DNC DNF DNC TFFFFTFFFF DNC DNC DNC DNC TF_FFTFFFF
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 FFFFTFTTFT DNC FFFFTFTTFT DNC DNC DNC DNC FFFFTFTTFT
3 DNC TFFTTFFTFF DNC FFFTTFFTFF DNC DNC DNC DNC FFFTTFFTFF
4 DNC MOVF DNC TTTFFTFFFF DNC DNC DNC DNC TTT_FTFFFF
5 DNC MOVF DNC FFFFFFFFTF DNC DNC DNC DNC _FFFFFFFTF
6 DNC DNF DNC TTFTFFFFFF DNC DNC DNC DNC TTFT_FF_FF
7 DNC DNF DNC FFFTTFFFFT DNC DNC DNC DNC FFFTTFFF_T
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 TFFFFFFFFT DNC TFFFFFFFFT DNC DNC DNC DNC TFFFFFFFFT
000010 DNC TTFTTFTFFT DNC TTFTTFTFFT DNC DNC DNC DNC TTFTTFTFFT
000020 DNC TFTFTFFFFF DNC TFTFTFFFFF DNC DNC DNC DNC T_T_TFF_FF
000050 DNC MOVF DNC FFFTFFFFFT DNC DNC DNC DNC FF_TF_F__T
000100 DNC MOVF DNC FTTFFFFFFF DNC DNC DNC DNC _TTFF_FF_F
000200 DNC MOVF DNC TFTTFTFTTF DNC DNC DNC DNC T_TT_T_TTF
000500 DNC MOVF DNC FTTTFFFFFF DNC DNC DNC DNC FTTT__F_FF
001000 DNC MOVF DNC FFTTFFFFFF DNC DNC DNC DNC DNF
002000 DNC DNF DNC FFFFFFTFFF DNC DNC DNC 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 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 FFTFTFFFFF DNC TTTFTTFFFF DNC DNC DNC DNC TTTFTTFFFF
10 DNC CC DNC FFFFTFFFTF DNC DNC DNC DNC F_FFTFFFTF
20 DNC DNF DNC TTFFFFFFFF DNC DNC DNC DNC DNF
Results for Planning (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC FFTFFTFFFF DNC TTFTFFFFTF DNC DNC DNC DNC TTFTFFFFTF
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 FFFFFFFTTF DNC FFTFFTFTTF DNC DNC DNC DNC FFTFFTFTTF
06 DNC FTTTFFFTTF DNC TFTTFFFTFT DNC DNC DNC DNC TFTTFFFTFT
10 DNC MOVF DNC TFTFFTTTTF DNC DNC DNC DNC TFTFFTTTTF
18 DNC CC DNC FFTFTFFFFF DNC DNC DNC DNC _FT__F__F_
22 DNC DNF DNC TFFFFTTFFT DNC DNC DNC DNC T_______FT
28 DNC DNF DNC FTTTFFFFFT DNC DNC DNC DNC DNF
32 DNC DNF DNC TFTFTFTFFT DNC DNC DNC DNC _FTF____FT
Results for Railroad (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC TFTFFFTFFF DNC TTFFTFFFTF DNC DNC DNC DNC TTFFTFFFTF
010 DNC MOVF DNC TFFFFTFFFF DNC DNC DNC DNC TFFFFTFFFF
020 DNC DNF DNC TFFFFFFTFF DNC DNC DNC DNC TFFFFFFTF_
050 DNC DNF DNC TFTFTTTFTT DNC DNC DNC DNC DNF
100 DNC DNF DNC TFFFFTFFTF 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 FTTFFTTFFF DNC DNC DNC DNC FTTFFTTFFF
R003C002 DNC CC DNC FTTTFFFFFT DNC DNC DNC DNC FTTTFFFFFT
R003C003 DNC CC DNC FTFFFTFTFF DNC DNC DNC DNC FTFFFTFTFF
R003C005 DNC CC DNC TTFFFFFFFF DNC DNC DNC DNC TTFFFFFFFF
R003C010 DNC CC DNC TFFFFTFTTF DNC DNC DNC DNC TFFFFTFTTF
R003C015 DNC CC DNC TTTFFFTTFF DNC DNC DNC DNC TTTFFFTTFF
R003C020 DNC CC DNC FFFFFFTTFT DNC DNC DNC DNC FFF_FF_TFT
R003C050 DNC CC DNC FTFTTFFFFT DNC DNC DNC DNC F_F_TFFFFT
R003C100 DNC CC DNC FFFFFFTFFT DNC DNC DNC DNC FFFFFFTFFT
R005C002 DNC CC DNC FFTTFFTTTT DNC DNC DNC DNC FFTTFFTTTT
R010C002 DNC CC DNC FFFTTFFFTT DNC DNC DNC DNC FFFTTFFFTT
R015C002 DNC CC DNC TFTFFTFTTF DNC DNC DNC DNC TFTFFTFTTF
R020C002 DNC CC DNC FTFFTFTFFT DNC DNC DNC DNC FTFFTFTFFT
R050C002 DNC CC DNC TTTFTFFFTF DNC DNC DNC DNC TTTFTFFFTF
R100C002 DNC CC DNC TFTFTFFTFT DNC DNC DNC DNC TFTFTFFTFT
Results for Ring (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FFTFFFFTFF DNC DNC DNC DNC FFTF_FFTFF
Results for RwMutex (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC FTFFFTFTFF DNC FTFFFTFTTF DNC DNC DNC DNC FTFFFTFTTF
r0010w0020 DNC FFFFFFTFFF DNC TFFFTTFTFF DNC DNC DNC DNC TFFFTTFTFF
r0010w0050 DNC TFFTFTTTFF DNC TFFTFTTTFF DNC DNC DNC DNC TFFTFTTTFF
r0010w0100 DNC FFFFTTFFTT DNC FFFFFFFFTF DNC DNC DNC DNC FFFFFFFFTF
r0010w0500 DNC TTFFFFFFFT DNC TFFFFTTFFT DNC DNC DNC DNC TFFFFTTFFT
r0010w1000 DNC FFFFTTTTFF DNC TTFFTFFFFF DNC DNC DNC DNC TTFFTFFFFF
r0010w2000 DNC MOVF DNC _____TFTF_ DNC DNC DNC DNC DNF
r0020w0010 DNC FFFFTFFFTF DNC FFFFTFFFTF DNC DNC DNC DNC FFFFTFFFTF
r0100w0010 DNC MOVF DNC TFFFTTTTTT DNC DNC DNC DNC TFFFTTTTTT
r0500w0010 DNC MOVF DNC FFFFFFFFTF DNC DNC DNC DNC FFFFFFFFTF
r1000w0010 DNC MOVF DNC FFTFFFFTFT DNC DNC DNC DNC FFTFFFFTFT
r2000w0010 DNC CC DNC _____TTFF_ 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 FFFTTFFTFF DNC FFFTTFFTFF DNC DNC DNC DNC FFFTTFFTFF
000010 DNC FFFFTFFFTT DNC FFFFFFTFTT DNC DNC DNC DNC FFFFF_TFTT
000020 DNC MOVF DNC FTTFFTFFFF DNC DNC DNC DNC FTTFFT_FFF
000050 DNC CC DNC TFFFTTFFFF DNC DNC DNC DNC DNF
000100 DNC DNF DNC __TTFFTTFF DNC DNC DNC DNC DNF
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 TFTFTFTFFF DNC TFTFTFTTFF DNC DNC DNC DNC TFTFTFTTFF
05 DNC FFFTFFTTFF DNC FFFTFFTTFF DNC DNC DNC DNC FFFTFFTTFF
10 DNC DNF DNC FFTFTFTFTF DNC DNC DNC DNC FFT_TFTFTF
15 DNC DNF DNC FTFTFTFFFF DNC DNC DNC DNC FTFT_TF_F_
20 DNC DNF DNC FFTFTTFFTT DNC DNC DNC DNC F_TFTT_F_T
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 TFTTFTTTTT DNC TFTTFTTFTF DNC DNC DNC DNC TFTTFTT_T_
010 DNC CC DNC TFTFFTFFFF DNC DNC DNC DNC TFTFFTFF__
015 DNC CC DNC TTFFTTFFFF DNC DNC DNC DNC TTF_TTFFFF
020 DNC CC DNC FFTFFFFFFT DNC DNC DNC DNC _FTF_____T
Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FFFTFTTTTF DNC DNC DNC DNC F_FTFTT___