# 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:

**green**means that all points are counted there,**orange**means that only a part (this may means 0) of the points are scored here because:- there are missing some results (not computed) or,
- no majority for the corresponding line could be computed, thus leaving the status of correctness undecided

**red**means that no score was given because the status was considered to be false.

# The results

They are displayed in the table below.

Summary of Results for reachabilitydeadlock | |||||||||

Results for ARMCacheCoherence (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | FT________ | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for Angiogenesis (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

01 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

05 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | - - - - - - - - |

15 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | - - - - - - - - |

20 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

25 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | - - - - - - - - |

50 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

Results for CircadianClock (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000001 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

000010 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

000100 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | MOVF |

001000 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | MOVF |

010000 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | MOVF |

100000 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | MOVF |

Results for CircularTrains (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

012 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

024 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

048 | DNC | FT________ | DNC | TF | DNC | DNC | CC | DNC | DNF |

096 | DNC | FT________ | DNC | TF | DNC | DNC | CC | DNC | MOVF |

192 | DNC | DNF | DNC | TF | DNC | DNC | CC | DNC | MOVF |

384 | DNC | DNF | DNC | TF | DNC | DNC | CC | DNC | MOVF |

768 | DNC | DNF | DNC | TF | DNC | DNC | CC | DNC | MOVF |

Results for DatabaseWithMutex (Colored, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

04 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

20 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

40 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for DatabaseWithMutex (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

04 | DNC | DNF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

10 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

20 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | MOVF |

40 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for Diffusion2D (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

D05N010 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | DNF |

D05N050 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D05N100 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D05N150 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D05N200 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D05N250 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D05N300 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D05N350 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D10N010 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D10N050 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D10N100 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D10N150 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D10N200 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

D20N010 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D20N050 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D20N100 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D20N150 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D30N010 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D30N050 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D30N100 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D30N150 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D40N010 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D40N050 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D40N100 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D40N150 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D50N010 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D50N050 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D50N100 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

D50N150 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for ERK (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000001 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

000010 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

000100 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | - - - - - - - - |

001000 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | - - - - - - - - |

010000 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | - - - - - - - - |

100000 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | - - - - - - - - |

Results for EnergyBus (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | TF________ | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for MultiwaySync (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | TF________ | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

0 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

1 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

2 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

3 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

4 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

5 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

Results for PolyORBLF (Colored, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

S02J04T06 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S02J04T08 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S02J04T10 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S02J06T06 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S02J06T08 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S02J06T10 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S04J04T06 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S04J04T08 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S04J04T10 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S04J06T06 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

S04J06T08 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

S04J06T10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

S06J04T04 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S06J04T06 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S06J04T08 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S06J06T04 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S06J06T06 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S06J06T08 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for PolyORBLF (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

S02J04T06 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S02J04T08 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S02J04T10 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S02J06T06 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S02J06T08 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S02J06T10 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S04J04T06 | DNC | FT________ | DNC | __ | DNC | DNC | CC | DNC | FT________ |

S04J04T08 | DNC | FT________ | DNC | __ | DNC | DNC | CC | DNC | FT________ |

S04J04T10 | DNC | FT________ | DNC | __ | DNC | DNC | CC | DNC | FT________ |

S04J06T06 | DNC | FT________ | DNC | __ | DNC | DNC | CC | DNC | FT________ |

S04J06T08 | DNC | FT________ | DNC | __ | DNC | DNC | CC | DNC | FT________ |

S04J06T10 | DNC | FT________ | DNC | __ | DNC | DNC | CC | DNC | FT________ |

S06J04T04 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S06J04T06 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S06J04T08 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S06J06T04 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S06J06T06 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S06J06T08 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for PolyORBNT (Colored, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

S05J20 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S05J30 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S05J40 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S05J60 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S05J80 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S10J20 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S10J30 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S10J40 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S10J60 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

S10J80 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for PolyORBNT (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

S05J20 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S05J30 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S05J40 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S05J60 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S05J80 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S10J20 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S10J30 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S10J40 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

S10J60 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | DNF |

S10J80 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | DNF |

Results for ProductionCell (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | TF________ | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for Solitaire (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

EngCT7x7 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

EngNC7x7 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

FrnCT7x7 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

FrnNC7x7 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

SqrCT5x5 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

SqrNC5x5 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for UtahNoC (P/T, Surprise model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | TF________ | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for CSRepetitions (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

03 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

04 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

07 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for CSRepetitions (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

03 | DNC | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

04 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

05 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

07 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Dekker (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

010 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

015 | TF________ | TF________ | DNC | TF | DNC | DNC | T_________ | DNC | TF________ |

020 | TF________ | TF________ | DNC | TF | DNC | DNC | CC | DNC | DNF |

050 | DNF | DNF | DNC | TF | DNC | DNC | CC | DNC | DNF |

100 | CC | MOVF | DNC | __ | DNC | DNC | DNF | DNC | DNF |

200 | CC | MOVF | DNC | __ | DNC | DNC | DNF | DNC | DNF |

Results for DotAndBoxes (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for DrinkVendingMachine (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

16 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

24 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

48 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

76 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

98 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for DrinkVendingMachine (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

Results for Echo (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

d02r09 | CC | MOVF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

d02r11 | CC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d02r15 | CC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d02r19 | CC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d03r03 | CC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d03r05 | CC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d03r07 | CC | MOVF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

d04r03 | DNF | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d05r03 | CC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Eratosthenes (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

010 | TF________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

020 | TF________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

050 | TF________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

100 | TF________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

200 | TF________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

500 | CC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for FMS (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

002 | DNC | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

005 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

010 | DNC | TF________ | DNC | TF | DNC | DNC | T_________ | DNC | TF________ |

020 | DNC | TF________ | DNC | TF | DNC | DNC | T_________ | DNC | TF________ |

050 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

100 | DNC | TF________ | DNC | TF | DNC | DNC | DNF | DNC | - - - - - - - - |

200 | DNC | TF________ | DNC | TF | DNC | DNC | DNF | DNC | - - - - - - - - |

500 | DNC | TF________ | DNC | TF | DNC | DNC | DNF | DNC | - - - - - - - - |

Results for GlobalResAllocation (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

06 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

07 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

09 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

11 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for GlobalResAllocation (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

Results for HouseConstruction (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

002 | DNC | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

005 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

010 | DNC | FT________ | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

020 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

050 | DNC | DNF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

100 | DNC | MOVF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

200 | DNC | MOVF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

500 | DNC | DNF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

Results for IBMB2S565S3960 (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Kanban (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

0005 | DNC | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

0010 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

0020 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

0050 | DNC | TF________ | DNC | TF | DNC | DNC | DNF | DNC | MOVF |

0100 | DNC | TF________ | DNC | __ | DNC | DNC | DNF | DNC | MOVF |

0200 | DNC | TF________ | DNC | __ | DNC | DNC | DNF | DNC | MOVF |

0500 | DNC | DNF | DNC | __ | DNC | DNC | DNF | DNC | MOVF |

1000 | DNC | DNF | DNC | __ | DNC | DNC | DNF | DNC | MOVF |

Results for LamportFastMutEx (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

6 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

7 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

8 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for LamportFastMutEx (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

3 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

4 | TF________ | TF________ | DNC | TF | DNC | DNC | T_________ | DNC | DNF |

5 | DNF | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

6 | DNF | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

7 | DNF | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

8 | DNF | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for MAPK (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

008 | DNC | TF________ | DNC | TF | DNC | DNC | T_________ | DNC | TF________ |

020 | DNC | DNF | DNC | __ | DNC | DNC | T_________ | DNC | - - - - - - - - |

040 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

080 | DNC | DNF | DNC | __ | DNC | DNC | DNF | DNC | - - - - - - - - |

160 | DNC | DNF | DNC | __ | DNC | DNC | DNF | DNC | - - - - - - - - |

320 | DNC | DNF | DNC | __ | DNC | DNC | DNF | DNC | - - - - - - - - |

Results for NeoElection (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

6 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

7 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

8 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for NeoElection (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

3 | FT________ | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

4 | DNF | MOVF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

5 | CC | MOVF | DNC | __ | DNC | DNC | DNF | DNC | FT________ |

6 | CC | MOVF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

7 | CC | DNF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

8 | CC | DNF | DNC | FT | DNC | DNC | DNF | DNC | DNF |

Results for PermAdmissibility (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

01 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

02 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

20 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

50 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for PermAdmissibility (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

01 | FT________ | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

02 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

05 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

20 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

50 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Peterson (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

6 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

7 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

Results for Peterson (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

3 | TF________ | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

4 | DNF | CC | DNC | TF | DNC | DNC | CC | DNC | DNF |

5 | DNF | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

6 | DNF | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

7 | DNF | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for Philosophers (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000010 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000020 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000050 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000100 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000200 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000500 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

001000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

002000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

005000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

010000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

050000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

100000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

Results for Philosophers (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

000010 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

000020 | FT________ | FT________ | DNC | FT | DNC | DNC | CC | DNC | DNF |

000050 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

000100 | FT________ | FT________ | DNC | FT | DNC | DNC | CC | DNC | DNF |

000200 | FT________ | MOVF | DNC | FT | DNC | DNC | CC | DNC | DNF |

000500 | FT________ | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

001000 | FT________ | MOVF | DNC | FT | DNC | DNC | CC | DNC | MOVF |

002000 | FT________ | DNF | DNC | FT | DNC | DNC | DNF | DNC | DNF |

Results for PhilosophersDyn (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

20 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

50 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

80 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for PhilosophersDyn (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

10 | DNF | FT________ | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

20 | DNF | CC | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

Results for Planning (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | DNC | DNC | __ | DNC | DNC | DNF | DNC | - - - - - - - - |

Results for QuasiCertifProtocol (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

06 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

18 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

22 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

28 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

32 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for QuasiCertifProtocol (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

06 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | MOVF | DNC | FT | DNC | DNC | DNF | DNC | FT________ |

18 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

22 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

28 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

32 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Railroad (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

005 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

010 | DNF | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

020 | DNF | MOVF | DNC | __ | DNC | DNC | T_________ | DNC | DNF |

050 | CC | MOVF | DNC | __ | DNC | DNC | CC | DNC | DNF |

100 | DNF | MOVF | DNC | __ | DNC | DNC | DNF | DNC | DNF |

Results for ResAllocation (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

R002C002 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R003C002 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R003C003 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R003C005 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R003C010 | FT________ | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C015 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R003C020 | FT________ | MOVF | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R003C050 | FT________ | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C100 | FT________ | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R005C002 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R010C002 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R015C002 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R020C002 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R050C002 | FT________ | FT________ | DNC | FT | DNC | DNC | FT________ | DNC | FT________ |

R100C002 | FT________ | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Ring (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | CC | TF________ | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for RwMutex (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

r0010w0010 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

r0010w0020 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

r0010w0050 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

r0010w0100 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

r0010w0500 | TF________ | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0010w1000 | TF________ | MOVF | DNC | TF | DNC | DNC | DNF | DNC | TF________ |

r0010w2000 | TF________ | MOVF | DNC | TF | DNC | DNC | DNF | DNC | TF________ |

r0020w0010 | TF________ | TF________ | DNC | TF | DNC | DNC | T_________ | DNC | TF________ |

r0100w0010 | TF________ | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0500w0010 | TF________ | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r1000w0010 | TF________ | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r2000w0010 | TF________ | MOVF | DNC | TF | DNC | DNC | DNF | DNC | TF________ |

Results for SharedMemory (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000010 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000020 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

000050 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

000100 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

000200 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000500 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

001000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

002000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

005000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

010000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

020000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

050000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

100000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

Results for SharedMemory (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

000010 | TF________ | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

000020 | TF________ | MOVF | DNC | TF | DNC | DNC | CC | DNC | DNF |

000050 | TF________ | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

000100 | TF________ | CC | DNC | __ | DNC | DNC | DNF | DNC | DNF |

Results for SimpleLoadBal (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

15 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

20 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for SimpleLoadBal (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

05 | TF________ | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

10 | DNF | TF________ | DNC | TF | DNC | DNC | T_________ | DNC | DNF |

15 | DNF | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

20 | CC | MOVF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for TokenRing (Colored, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

005 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

010 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

015 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

020 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

030 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

040 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

050 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

100 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

200 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

500 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for TokenRing (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

005 | TF________ | TF________ | DNC | TF | DNC | DNC | TF________ | DNC | TF________ |

010 | TF________ | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

015 | CC | CC | DNC | __ | DNC | DNC | T_________ | DNC | DNF |

020 | CC | CC | DNC | __ | DNC | DNC | DNF | DNC | DNF |

Results for Vasy2003 (P/T, Known model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for CSRepetitions (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

03 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

04 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

07 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for CSRepetitions (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

03 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

04 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

05 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

07 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Dekker (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

010 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

015 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

020 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | DNF |

050 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | DNF |

100 | DNC | MOVF | DNC | __ | DNC | DNC | CC | DNC | DNF |

200 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for DotAndBoxes (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for DrinkVendingMachine (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

16 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

24 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

48 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

76 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

98 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for DrinkVendingMachine (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

Results for Echo (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

d02r09 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d02r11 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d02r15 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d02r19 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d03r03 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d03r05 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d03r07 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d04r03 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

d05r03 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

010 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

020 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

050 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

100 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

200 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

500 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for FMS (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

002 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

005 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

010 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

020 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

050 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

100 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | - - - - - - - - |

200 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | - - - - - - - - |

500 | DNC | DNF | DNC | TF | DNC | DNC | CC | DNC | - - - - - - - - |

Results for GlobalResAllocation (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

06 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

07 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

09 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

11 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for GlobalResAllocation (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

Results for HouseConstruction (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

002 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

005 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

010 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

020 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

050 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

100 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

200 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

500 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Kanban (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

0005 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

0010 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

0020 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

0050 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | MOVF |

0100 | DNC | TF________ | DNC | __ | DNC | DNC | CC | DNC | MOVF |

0200 | DNC | TF________ | DNC | __ | DNC | DNC | CC | DNC | MOVF |

0500 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | MOVF |

1000 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | MOVF |

Results for LamportFastMutEx (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

6 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

7 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

8 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for LamportFastMutEx (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

3 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

4 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | DNF |

5 | DNC | MOVF | DNC | __ | DNC | DNC | CC | DNC | DNF |

6 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

7 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

8 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for MAPK (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

008 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

020 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

040 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

080 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

160 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

320 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

Results for NeoElection (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

6 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

7 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

8 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for NeoElection (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

3 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

4 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

5 | DNC | MOVF | DNC | __ | DNC | DNC | CC | DNC | FT________ |

6 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

7 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

8 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | DNF |

Results for PermAdmissibility (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

01 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

02 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

20 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

50 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for PermAdmissibility (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

01 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

02 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

05 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

20 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

50 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Peterson (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

3 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

4 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

5 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

6 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

7 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

Results for Peterson (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

2 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

3 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

4 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | DNF |

5 | DNC | MOVF | DNC | __ | DNC | DNC | CC | DNC | DNF |

6 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

7 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for Philosophers (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000010 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000020 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000050 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000100 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000200 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000500 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

001000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

002000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

005000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

010000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

050000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

100000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

Results for Philosophers (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

000010 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

000020 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | DNF |

000050 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

000100 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | DNF |

000200 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | DNF |

000500 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

001000 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | MOVF |

002000 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | DNF |

Results for PhilosophersDyn (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

20 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

50 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

80 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for PhilosophersDyn (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

03 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

20 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Planning (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | TF________ | DNC | __ | DNC | DNC | CC | DNC | - - - - - - - - |

Results for QuasiCertifProtocol (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

06 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

18 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

22 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

28 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

32 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for QuasiCertifProtocol (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

06 | DNC | FT________ | DNC | FT | DNC | DNC | CC | DNC | FT________ |

10 | DNC | MOVF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

18 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

22 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

28 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

32 | DNC | DNF | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Railroad (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

005 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

010 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

020 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

050 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

100 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for ResAllocation (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

R002C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C003 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C005 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C010 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C015 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C020 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C050 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R003C100 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R005C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R010C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R015C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R020C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R050C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

R100C002 | DNC | CC | DNC | FT | DNC | DNC | CC | DNC | FT________ |

Results for Ring (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for RwMutex (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

r0010w0010 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0010w0020 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0010w0050 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0010w0100 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0010w0500 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0010w1000 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0010w2000 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0020w0010 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0100w0010 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r0500w0010 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r1000w0010 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | TF________ |

r2000w0010 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

Results for SharedMemory (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000010 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000020 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

000050 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

000100 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

000200 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

000500 | DNC | DNC | F_________ | DNC | DNC | DNC | DNC | DNC | DNC |

001000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

002000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

005000 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

010000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

020000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

050000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

100000 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

Results for SharedMemory (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

000005 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

000010 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

000020 | DNC | MOVF | DNC | TF | DNC | DNC | CC | DNC | DNF |

000050 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

000100 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for SimpleLoadBal (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

05 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

10 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

15 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

20 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for SimpleLoadBal (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

02 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

05 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

10 | DNC | DNF | DNC | TF | DNC | DNC | CC | DNC | DNF |

15 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

20 | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for TokenRing (Colored, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

005 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

010 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

015 | DNC | DNC | T_________ | DNC | DNC | DNC | DNC | DNC | DNC |

020 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

030 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

040 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

050 | DNC | DNC | DNF | DNC | DNC | DNC | DNC | DNC | DNC |

100 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

200 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

500 | DNC | DNC | __________ | DNC | DNC | DNC | DNC | DNC | DNC |

Results for TokenRing (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

005 | DNC | TF________ | DNC | TF | DNC | DNC | CC | DNC | TF________ |

010 | DNC | CC | DNC | TF | DNC | DNC | CC | DNC | TF________ |

015 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

020 | DNC | CC | DNC | __ | DNC | DNC | CC | DNC | DNF |

Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score | |||||||||

cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |

none | DNC | DNF | DNC | __ | DNC | DNC | CC | DNC | DNF |