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 |