fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Results for the reachabilitycardinality 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 reachabilitycardinality
Results for ARMCacheCoherence (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC _F_F______ DNC DNC DNC DNC DNF
Results for Angiogenesis (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC CC DNC FFFFFFFFFF DNC DNC DNC DNC FFFFFFFFFF
05 DNC CC DNC FTTTFFFTTF DNC DNC DNC DNC FTTTFFFTTF
10 DNC CC DNC TFFFFTFFTF DNC DNC DNC DNC TFFFFTFFTF
15 DNC CC DNC TFFFFFFFFT DNC DNC DNC DNC TFFFFFFFFT
20 DNC CC DNC FTFFFFFTFF DNC DNC DNC DNC FTFFFFFTFF
25 DNC CC DNC FFTFFFTFFT DNC DNC DNC DNC _FTFFFTFFT
50 DNC CC DNC _FFFFFTFFF DNC DNC DNC DNC _FFFF_T_FF
Results for CircadianClock (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 DNC CC DNC FFFTFFFFFF DNC DNC DNC DNC FFFTFFFFFF
000010 DNC CC DNC TFTFTFFTFT DNC DNC DNC DNC TFTFTFFTFT
000100 DNC CC DNC FTFFTTFFFF DNC DNC DNC DNC FTFFTTFFFF
001000 DNC CC DNC TTFFFTFFFF DNC DNC DNC DNC TTFFFTFFFF
010000 DNC CC DNC TFFFTFFFTF DNC DNC DNC DNC TFFFTFFFTF
100000 DNC CC DNC TTFFFTTFTT DNC DNC DNC DNC TTFFFTTFTT
Results for CircularTrains (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
012 DNC CC DNC TTTFTFFTFF DNC DNC DNC DNC TTTFTFFTFF
024 DNC CC DNC FFFTFFFFTF DNC DNC DNC DNC FFFTFFFFTF
048 DNC CC DNC TFFFFFFTFT DNC DNC DNC DNC TFFFFFFTF_
096 DNC CC DNC TTFFFFFFTT DNC DNC DNC DNC TTFFFFFFTT
192 DNC DNF DNC FFFTFFFFFF DNC DNC DNC DNC FFFTFFFFFF
384 DNC DNF DNC TFFFTFFFTF DNC DNC DNC DNC TFFFTFFFTF
768 DNC DNF DNC TFTFFFFTFT DNC DNC DNC DNC TFTFFFFTFT
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 CC DNC TTFTFFFFTF DNC DNC DNC DNC TTFTFFFFTF
04 DNC DNF DNC FTFFTFTTFF DNC DNC DNC DNC FTFFTFTTFF
10 DNC CC DNC TFFTFFTFFF DNC DNC DNC DNC TFFTF_TFFF
20 DNC CC DNC TTTTTFFFFT DNC DNC DNC DNC TTTTTFFFFT
40 DNC DNF DNC T_________ 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 TTFFFTFFFF DNC DNC DNC DNC _TFFFTFFFF
D05N050 DNC CC DNC FFTTFFFFTT DNC DNC DNC DNC FFTTFFFFTT
D05N100 DNC CC DNC FTTFTFFFFT DNC DNC DNC DNC FTTFTFFFFT
D05N150 DNC CC DNC FFFFTFFFTF DNC DNC DNC DNC FFFFTFFFTF
D05N200 DNC CC DNC FFFTTFTTTF DNC DNC DNC DNC FFFTTFTTTF
D05N250 DNC CC DNC TFFFTFFTTT DNC DNC DNC DNC TFFFTFFTTT
D05N300 DNC CC DNC TFFFTFFTFT DNC DNC DNC DNC TFFFTFFTFT
D05N350 DNC CC DNC FFTFFFFTFT DNC DNC DNC DNC F_TFFFFTFT
D10N010 DNC CC DNC TTFTFFTTFT DNC DNC DNC DNC TTFTF_TTFT
D10N050 DNC CC DNC FFFFFFFTTF DNC DNC DNC DNC FFFFFFFTTF
D10N100 DNC CC DNC FFFTTFFFFF DNC DNC DNC DNC FFFTTFFFFF
D10N150 DNC CC DNC FTFFTTT_FF DNC DNC DNC DNC FTFFTTTTFF
D10N200 DNC CC DNC FTTFFFFFFF DNC DNC DNC DNC FTTFFFFFFF
D20N010 DNC CC DNC FTTFFFFTFF DNC DNC DNC DNC FTTFF_FTFF
D20N050 DNC CC DNC FTFTFF_FFF DNC DNC DNC DNC __FT_F__F_
D20N100 DNC CC DNC TFTFFFFTFT DNC DNC DNC DNC T_TFFFFTFT
D20N150 DNC CC DNC FTFFFFFTFF DNC DNC DNC DNC FTFFFFFTFF
D30N010 DNC CC DNC FFFFFFFFTT DNC DNC DNC DNC FFF__FF__T
D30N050 DNC CC DNC TTFFTFFFFF DNC DNC DNC DNC T_FF_FFFF_
D30N100 DNC CC DNC ___FFTTFFF DNC DNC DNC DNC ___FFT_FFF
D30N150 DNC CC DNC _TTFFF__FT DNC DNC DNC DNC FTTFFF_F_T
D40N010 DNC CC DNC TTTFTT_TTF DNC DNC DNC DNC DNF
D40N050 DNC CC DNC FT_TFFFTTF DNC DNC DNC DNC DNF
D40N100 DNC CC DNC TTTTFTTFTT DNC DNC DNC DNC DNF
D40N150 DNC CC DNC FFFTFTTFTF DNC DNC DNC DNC DNF
D50N010 DNC CC DNC FTTFF_TFT_ DNC DNC DNC DNC DNF
D50N050 DNC CC DNC FFTFFTF_F_ DNC DNC DNC DNC DNF
D50N100 DNC CC DNC TFFFFTFFFF DNC DNC DNC DNC DNF
D50N150 DNC CC DNC FFTTTTTTTF DNC DNC DNC DNC DNF
Results for ERK (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000001 DNC CC DNC FTTFTFTFFF DNC DNC DNC DNC FTTFTFTFFF
000010 DNC CC DNC FTFTTFFFTF DNC DNC DNC DNC FTFTTFFFTF
000100 DNC CC DNC FFTTTTTFTF DNC DNC DNC DNC FF_TTTTFTF
001000 DNC CC DNC FFFFTTTFFF DNC DNC DNC DNC _FFFT_TFFF
010000 DNC CC DNC TFFFTFFFTF DNC DNC DNC DNC TFFFTFFFTF
100000 DNC CC DNC TFFFFFFFFF DNC DNC DNC DNC TFFFFFFFFF
Results for EnergyBus (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC TTFTTTTTFF DNC DNC DNC DNC TTFTT_TTFF
Results for MultiwaySync (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC FFTTTFFFFF DNC DNC DNC DNC FF_TTFFFFF
Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0 DNC CC DNC TTTFTFTTTT DNC DNC DNC DNC TTTFTFTTTT
1 DNC CC DNC TTFTTTFFFF DNC DNC DNC DNC TTFTTTFFFF
2 DNC CC DNC FFTFTFTTFF DNC DNC DNC DNC FFTFTFTTFF
3 DNC CC DNC FFTTFTFFFF DNC DNC DNC DNC FFTTFTFFFF
4 DNC CC DNC FFTFTFFFFF DNC DNC DNC DNC FFTFTFFFFF
5 DNC CC DNC FFFFFFFFTF DNC DNC DNC DNC FFFFFFFFTF
Results for PolyORBLF (Colored, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
S02J04T06 DNC DNC _F_T_FF_FF DNC DNC DNC DNC DNC DNC
S02J04T08 DNC DNC FFF_FTFF_F DNC DNC DNC DNC DNC DNC
S02J04T10 DNC DNC F_FFF__F_F DNC DNC DNC DNC DNC DNC
S02J06T06 DNC DNC FFF__F_F_F DNC DNC DNC DNC DNC DNC
S02J06T08 DNC DNC F___FFFF_F DNC DNC DNC DNC DNC DNC
S02J06T10 DNC DNC F___F__F_F DNC DNC DNC DNC DNC DNC
S04J04T06 DNC DNC _FFFFFFF_F DNC DNC DNC DNC DNC DNC
S04J04T08 DNC DNC F_FFFFFFFF DNC DNC DNC DNC DNC DNC
S04J04T10 DNC DNC FFF_F_T_F_ DNC DNC DNC DNC DNC DNC
S04J06T06 DNC DNC __FFFF___F DNC DNC DNC DNC DNC DNC
S04J06T08 DNC DNC F__F__FFFF DNC DNC DNC DNC DNC DNC
S04J06T10 DNC DNC FFF__F____ DNC DNC DNC DNC DNC DNC
S06J04T04 DNC DNC __F_F_FFFF DNC DNC DNC DNC DNC DNC
S06J04T06 DNC DNC ___FF__F_F DNC DNC DNC DNC DNC DNC
S06J04T08 DNC DNC F__F_FF_F_ DNC DNC DNC DNC DNC DNC
S06J06T04 DNC DNC FFFFFF_FF_ DNC DNC DNC DNC DNC DNC
S06J06T06 DNC DNC FF__F_FFF_ DNC DNC DNC DNC DNC DNC
S06J06T08 DNC DNC _FFFFFFF_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 CC DNC TFF_TFFTFF DNC DNC DNC DNC TFF_TFFTFF
S02J04T08 DNC CC DNC FFFFF_FF_F DNC DNC DNC DNC FFFFF_FF_F
S02J04T10 DNC CC DNC FTFFFTTFTF DNC DNC DNC DNC FTFFFTTFTF
S02J06T06 DNC CC DNC FFF_TF_FTF DNC DNC DNC DNC FFF_TF_FTF
S02J06T08 DNC CC DNC FTFTFFFFTF DNC DNC DNC DNC FTFTFFFFTF
S02J06T10 DNC CC DNC FTTTFTFFFF DNC DNC DNC DNC FTTTFTFFFF
S04J04T06 DNC CC DNC FFF_FFFFTF DNC DNC DNC DNC FFF_FFFFTF
S04J04T08 DNC CC DNC FFFFFFFFFF DNC DNC DNC DNC FFFFFFFFFF
S04J04T10 DNC CC DNC FFFTFT_TFT DNC DNC DNC DNC FFFTFT_TFT
S04J06T06 DNC CC DNC FTFFFFFTTF DNC DNC DNC DNC FTFFFFFTTF
S04J06T08 DNC CC DNC FT_F_TFFFF DNC DNC DNC DNC FTFF_TFF_F
S04J06T10 DNC CC DNC FFFT_FT_FT DNC DNC DNC DNC FFF__FT_FT
S06J04T04 DNC CC DNC FTFTFTFFFF DNC DNC DNC DNC FTFT_TF_FF
S06J04T06 DNC CC DNC T_TFF__FTF DNC DNC DNC DNC DNF
S06J04T08 DNC CC DNC FTTF_FFTFT DNC DNC DNC DNC DNF
S06J06T04 DNC CC DNC FFFFFFTFFT DNC DNC DNC DNC FFFFFF_FFT
S06J06T06 DNC CC DNC FFTFFTFFF_ DNC DNC DNC DNC DNF
S06J06T08 DNC CC DNC _FFFFFFFTF 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 ____FF_FFF DNC DNC DNC DNC DNC DNC
S05J30 DNC DNC __F_F_____ DNC DNC DNC DNC DNC DNC
S05J40 DNC DNC __FF__F_F_ DNC DNC DNC DNC DNC DNC
S05J60 DNC DNC F_____FF__ DNC DNC DNC DNC DNC DNC
S05J80 DNC DNC __F__F__FF DNC DNC DNC DNC DNC DNC
S10J20 DNC DNC F__F___FFF DNC DNC DNC DNC DNC DNC
S10J30 DNC DNC _FF_F__F__ DNC DNC DNC DNC DNC DNC
S10J40 DNC DNC FFFFFF__FF DNC DNC DNC DNC DNC DNC
S10J60 DNC DNC F_F__FFF__ DNC DNC DNC DNC DNC DNC
S10J80 DNC DNC _F__F__F_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 CC DNC T_TFFF_FF_ DNC DNC DNC DNC T_TFFFFFFF
S05J30 DNC CC DNC _TF_FFFFTF DNC DNC DNC DNC _TFFFFFFTF
S05J40 DNC CC DNC TTFFTTF_FT DNC DNC DNC DNC TTFFTTF_FT
S05J60 DNC CC DNC F__FTTFFFT DNC DNC DNC DNC F_T__TFFFT
S05J80 DNC CC DNC FFFTTFT_FF DNC DNC DNC DNC F_FTTFT_FF
S10J20 DNC CC DNC FTTFT_FFFF DNC DNC DNC DNC DNF
S10J30 DNC CC DNC TFF_FT_FTF DNC DNC DNC DNC DNF
S10J40 DNC CC DNC FFFF_FF__F DNC DNC DNC DNC DNF
S10J60 DNC CC DNC FTFFTFFFTT DNC DNC DNC DNC DNF
S10J80 DNC CC DNC FFTFFTTF_F 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 TFFFFTFFFF DNC DNC DNC DNC TFFFFTFFFF
Results for Solitaire (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
EngCT7x7 DNC CC DNC TFFFTTFTTF DNC DNC DNC DNC TFFFTTFTTF
EngNC7x7 DNC CC DNC TFFFFFFTFF DNC DNC DNC DNC TFFFFFFTFF
FrnCT7x7 DNC CC DNC FFFFFTFTTF DNC DNC DNC DNC FF_FFTFTTF
FrnNC7x7 DNC CC DNC TTFTTTTFFF DNC DNC DNC DNC TTFTTTTFFF
SqrCT5x5 DNC CC DNC FFFFFFFFTT DNC DNC DNC DNC FFFFFFFFTT
SqrNC5x5 DNC CC DNC FFTFFTFTFT DNC DNC DNC DNC FFTFFTFTFT
Results for UtahNoC (P/T, Surprise model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC CC DNC TFTFTTTFTF DNC DNC DNC DNC TFTFTTTFTF
Results for CSRepetitions (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC F__FFF__FF DNC DNC DNC DNC DNC DNC
03 DNC DNC _F__F_____ DNC DNC DNC DNC DNC DNC
04 DNC DNC ___FF_FFFF DNC DNC DNC DNC DNC DNC
05 DNC DNC F_FFFFFFF_ DNC DNC DNC DNC DNC DNC
07 DNC DNC DNF DNC DNC DNC DNC DNC DNC
10 DNC DNC F____F__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 FTFFFFFTFF DNC FTFFFFFTFF DNC DNC DNC DNC FTFFFFFTFF
03 DNC FFTTFTTTTT DNC FFTTFTTTTT DNC DNC DNC DNC FFTTFTTTTT
04 DNC MOVF DNC TTTFFTFFFF DNC DNC DNC DNC TTTFFTFFFF
05 DNC MOVF DNC FTFFFFFFFT DNC DNC DNC DNC F_FFFFFFFT
07 DNC MOVF DNC TFTTFTFTTF DNC DNC DNC DNC TFT_FT__TF
10 DNC CC DNC FTFTTFFTFT DNC DNC DNC DNC FTFTTFFTF_
Results for Dekker (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC TTFFTFFFFT DNC TTFFTFFFFT DNC DNC DNC DNC TTFFTFFTFT
015 DNC TFFFFTTTTT DNC TFFFFTTTTT DNC DNC DNC DNC TFFFFTTTTT
020 DNC TFFFTFFTFT DNC TFFFTFFTFT DNC DNC DNC DNC _FFFTFFTFT
050 DNC DNF DNC FFTFTFTFTT DNC DNC DNC DNC FFTFTFTFTT
100 DNC MOVF DNC FFFFTTTFTF DNC DNC DNC DNC FFFFTTT_TF
200 DNC 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 FFTTTFTF__ DNC DNC DNC DNC DNC DNC
3 DNC DNC T_FFF__FTT DNC DNC DNC DNC DNC DNC
4 DNC DNC __F__FTFF_ DNC DNC DNC DNC DNC DNC
5 DNC DNC __FF__FFF_ 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 FF_FFF_TFF DNC DNC DNC DNC DNC DNC
10 DNC DNC __________ DNC DNC DNC DNC DNC DNC
16 DNC DNC __________ DNC DNC DNC DNC DNC DNC
24 DNC DNC __________ DNC DNC DNC DNC DNC DNC
48 DNC DNC __________ DNC DNC DNC DNC DNC DNC
76 DNC DNC __________ DNC DNC DNC DNC DNC DNC
98 DNC DNC __________ DNC DNC DNC DNC DNC DNC
Results for DrinkVendingMachine (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC FFFFFFTTFF DNC FFFFFFTTFF DNC DNC DNC DNC FFTFFFTTFF
Results for Echo (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 DNC MOVF DNC FTFFTTFTFF DNC DNC DNC DNC FTFFTTFTFF
d02r11 DNC MOVF DNC TTFFTTFFTF DNC DNC DNC DNC TTFFTT_FTF
d02r15 DNC MOVF DNC TFTTFFTTFT DNC DNC DNC DNC TFT_F_TTFT
d02r19 DNC MOVF DNC FFFTFFFFFF DNC DNC DNC DNC FFFTFFFFFF
d03r03 DNC MOVF DNC FTTTFFFTTF DNC DNC DNC DNC FT_TFFFTTF
d03r05 DNC MOVF DNC FFFFTFFFTT DNC DNC DNC DNC FFFFTFFFTT
d03r07 DNC MOVF DNC FTFFFFTFFT DNC DNC DNC DNC FTFFF_TFFT
d04r03 DNC MOVF DNC FFFTFTTTFF DNC DNC DNC DNC FFFTFTTTFF
d05r03 DNC MOVF DNC FFFFTTFFTF DNC DNC DNC DNC FFF_TTFFTF
Results for Eratosthenes (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC TFFTFFTFTF DNC FTFTFTTFTF DNC DNC DNC DNC FTFTFTTFTF
020 DNC TFFFFTTFTF DNC TTFFFTTFFF DNC DNC DNC DNC TTFFFTTFFF
050 DNC TFFFFFTFFF DNC FTTFFT_FFF DNC DNC DNC DNC FTTFFT_FFF
100 DNC TTTFTTTFTF DNC TT_FTTFF_F DNC DNC DNC DNC TT_FTTFF_F
200 DNC FFTFFTFFFT DNC FTTFTTFFFT DNC DNC DNC DNC FTTFTTFFFT
500 DNC CC DNC FFFFFFFTTT DNC DNC DNC DNC FFFFFFFTTT
Results for FMS (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC TTFFFFTTFF DNC TTFFFFTFFF DNC DNC DNC DNC TTFFFFTFFF
005 DNC FFFFTTFFFF DNC FFFFTTFFFF DNC DNC DNC DNC FFFFTTFFFF
010 DNC FTTFTFTFFT DNC FTTFTFTFFT DNC DNC DNC DNC FTTFTFTFFT
020 DNC FFFTTFTFFF DNC FFFTTFFFFF DNC DNC DNC DNC FFFTTFFFFF
050 DNC FTTFFFFFFT DNC FTTFFFFFFT DNC DNC DNC DNC FTTFFFFFFT
100 DNC TFFFFTTFFF DNC TFFFFTTFFF DNC DNC DNC DNC TFFFFTTFFF
200 DNC FFFTTTTFFT DNC FFFTTTTFFT DNC DNC DNC DNC FFFTTTTFFT
500 DNC FFF_______ DNC FFFFFTFFFF DNC DNC DNC DNC FFFFFTFFFF
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 FFTFTFFTFT DNC FFTFTFFTFT DNC DNC DNC DNC FFTFTFFTFT
Results for HouseConstruction (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC TTTFFFTTTF DNC TTFFFFTTTF DNC DNC DNC DNC TTFFFFTTTF
005 DNC TFFFTFTFFF DNC TFFFFFFFFF DNC DNC DNC DNC TFFFFFFFFF
010 DNC FTFFFFFTTT DNC FTFFTFTTFF DNC DNC DNC DNC FTFFTFTTFF
020 DNC FTTTFTFTFF DNC FFTTFTFTFF DNC DNC DNC DNC FFTTFTFTFF
050 DNC CC DNC FFFTFFFFFT DNC DNC DNC DNC FFFFFFFFFT
100 DNC MOVF DNC FFFFFFFFTT DNC DNC DNC DNC FFFFFFFFTT
200 DNC MOVF DNC FFTFTTTFFF DNC DNC DNC DNC FFTFTTTFFF
500 DNC DNF DNC FFTFFFTTFF DNC DNC DNC DNC FFTFFFTTFF
Results for IBMB2S565S3960 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FFFFTFFFFF DNC DNC DNC DNC FFFFTFFFFF
Results for Kanban (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC FTTTTTTTTT DNC FTTFTFTTTT DNC DNC DNC DNC FTTFTFTTTT
0010 DNC TFTTFFFFTF DNC TFTTFFFFTF DNC DNC DNC DNC TFTTFFFFTF
0020 DNC TTFFFFTTTF DNC TTFFFFTTTF DNC DNC DNC DNC TTFFFFTTTF
0050 DNC FFFTTTTFTF DNC FFFTFTTTTF DNC DNC DNC DNC FFFTFTTTTF
0100 DNC TFFFFTFFTT DNC TFFFFTFFTT DNC DNC DNC DNC TFFFFTFFTT
0200 DNC FTFTFFFFFF DNC FTFTFFFFFF DNC DNC DNC DNC FTFTFFFFFF
0500 DNC DNF DNC FTFFTTTFTF DNC DNC DNC DNC MOVF
1000 DNC DNF DNC FFFFFFFFFT DNC DNC DNC DNC FFFFFFFFFT
Results for LamportFastMutEx (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC __FFFFFFF_ DNC DNC DNC DNC DNC DNC
3 DNC DNC F__F__TTF_ DNC DNC DNC DNC DNC DNC
4 DNC DNC _F____FF_F DNC DNC DNC DNC DNC DNC
5 DNC DNC F__FF__F_F DNC DNC DNC DNC DNC DNC
6 DNC DNC _F_FF_F__F DNC DNC DNC DNC DNC DNC
7 DNC DNC _F___FFF_F DNC DNC DNC DNC DNC DNC
8 DNC DNC _F__F__F_F DNC DNC DNC DNC DNC DNC
Results for LamportFastMutEx (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC TTFFFFFFFT DNC TTFFFFFFFT DNC DNC DNC DNC TTFFFFFFFT
3 DNC FTTFTTTTFF DNC FTTFTTTTFF DNC DNC DNC DNC FTTFTTTTFF
4 DNC TFTTTTFFTF DNC TFTTTTFFTF DNC DNC DNC DNC TFTTTTFFTF
5 DNC DNF DNC FFTFFTTFTF DNC DNC DNC DNC FFTFFTTFTF
6 DNC DNF DNC TFTFFFFFFF DNC DNC DNC DNC TF_FF_FFFF
7 DNC DNF DNC TFTTTFFFTF DNC DNC DNC DNC TFTTTF_FTF
8 DNC DNF DNC TFTFF_TFTF DNC DNC DNC DNC _FTFF_T_TF
Results for MAPK (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC TTFTTFFTTF DNC FFFFTFFTTF DNC DNC DNC DNC FFFFTFFTTF
020 DNC DNF DNC TFFFFFTFFT DNC DNC DNC DNC TFFFFFT_FT
040 DNC DNF DNC TFFFFTFTFF DNC DNC DNC DNC TFFFFTFTF_
080 DNC DNF DNC TTFTFFFTFF DNC DNC DNC DNC T_FTFFFTFF
160 DNC DNF DNC TTFFTFFFFF DNC DNC DNC DNC TTFF__FFFF
320 DNC DNF DNC FFTFTFFFFF DNC DNC DNC DNC FFTFTFFFFF
Results for NeoElection (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC F_T_F_T___ DNC DNC DNC DNC DNC DNC
3 DNC DNC _T____FF_F DNC DNC DNC DNC DNC DNC
4 DNC DNC DNF DNC DNC DNC DNC DNC DNC
5 DNC DNC DNF DNC DNC DNC DNC DNC DNC
6 DNC DNC F____F_FF_ DNC DNC DNC DNC DNC DNC
7 DNC DNC FFF__FF___ DNC DNC DNC DNC DNC DNC
8 DNC DNC FF__FFF___ DNC DNC DNC DNC DNC DNC
Results for NeoElection (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC FTTFFFTFTF DNC FTTFFFTFTF DNC DNC DNC DNC FTTFFFTFTF
3 DNC FTTFTTFFFF DNC __TFTTFF_F DNC DNC DNC DNC _TTFTTFFFF
4 DNC MOVF DNC _F_FF_F_FF DNC DNC DNC DNC _F_FF_F_FF
5 DNC MOVF DNC ____F_____ DNC DNC DNC DNC TFF_F_F__F
6 DNC MOVF DNC F___TFF_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, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC DNC _F_FFFF_FF DNC DNC DNC DNC DNC DNC
02 DNC DNC _______FFF DNC DNC DNC DNC DNC DNC
05 DNC DNC F_FFFFFFFF DNC DNC DNC DNC DNC DNC
10 DNC DNC F_F__FFFF_ DNC DNC DNC DNC DNC DNC
20 DNC DNC _F_____F__ DNC DNC DNC DNC DNC DNC
50 DNC DNC __F__F_FFF DNC DNC DNC DNC DNC DNC
Results for PermAdmissibility (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
01 DNC TFTFFFFTFF DNC TFTFFFFTFF DNC DNC DNC DNC TFTFFFFTFF
02 DNC DNF DNC TTFFTTTFFF DNC DNC DNC DNC TTFFTTTFFF
05 DNC DNF DNC FFFFFFFFFF DNC DNC DNC DNC FFF_FFFF_F
10 DNC DNF DNC FFFTTFFFFT DNC DNC DNC DNC FFFTTFFFFT
20 DNC DNF DNC FFTTTFTFFT DNC DNC DNC DNC FFTTTFTFFT
50 DNC DNF DNC FFFTTFTFFF DNC DNC DNC DNC FFFTTFTFFF
Results for Peterson (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC _F_FFFFFFF DNC DNC DNC DNC DNC DNC
3 DNC DNC FF___FF_FF DNC DNC DNC DNC DNC DNC
4 DNC DNC _FFFFFF_FF 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 DNC TFTFFFFFFF DNC TFTFFFFFFF DNC DNC DNC DNC TFTFFFFFFF
3 DNC FFTTTFFTFF DNC FFTTTFFTFF DNC DNC DNC DNC FFTTTFFTFF
4 DNC CC DNC TFFFFFFTFF DNC DNC DNC DNC TFFFFFFTFF
5 DNC CC DNC TTTFTFFTFF DNC DNC DNC DNC TT_F_FFTFF
6 DNC CC DNC TFFFTTFFFF DNC DNC DNC DNC TFFFT_FFFF
7 DNC CC DNC TFTFTTF_TT DNC DNC DNC DNC TFTFT_F_TT
Results for Philosophers (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC FFF_F_FF_F DNC DNC DNC DNC DNC DNC
000010 DNC DNC __FF___FF_ DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000050 DNC DNC FFF___F_F_ DNC DNC DNC DNC DNC DNC
000100 DNC DNC _____FFF_F DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000500 DNC DNC __________ DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
010000 DNC DNC 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 DNC FFFTFTFFFF DNC FFFTFTFFFF DNC DNC DNC DNC FFFTFTFFFF
000010 DNC TTFFFTTFFT DNC TTFFFTTFFT DNC DNC DNC DNC TTFFFTTFFT
000020 DNC FFTFFFFTFT DNC FF_FFFFT_T DNC DNC DNC DNC FF_FFF_T_T
000050 DNC CC DNC FFFTTTFTFT DNC DNC DNC DNC FFFT_TF_FT
000100 DNC CC DNC TTTTTFFFTF DNC DNC DNC DNC TTTTTFFFT_
000200 DNC T_________ DNC TTFTFFFFFF DNC DNC DNC DNC _TFTFFFFFF
000500 DNC CC DNC FT_TFFTTFF DNC DNC DNC DNC FT_TFFTTFF
001000 DNC MOVF DNC FFFF___FFF DNC DNC DNC DNC FF_FFF_FFF
002000 DNC DNF DNC __________ 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
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 FTFFFFFTFT DNC FTFFFFFTFT DNC DNC DNC DNC FTFFFFFTFT
10 DNC FFTFFTFFFT DNC FFTFFTFFFT DNC DNC DNC DNC FFTFFTFFFT
20 DNC CC DNC FTFFFF_FFF 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 TTFFTTTFFF DNC DNC DNC DNC __FFTTT__F
Results for QuasiCertifProtocol (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC F__F_F_F__ DNC DNC DNC DNC DNC DNC
06 DNC DNC _FF__F__F_ DNC DNC DNC DNC DNC DNC
10 DNC DNC FFFFFF__F_ DNC DNC DNC DNC DNC DNC
18 DNC DNC DNF DNC DNC DNC DNC DNC DNC
22 DNC DNC DNF DNC DNC DNC DNC DNC DNC
28 DNC DNC DNF DNC DNC DNC DNC DNC DNC
32 DNC DNC DNF DNC DNC DNC DNC DNC DNC
Results for QuasiCertifProtocol (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC FTTFTFFFFF DNC FTTFTFFFFF DNC DNC DNC DNC FTTFTFFFFF
06 DNC FFFFTFTTFF DNC FFFFTFTTFF DNC DNC DNC DNC FFFFTFTTFF
10 DNC MOVF DNC F_FFFFTTFF DNC DNC DNC DNC __FFF_TTFF
18 DNC MOVF DNC FF_TFTTTTF DNC DNC DNC DNC FF_TF_TTTF
22 DNC MOVF DNC FTFFFTT_F_ DNC DNC DNC DNC FTFFF_T_F_
28 DNC MOVF DNC TTTFTFFFFF DNC DNC DNC DNC T_T_TFFF_F
32 DNC MOVF DNC TFFFFFTFFF DNC DNC DNC DNC T__FF_TFFF
Results for Railroad (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC FFFFTFFFTT DNC FFFFFFFTTF DNC DNC DNC DNC FFFFFFFTTF
010 DNC MOVF DNC FFFFFTFTFT DNC DNC DNC DNC FFFFFTFTFT
020 DNC MOVF DNC FTTFFTTFTF DNC DNC DNC DNC FTTFF_TFTF
050 DNC MOVF DNC TFFFTTFTFF DNC DNC DNC DNC _FFFTTFTFF
100 DNC MOVF DNC F_TFTTFFFF DNC DNC DNC DNC DNF
Results for ResAllocation (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
R002C002 DNC FTTTFTFTFT DNC FTFTFTFTFT DNC DNC DNC DNC FTFTFTFTFT
R003C002 DNC TFFFFFTFFT DNC TFFFFFTFFT DNC DNC DNC DNC TFFFFFTFFT
R003C003 DNC FFTTFFFFTF DNC FFTTFFFFTF DNC DNC DNC DNC FFTTFFFFTF
R003C005 DNC FFFFFFTFTF DNC FFFFFFTFTF DNC DNC DNC DNC FFFFFFTFTF
R003C010 DNC FTFFTTFFTF DNC FTFFFTFFTF DNC DNC DNC DNC FTFFFTFFTF
R003C015 DNC FFFTFFTFFT DNC FFFTFFTFFT DNC DNC DNC DNC FFFTFFTFFT
R003C020 DNC MOVF DNC FTFTFFFFFF DNC DNC DNC DNC FTFTFFFFFF
R003C050 DNC MOVF DNC TFFFFTTFFF DNC DNC DNC DNC TFFFFTTFFF
R003C100 DNC MOVF DNC FTTFTFFFTF DNC DNC DNC DNC FTTFTFFF_F
R005C002 DNC TFTTFFFFFF DNC TFTTFFFFFF DNC DNC DNC DNC TFTTFFFFFF
R010C002 DNC TFTFFFFFTF DNC TFTFFFFFTF DNC DNC DNC DNC TFTFFFFFTF
R015C002 DNC TTFFTFFFTF DNC TTFFTFFFTF DNC DNC DNC DNC TTFFTFFFTF
R020C002 DNC FTFFTTFFFF DNC FTFFTTFTFF DNC DNC DNC DNC FTF_TTFTFF
R050C002 DNC FTFFFFFFFF DNC FTFFFFFFFF DNC DNC DNC DNC FTFFFFFFFF
R100C002 DNC TFFFTFFFTF DNC TFFFTFFFTF DNC DNC DNC DNC TF_FTFFFTF
Results for Ring (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC FTFFFTFTTF DNC FTFFFTFTTF DNC DNC DNC DNC FTFFFTFTTF
Results for RwMutex (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC FFFFFTFFFT DNC FFFFFTFFTT DNC DNC DNC DNC FFFFFTFFTT
r0010w0020 DNC FFFTFFFTTT DNC FFFTFFFTTT DNC DNC DNC DNC FFFTTFFTTT
r0010w0050 DNC FFTTTTFTFF DNC FFTTTTFTFF DNC DNC DNC DNC FFTTTTFTFF
r0010w0100 DNC FFFTTFTFFT DNC FFFTTFTFFT DNC DNC DNC DNC FFFTTFTFFT
r0010w0500 DNC TTTFFFFTTF DNC TTTFFFFTFF DNC DNC DNC DNC TTTFFFFTFF
r0010w1000 DNC MOVF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
r0010w2000 DNC MOVF DNC F_T______F DNC DNC DNC DNC FFTFFFTTTF
r0020w0010 DNC FFFFFTFFTF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
r0100w0010 DNC FFFFFFFFFF DNC FFFFFFFFFF DNC DNC DNC DNC FFFFFFFFFF
r0500w0010 DNC FFTTFFFFTF DNC FFTTFFFFTF DNC DNC DNC DNC FFTTFFFFTF
r1000w0010 DNC FTFFTFFTFT DNC FTFFTFFTFT DNC DNC DNC DNC FTFFTFFTFT
r2000w0010 DNC 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 F_FF__F___ DNC DNC DNC DNC DNC DNC
000010 DNC DNC __FF_F__FF DNC DNC DNC DNC DNC DNC
000020 DNC DNC _F_FF___FF DNC DNC DNC DNC DNC DNC
000050 DNC DNC ___FFFFFF_ DNC DNC DNC DNC DNC DNC
000100 DNC DNC _____F_FF_ DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000500 DNC DNC DNF DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
020000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC 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 DNC FTFFTFFFTT DNC FTFFTFFFTT DNC DNC DNC DNC FTFFTFFFTT
000010 DNC TTFFFFTFFF DNC FTFFFFTFFF DNC DNC DNC DNC FTFFFFTFFF
000020 DNC MOVF DNC TFTFFTTTFF DNC DNC DNC DNC TFTFFTTTFF
000050 DNC CC DNC T__FFF_F_T DNC DNC DNC DNC DNF
000100 DNC CC DNC F___TF___T 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 F__F_FFF_F DNC DNC DNC DNC DNC DNC
05 DNC DNC _F_F_FFFFF DNC DNC DNC DNC DNC DNC
10 DNC DNC FF____F__F DNC DNC DNC DNC DNC DNC
15 DNC DNC __FFFFFF__ DNC DNC DNC DNC DNC DNC
20 DNC DNC FF_FFFFFFF DNC DNC DNC DNC DNC DNC
Results for SimpleLoadBal (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC FTTFTFFFTF DNC FTTFTFFFTF DNC DNC DNC DNC FTTFTFFFTF
05 DNC TFFFTFFFFF DNC TFFFTFFFFF DNC DNC DNC DNC TFFFTFFFFF
10 DNC FFTTTFFTTF DNC FFTTTFFTTF DNC DNC DNC DNC FFTTTFFT_F
15 DNC DNF DNC FFFFFFFFTT DNC DNC DNC DNC FFFFFFFFT_
20 DNC MOVF DNC FFFFFFFFFF DNC DNC DNC DNC FFFFFFFFFF
Results for TokenRing (Colored, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC _TT_TT_T_T DNC DNC DNC DNC DNC DNC
010 DNC DNC _F__FF__TT DNC DNC DNC DNC DNC DNC
015 DNC DNC _TFFTFFFF_ 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 DNF DNC DNC DNC DNC DNC DNC
200 DNC DNC DNF DNC DNC DNC DNC DNC DNC
500 DNC DNC __________ DNC DNC DNC DNC DNC DNC
Results for TokenRing (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC TTTFTTTTTT DNC TTTFTTTTTT DNC DNC DNC DNC TTTFTTTTTT
010 DNC CC DNC FFFFFFTTTT DNC DNC DNC DNC FFFFFFTTTT
015 DNC CC DNC FTFFTFFFFF DNC DNC DNC DNC __FF_FFFF_
020 DNC CC DNC FFTFFTFFFT DNC DNC DNC DNC FFTFF_FFF_
Results for Vasy2003 (P/T, Known model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FTTTFFFFFF DNC DNC DNC DNC _TTT_FFFFF
Results for CSRepetitions (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC F__FFF__FF DNC DNC DNC DNC DNC DNC
03 DNC DNC _F__F_____ DNC DNC DNC DNC DNC DNC
04 DNC DNC ___FF_FFFF DNC DNC DNC DNC DNC DNC
05 DNC DNC F_FFFFFFF_ DNC DNC DNC DNC DNC DNC
07 DNC DNC DNF DNC DNC DNC DNC DNC DNC
10 DNC DNC F____F__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 FTFFFFFTFF DNC FTFFFFFTFF DNC DNC DNC DNC FTFFFFFTFF
03 DNC DNF DNC FFTTFTTTTT DNC DNC DNC DNC FFTTFTTTTT
04 DNC DNF DNC TTTFFTFFFF DNC DNC DNC DNC TTTFFTFFFF
05 DNC DNF DNC FTFFFFFFFT DNC DNC DNC DNC F_FFFFFFFT
07 DNC CC DNC TFTTFTFTTF DNC DNC DNC DNC TFT_FT__TF
10 DNC CC DNC FTFTTFFTFT DNC DNC DNC DNC FTFTTFFTF_
Results for Dekker (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC TTFFTFFFFT DNC TTFFTFFFFT DNC DNC DNC DNC TTFFTFFTFT
015 DNC TFFFFTTTTT DNC TFFFFTTTTT DNC DNC DNC DNC TFFFFTTTTT
020 DNC TFFFTFFTFT DNC TFFFTFFTFT DNC DNC DNC DNC _FFFTFFTFT
050 DNC MOVF DNC FFTFTFTFTT DNC DNC DNC DNC FFTFTFTFTT
100 DNC MOVF DNC FFFFTTTFTF DNC DNC DNC DNC FFFFTTT_TF
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 FFTTTFTF__ DNC DNC DNC DNC DNC DNC
3 DNC DNC T_FFF__FTT DNC DNC DNC DNC DNC DNC
4 DNC DNC __F__FTFF_ DNC DNC DNC DNC DNC DNC
5 DNC DNC __FF__FFF_ 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 FF_FFF_TFF 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 FFFFFFTTFF DNC FFFFFFTTFF DNC DNC DNC DNC FFTFFFTTFF
Results for Echo (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
d02r09 DNC FTTTTFFFFF DNC FTFFTTFTFF DNC DNC DNC DNC FTFFTTFTFF
d02r11 DNC FTTFFTTFFF DNC TTFFTTFFTF DNC DNC DNC DNC TTFFTT_FTF
d02r15 DNC FFFFTTTFTF DNC TFTTFFTTFT DNC DNC DNC DNC TFT_F_TTFT
d02r19 DNC FTFTFTFTFF DNC FFFTFFFFFF DNC DNC DNC DNC FFFTFFFFFF
d03r03 DNC FTFFTFFFFT DNC FTTTFFFTTF DNC DNC DNC DNC FT_TFFFTTF
d03r05 DNC TTFTFTFFTF DNC FFFFTFFFTT DNC DNC DNC DNC FFFFTFFFTT
d03r07 DNC FTTFTTTFFF DNC FTFFFFTFFT DNC DNC DNC DNC FTFFF_TFFT
d04r03 DNC FFTTFFTTTF DNC FFFTFTTTFF DNC DNC DNC DNC FFFTFTTTFF
d05r03 DNC TFFTFTTFTF DNC FFFFTTFFTF DNC DNC DNC DNC FFF_TTFFTF
Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
010 DNC CC DNC FTFTFTTFTF DNC DNC DNC DNC FTFTFTTFTF
020 DNC CC DNC TTFFFTTFFF DNC DNC DNC DNC TTFFFTTFFF
050 DNC CC DNC FTTFFT_FFF DNC DNC DNC DNC FTTFFT_FFF
100 DNC CC DNC DNF DNC DNC DNC DNC TT_FTTFF_F
200 DNC CC DNC FTTFTTFFFT DNC DNC DNC DNC FTTFTTFFFT
500 DNC CC DNC FFFFFFFTTT DNC DNC DNC DNC FFFFFFFTTT
Results for FMS (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC TTFFFFTFFF DNC TTFFFFTFFF DNC DNC DNC DNC TTFFFFTFFF
005 DNC FFFFTTFFFF DNC FFFFTTFFFF DNC DNC DNC DNC FFFFTTFFFF
010 DNC FTTFTFTFFT DNC FTTFTFTFFT DNC DNC DNC DNC FTTFTFTFFT
020 DNC FFFTTFTFFF DNC FFFTTFFFFF DNC DNC DNC DNC FFFTTFFFFF
050 DNC FTTFFFFFFT DNC FTTFFFFFFT DNC DNC DNC DNC FTTFFFFFFT
100 DNC TFFFFTTFFF DNC TFFFFTTFFF DNC DNC DNC DNC TFFFFTTFFF
200 DNC FFFTTTTFFT DNC FFFTTTTFFT DNC DNC DNC DNC FFFTTTTFFT
500 DNC DNF DNC FFFFFTFFFF DNC DNC DNC DNC FFFFFTFFFF
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 FFTFTFFTFT DNC FFTFTFFTFT DNC DNC DNC DNC FFTFTFFTFT
Results for HouseConstruction (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
002 DNC TTTFFFTTTF DNC TTFFFFTTTF DNC DNC DNC DNC TTFFFFTTTF
005 DNC TFFFTFTFFF DNC TFFFFFFFFF DNC DNC DNC DNC TFFFFFFFFF
010 DNC FTFFFFFTTT DNC FTFFTFTTFF DNC DNC DNC DNC FTFFTFTTFF
020 DNC FTTTFTFTFF DNC FFTTFTFTFF DNC DNC DNC DNC FFTTFTFTFF
050 DNC CC DNC FFFTFFFFFT DNC DNC DNC DNC FFFFFFFFFT
100 DNC MOVF DNC FFFFFFFFTT DNC DNC DNC DNC FFFFFFFFTT
200 DNC DNF DNC FFTFTTTFFF DNC DNC DNC DNC FFTFTTTFFF
500 DNC DNF DNC FFTFFFTTFF DNC DNC DNC DNC FFTFFFTTFF
Results for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC TTFTTTTTTF DNC FFFFTFFFFF DNC DNC DNC DNC FFFFTFFFFF
Results for Kanban (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
0005 DNC FTTTTTTTTT DNC FTTFTFTTTT DNC DNC DNC DNC FTTFTFTTTT
0010 DNC TFTTFFFFTF DNC TFTTFFFFTF DNC DNC DNC DNC TFTTFFFFTF
0020 DNC TTFFFFTTTF DNC TTFFFFTTTF DNC DNC DNC DNC TTFFFFTTTF
0050 DNC FFFTTTTFTF DNC FFFTFTTTTF DNC DNC DNC DNC FFFTFTTTTF
0100 DNC TFFFFTFFTT DNC TFFFFTFFTT DNC DNC DNC DNC TFFFFTFFTT
0200 DNC FTFTFFFFFF DNC FTFTFFFFFF DNC DNC DNC DNC FTFTFFFFFF
0500 DNC DNF DNC FTFFTTTFTF DNC DNC DNC DNC MOVF
1000 DNC DNF DNC FFFFFFFFFT DNC DNC DNC DNC FFFFFFFFFT
Results for LamportFastMutEx (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC __FFFFFFF_ DNC DNC DNC DNC DNC DNC
3 DNC DNC F__F__TTF_ DNC DNC DNC DNC DNC DNC
4 DNC DNC _F____FF_F DNC DNC DNC DNC DNC DNC
5 DNC DNC F__FF__F_F DNC DNC DNC DNC DNC DNC
6 DNC DNC _F_FF_F__F DNC DNC DNC DNC DNC DNC
7 DNC DNC _F___FFF_F DNC DNC DNC DNC DNC DNC
8 DNC DNC _F__F__F_F 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 TTFFFFFFFT DNC TTFFFFFFFT DNC DNC DNC DNC TTFFFFFFFT
3 DNC FTTFTTTTFF DNC FTTFTTTTFF DNC DNC DNC DNC FTTFTTTTFF
4 DNC TFTTTTFFTF DNC TFTTTTFFTF DNC DNC DNC DNC TFTTTTFFTF
5 DNC MOVF DNC FFTFFTTFTF DNC DNC DNC DNC FFTFFTTFTF
6 DNC DNF DNC TFTFFFFFFF DNC DNC DNC DNC TF_FF_FFFF
7 DNC DNF DNC TFTTTFFFTF DNC DNC DNC DNC TFTTTF_FTF
8 DNC DNF DNC TFTFF_TFTF DNC DNC DNC DNC _FTFF_T_TF
Results for MAPK (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
008 DNC TTFTTFFTTF DNC FFFFTFFTTF DNC DNC DNC DNC FFFFTFFTTF
020 DNC DNF DNC TFFFFFTFFT DNC DNC DNC DNC TFFFFFT_FT
040 DNC DNF DNC TFFFFTFTFF DNC DNC DNC DNC TFFFFTFTF_
080 DNC DNF DNC TTFTFFFTFF DNC DNC DNC DNC T_FTFFFTFF
160 DNC DNF DNC TTFFTFFFFF DNC DNC DNC DNC TTFF__FFFF
320 DNC DNF DNC FFTFTFFFFF DNC DNC DNC DNC FFTFTFFFFF
Results for NeoElection (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC F_T_F_T___ DNC DNC DNC DNC DNC DNC
3 DNC DNC _T____FF_F DNC DNC DNC DNC DNC DNC
4 DNC DNC DNF DNC DNC DNC DNC DNC DNC
5 DNC DNC DNF DNC DNC DNC DNC DNC DNC
6 DNC DNC F____F_FF_ DNC DNC DNC DNC DNC DNC
7 DNC DNC FFF__FF___ DNC DNC DNC DNC DNC DNC
8 DNC DNC FF__FFF___ 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 FTTFFFTFTF DNC FTTFFFTFTF DNC DNC DNC DNC FTTFFFTFTF
3 DNC FTTFTTFFFF DNC __TFTTFF_F DNC DNC DNC DNC _TTFTTFFFF
4 DNC MOVF DNC _F_FF_F_FF DNC DNC DNC DNC _F_FF_F_FF
5 DNC MOVF DNC __________ DNC DNC DNC DNC TFF_F_F__F
6 DNC DNF DNC F___TFF_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 _F_FFFF_FF DNC DNC DNC DNC DNC DNC
02 DNC DNC _______FFF DNC DNC DNC DNC DNC DNC
05 DNC DNC F_FFFFFFFF DNC DNC DNC DNC DNC DNC
10 DNC DNC F_F__FFFF_ DNC DNC DNC DNC DNC DNC
20 DNC DNC _F_____F__ DNC DNC DNC DNC DNC DNC
50 DNC DNC __F__F_FFF 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 TFTFFFFTFF DNC TFTFFFFTFF DNC DNC DNC DNC TFTFFFFTFF
02 DNC DNF DNC TTFFTTTFFF DNC DNC DNC DNC TTFFTTTFFF
05 DNC DNF DNC FFFFFFFFFF DNC DNC DNC DNC FFF_FFFF_F
10 DNC DNF DNC FFFTTFFFFT DNC DNC DNC DNC FFFTTFFFFT
20 DNC DNF DNC FFTTTFTFFT DNC DNC DNC DNC FFTTTFTFFT
50 DNC DNF DNC FFFTTFTFFF DNC DNC DNC DNC FFFTTFTFFF
Results for Peterson (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
2 DNC DNC _F_FFFFFFF DNC DNC DNC DNC DNC DNC
3 DNC DNC FF___FF_FF DNC DNC DNC DNC DNC DNC
4 DNC DNC _FFFFFF_FF 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 TFTFFFFFFF DNC TFTFFFFFFF DNC DNC DNC DNC TFTFFFFFFF
3 DNC FFTTTFFTFF DNC FFTTTFFTFF DNC DNC DNC DNC FFTTTFFTFF
4 DNC MOVF DNC TFFFFFFTFF DNC DNC DNC DNC TFFFFFFTFF
5 DNC MOVF DNC TTTFTFFTFF DNC DNC DNC DNC TT_F_FFTFF
6 DNC DNF DNC TFFFTTFFFF DNC DNC DNC DNC TFFFT_FFFF
7 DNC DNF DNC TFTFTTF_TT DNC DNC DNC DNC TFTFT_F_TT
Results for Philosophers (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
000005 DNC DNC FFF_F_FF_F DNC DNC DNC DNC DNC DNC
000010 DNC DNC __FF___FF_ DNC DNC DNC DNC DNC DNC
000020 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000050 DNC DNC FFF___F_F_ DNC DNC DNC DNC DNC DNC
000100 DNC DNC _____FFF_F DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000500 DNC DNC __________ DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
010000 DNC DNC 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 FFFTFTFFFF DNC FFFTFTFFFF DNC DNC DNC DNC FFFTFTFFFF
000010 DNC TTFFFTTFFT DNC TTFFFTTFFT DNC DNC DNC DNC TTFFFTTFFT
000020 DNC FFTF______ DNC FF_FFFFT_T DNC DNC DNC DNC FF_FFF_T_T
000050 DNC MOVF DNC FFFTTTFTFT DNC DNC DNC DNC FFFT_TF_FT
000100 DNC MOVF DNC TTTTTFFFTF DNC DNC DNC DNC TTTTTFFFT_
000200 DNC MOVF DNC TTFTFFFFFF DNC DNC DNC DNC _TFTFFFFFF
000500 DNC MOVF DNC FT_TFFTTFF DNC DNC DNC DNC FT_TFFTTFF
001000 DNC MOVF DNC FFFF___FFF DNC DNC DNC DNC DNF
002000 DNC DNF DNC DNF 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
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 FTFFFFFTFT DNC FTFFFFFTFT DNC DNC DNC DNC FTFFFFFTFT
10 DNC CC DNC FFTFFTFFFT DNC DNC DNC DNC FFTFFTFFFT
20 DNC DNF DNC FTFFFF_FFF 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 FFFFTTTTTF DNC TTFFTTTFFF DNC DNC DNC DNC __FFTTT__F
Results for QuasiCertifProtocol (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
02 DNC DNC F__F_F_F__ DNC DNC DNC DNC DNC DNC
06 DNC DNC _FF__F__F_ DNC DNC DNC DNC DNC DNC
10 DNC DNC FFFFFF__F_ DNC DNC DNC DNC DNC DNC
18 DNC DNC FF__F____F DNC DNC DNC DNC DNC DNC
22 DNC DNC DNF DNC DNC DNC DNC DNC DNC
28 DNC DNC DNF DNC DNC DNC DNC DNC DNC
32 DNC DNC DNF 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 FTTFTFFFFF DNC FTTFTFFFFF DNC DNC DNC DNC FTTFTFFFFF
06 DNC FFFFTFTTFF DNC FFFFTFTTFF DNC DNC DNC DNC FFFFTFTTFF
10 DNC MOVF DNC F_FFFFTTFF DNC DNC DNC DNC __FFF_TTFF
18 DNC CC DNC FF_TFTTTTF DNC DNC DNC DNC FF_TF_TTTF
22 DNC DNF DNC FTFFFTT_F_ DNC DNC DNC DNC FTFFF_T_F_
28 DNC DNF DNC TTTFTFFFFF DNC DNC DNC DNC T_T_TFFF_F
32 DNC DNF DNC TFFFFFTFFF DNC DNC DNC DNC T__FF_TFFF
Results for Railroad (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC FFFFTFFFTT DNC FFFFFFFTTF DNC DNC DNC DNC FFFFFFFTTF
010 DNC MOVF DNC FFFFFTFTFT DNC DNC DNC DNC FFFFFTFTFT
020 DNC DNF DNC FTTFFTTFTF DNC DNC DNC DNC FTTFF_TFTF
050 DNC DNF DNC TFFFTTFTFF DNC DNC DNC DNC _FFFTTFTFF
100 DNC DNF DNC F_TFTTFFFF 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 FTFTFTFTFT DNC DNC DNC DNC FTFTFTFTFT
R003C002 DNC CC DNC TFFFFFTFFT DNC DNC DNC DNC TFFFFFTFFT
R003C003 DNC CC DNC FFTTFFFFTF DNC DNC DNC DNC FFTTFFFFTF
R003C005 DNC CC DNC FFFFFFTFTF DNC DNC DNC DNC FFFFFFTFTF
R003C010 DNC CC DNC FTFFFTFFTF DNC DNC DNC DNC FTFFFTFFTF
R003C015 DNC CC DNC FFFTFFTFFT DNC DNC DNC DNC FFFTFFTFFT
R003C020 DNC CC DNC FTFTFFFFFF DNC DNC DNC DNC FTFTFFFFFF
R003C050 DNC CC DNC TFFFFTTFFF DNC DNC DNC DNC TFFFFTTFFF
R003C100 DNC CC DNC FTTFTFFFTF DNC DNC DNC DNC FTTFTFFF_F
R005C002 DNC CC DNC TFTTFFFFFF DNC DNC DNC DNC TFTTFFFFFF
R010C002 DNC CC DNC TFTFFFFFTF DNC DNC DNC DNC TFTFFFFFTF
R015C002 DNC CC DNC TTFFTFFFTF DNC DNC DNC DNC TTFFTFFFTF
R020C002 DNC CC DNC FTFFTTFTFF DNC DNC DNC DNC FTF_TTFTFF
R050C002 DNC CC DNC FTFFFFFFFF DNC DNC DNC DNC FTFFFFFFFF
R100C002 DNC CC DNC TFFFTFFFTF DNC DNC DNC DNC TF_FTFFFTF
Results for Ring (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FTFFFTFTTF DNC DNC DNC DNC FTFFFTFTTF
Results for RwMutex (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
r0010w0010 DNC FFFFFTFFFT DNC FFFFFTFFTT DNC DNC DNC DNC FFFFFTFFTT
r0010w0020 DNC FFFTFFFTTT DNC FFFTFFFTTT DNC DNC DNC DNC FFFTTFFTTT
r0010w0050 DNC FFTTTTFTFF DNC FFTTTTFTFF DNC DNC DNC DNC FFTTTTFTFF
r0010w0100 DNC FFFTTFTFFT DNC FFFTTFTFFT DNC DNC DNC DNC FFFTTFTFFT
r0010w0500 DNC TTTFFFFTTF DNC TTTFFFFTFF DNC DNC DNC DNC TTTFFFFTFF
r0010w1000 DNC FFFFFFFFTF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
r0010w2000 DNC MOVF DNC _____FTTT_ DNC DNC DNC DNC FFTFFFTTTF
r0020w0010 DNC FFFFFTFFTF DNC FFFFFTFFTF DNC DNC DNC DNC FFFFFTFFTF
r0100w0010 DNC MOVF DNC FFFFFFFFFF DNC DNC DNC DNC FFFFFFFFFF
r0500w0010 DNC MOVF DNC FFTTFFFFTF DNC DNC DNC DNC FFTTFFFFTF
r1000w0010 DNC MOVF DNC FTFFTFFTFT DNC DNC DNC DNC FTFFTFFTFT
r2000w0010 DNC CC DNC _____TFTF_ 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 F_FF__F___ DNC DNC DNC DNC DNC DNC
000010 DNC DNC __FF_F__FF DNC DNC DNC DNC DNC DNC
000020 DNC DNC _F_FF___FF DNC DNC DNC DNC DNC DNC
000050 DNC DNC ___FFFFFF_ DNC DNC DNC DNC DNC DNC
000100 DNC DNC _____F_FF_ DNC DNC DNC DNC DNC DNC
000200 DNC DNC DNF DNC DNC DNC DNC DNC DNC
000500 DNC DNC DNF DNC DNC DNC DNC DNC DNC
001000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
002000 DNC DNC __________ DNC DNC DNC DNC DNC DNC
005000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
010000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
020000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
050000 DNC DNC DNF DNC DNC DNC DNC DNC DNC
100000 DNC DNC 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 FTFFTFFFTT DNC FTFFTFFFTT DNC DNC DNC DNC FTFFTFFFTT
000010 DNC TTFFFFTFFF DNC FTFFFFTFFF DNC DNC DNC DNC FTFFFFTFFF
000020 DNC MOVF DNC TFTFFTTTFF DNC DNC DNC DNC TFTFFTTTFF
000050 DNC CC DNC T__FFF_F_T DNC DNC DNC DNC DNF
000100 DNC DNF DNC F___TF_F__ 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 F__F_FFF_F DNC DNC DNC DNC DNC DNC
05 DNC DNC _F_F_FFFFF DNC DNC DNC DNC DNC DNC
10 DNC DNC FF____F__F DNC DNC DNC DNC DNC DNC
15 DNC DNC __FFFFFF__ DNC DNC DNC DNC DNC DNC
20 DNC DNC FF_FFFFFFF 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 FTTFTFFFTF DNC FTTFTFFFTF DNC DNC DNC DNC FTTFTFFFTF
05 DNC TFFFTFFFFF DNC TFFFTFFFFF DNC DNC DNC DNC TFFFTFFFFF
10 DNC DNF DNC FFTTTFFTTF DNC DNC DNC DNC FFTTTFFT_F
15 DNC DNF DNC FFFFFFFFTT DNC DNC DNC DNC FFFFFFFFT_
20 DNC DNF DNC FFFFFFFFFF DNC DNC DNC DNC FFFFFFFFFF
Results for TokenRing (Colored, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
005 DNC DNC _TT_TT_T_T DNC DNC DNC DNC DNC DNC
010 DNC DNC _F__FF__TT DNC DNC DNC DNC DNC DNC
015 DNC DNC _TFFTFFFF_ 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 DNF DNC DNC DNC DNC DNC DNC
200 DNC DNC DNF 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 TTTFTTTTTT DNC TTTFTTTTTT DNC DNC DNC DNC TTTFTTTTTT
010 DNC CC DNC FFFFFFTTTT DNC DNC DNC DNC FFFFFFTTTT
015 DNC CC DNC FTFFTFFFFF DNC DNC DNC DNC __FF_FFFF_
020 DNC CC DNC FFTFFTFFFT DNC DNC DNC DNC FFTFF_FFF_
Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
none DNC DNF DNC FTTTFFFFFF DNC DNC DNC DNC _TTT_FFFFF