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