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 reachabilitybounds | |||||||||||
Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
15 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
25 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
50 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
001000 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010000 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100000 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for CircularTrains (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
012 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
024 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
048 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
096 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
192 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
384 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
768 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
04 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
40 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
04 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
40 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D05N050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D05N100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D05N150 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D05N200 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D05N250 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D05N300 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D05N350 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D10N010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D10N050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D10N100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D10N150 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D10N200 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D20N010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D20N050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D20N100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D20N150 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D30N010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D30N050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D30N100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D30N150 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D40N010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D40N050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D40N100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D40N150 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D50N010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D50N050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D50N100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
D50N150 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
001000 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010000 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100000 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for EnergyBus (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for MultiwaySync (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
1 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
2 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PolyORBLF (Colored, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S02J04T06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J04T08 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J04T10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J06T06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J06T08 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J06T10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J04T06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J04T08 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J04T10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J06T06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J06T08 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J06T10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J04T04 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J04T06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J04T08 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J06T04 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J06T06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J06T08 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PolyORBLF (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S02J04T06 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J04T08 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J04T10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J06T06 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J06T08 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S02J06T10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J04T06 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J04T08 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J04T10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J06T06 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J06T08 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S04J06T10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J04T04 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J04T06 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J04T08 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J06T04 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J06T06 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S06J06T08 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PolyORBNT (Colored, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S05J20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J30 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J40 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J60 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J80 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J30 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J40 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J60 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J80 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PolyORBNT (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S05J20 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J30 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J40 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J60 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S05J80 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J20 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J30 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J40 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J60 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
S10J80 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for ProductionCell (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
EngNC7x7 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
FrnCT7x7 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
FrnNC7x7 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
SqrCT5x5 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
SqrNC5x5 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for UtahNoC (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for CSRepetitions (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
03 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
04 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
07 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for CSRepetitions (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | TFTTTTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTTTFFT | 1111111111 |
03 | ---------- | FFFTTTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTTTFFT | 1111111111 |
04 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
07 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Dekker (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
010 | ---------- | FFFFFTTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFFFTTTFF | 1111111111 |
015 | ---------- | TFTTTTTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTTTTFT | 1111111111 |
020 | ---------- | TTFFFTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFFTTTTT | 1111111111 |
050 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
200 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DotAndBoxes (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
16 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
24 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
48 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
76 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
98 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DrinkVendingMachine (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | FFFFTFFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFFTFFTFT | 1111111111 |
Correctness mask for Echo (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
d02r09 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d02r11 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d02r15 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d02r19 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d03r03 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d03r05 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d03r07 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d04r03 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
d05r03 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Eratosthenes (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
010 | ---------- | TTFFTTTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTTTTFT | 1111111111 |
020 | ---------- | FFTTFTFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTFTFTTT | 1111111111 |
050 | ---------- | FFFTFTTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFTTFTT | 1111111111 |
100 | ---------- | TTFTTFTFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTFTFTF | 1111111111 |
200 | ---------- | FTFFTTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFFTTTTTT | 1111111111 |
500 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for FMS (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---------- | TFFTFFFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFTFFFTFT | 1111111111 |
005 | ---------- | TTFFTFFTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTFFTFF | 1111111111 |
010 | ---------- | TTFTTTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTTTFFT | 1111111111 |
020 | ---------- | FTFTTFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTTFTTFF | 1111111111 |
050 | ---------- | TTFFFTFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFFTFFTT | 1111111111 |
100 | ---------- | FFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFFFFFF | 1111111111 |
200 | ---------- | FFFFFFTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFFFFTTFT | 1111111111 |
500 | ---------- | TTTTFFFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTTFFFTTT | 1111111111 |
Correctness mask for GlobalResAllocation (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
07 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
09 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
11 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for GlobalResAllocation (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | TTFTTFFTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTFFTTF | 1111111111 |
Correctness mask for HouseConstruction (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---------- | FTFTFFFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTFFFFTT | 1111111111 |
005 | ---------- | TFTTTFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTFTTTT | 1111111111 |
010 | ---------- | FFFTFFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFFTTFF | 1111111111 |
020 | ---------- | FTTTFTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTTFTTFFT | 1111111111 |
050 | ---------- | TTFTFFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFFTTFF | 1111111111 |
100 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
200 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
500 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for IBMB2S565S3960 (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Kanban (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
0005 | ---------- | TTFTFTFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFTFTFT | 1111111111 |
0010 | ---------- | FFTTFFTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTFFTFTT | 1111111111 |
0020 | ---------- | TFTFFFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTFFFTTTT | 1111111111 |
0050 | ---------- | TTFFFTFTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFFTFTFF | 1111111111 |
0100 | ---------- | FFFTFTFFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFTFFFF | 1111111111 |
0200 | ---------- | TTTFTTFFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFTTFFFT | 1111111111 |
0500 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
1000 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for LamportFastMutEx (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for LamportFastMutEx (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | TTTFTFTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFTFTTFT | 1111111111 |
3 | ---------- | TFTTFTFTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTFTFTTF | 1111111111 |
4 | ---------- | TTTFTTTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFTTTFTT | 1111111111 |
5 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for MAPK (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
008 | ---------- | FFTTTFTFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTTFTFFF | 1111111111 |
020 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
040 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
080 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
160 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
320 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for NeoElection (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for NeoElection (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | FFTFFFFTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTFFFFTTF | 1111111111 |
3 | ---------- | FFFTFTFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFTFTTT | 1111111111 |
4 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PermAdmissibility (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
50 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PermAdmissibility (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---------- | TTFFTFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTFTTFF | 1111111111 |
02 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
50 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Peterson (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Peterson (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | FTFFTTFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFFTTFTTT | 1111111111 |
3 | ---------- | TTFTFTFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFTFTTT | 1111111111 |
4 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Philosophers (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000010 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000020 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000050 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000200 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000500 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
001000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
002000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
005000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Philosophers (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | TFTTTFTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTFTFFT | 1111111111 |
000010 | ---------- | FFFTTTTFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTTTFTF | 1111111111 |
000020 | ---------- | TTFTTFTFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTFTFTF | 1111111111 |
000050 | ---------- | FFFTFTFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFTFTFT | 1111111111 |
000100 | ---------- | FTTFTTTTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTFTTTTTF | 1111111111 |
000200 | ---------- | TFTFFFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTFFFTTTT | 1111111111 |
000500 | ---------- | FFTTTFFTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTTFFTTF | 1111111111 |
001000 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
002000 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PhilosophersDyn (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
50 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
80 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PhilosophersDyn (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | FFTFTFTFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTFTFTFTF | 1111111111 |
10 | ---------- | FFTTTFTFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTTFTFTF | 1111111111 |
20 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
18 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
22 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
28 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
32 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for QuasiCertifProtocol (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | FFTFTFTTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTFTFTTTF | 1111111111 |
06 | ---------- | TFTTTTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTTTFFT | 1111111111 |
10 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
18 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
22 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
28 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
32 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Railroad (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---------- | FFFTFTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFTTFFT | 1111111111 |
010 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for ResAllocation (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
R002C002 | ---------- | FFFTFFFTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFFFTTF | 1111111111 |
R003C002 | ---------- | FFTFTFFTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTFTFFTTF | 1111111111 |
R003C003 | ---------- | TTFTTTTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTTTTFT | 1111111111 |
R003C005 | ---------- | FTFTFFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTFFTTFF | 1111111111 |
R003C010 | ---------- | TTTFTTFFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFTTFFFT | 1111111111 |
R003C015 | ---------- | TTFTTTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTTTTTT | 1111111111 |
R003C020 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C050 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C100 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R005C002 | ---------- | FTTFTFFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTFTFFTTT | 1111111111 |
R010C002 | ---------- | FTTTTFFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTTTFFFTT | 1111111111 |
R015C002 | ---------- | TTFTFTTTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFTTTTF | 1111111111 |
R020C002 | ---------- | FFFTTTFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTTFFTT | 1111111111 |
R050C002 | ---------- | FTTFFTFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTFFTFFTT | 1111111111 |
R100C002 | ---------- | TTTTTFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTTTFTTTT | 1111111111 |
Correctness mask for Ring (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | TTFTFFTFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFFTFTF | 1111111111 |
Correctness mask for RwMutex (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
r0010w0010 | ---------- | TFFTTFTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFTTFTTFT | 1111111111 |
r0010w0020 | ---------- | TFTTTFTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTFTFTT | 1111111111 |
r0010w0050 | ---------- | TTTFFFTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFFFTTFT | 1111111111 |
r0010w0100 | ---------- | TTFFTTFFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTTFFFT | 1111111111 |
r0010w0500 | ---------- | FFFTTFFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTFFFTT | 1111111111 |
r0010w1000 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
r0010w2000 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
r0020w0010 | ---------- | FTTTTFTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTTTFTFTT | 1111111111 |
r0100w0010 | ---------- | TFFFTFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFFTFTTTT | 1111111111 |
r0500w0010 | ---------- | TFTFFTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTFFTTFFT | 1111111111 |
r1000w0010 | ---------- | TTFTTFFFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTFFFFF | 1111111111 |
r2000w0010 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SharedMemory (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000010 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000020 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000050 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000200 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000500 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
001000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
002000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
005000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SharedMemory (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | FFFTTTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTTTTTT | 1111111111 |
000010 | ---------- | FFFFTFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFFTFTTTT | 1111111111 |
000020 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SimpleLoadBal (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
15 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SimpleLoadBal (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | FTFTFFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTFFTTFF | 1111111111 |
05 | ---------- | TTFTFTTFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFTTFFF | 1111111111 |
10 | ---------- | TFFFFFTTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFFFFTTTF | 1111111111 |
15 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for TokenRing (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
015 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
030 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
040 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
200 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
500 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for TokenRing (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---------- | TFFTTFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFTTFTTFF | 1111111111 |
010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
015 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Vasy2003 (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
03 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
04 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
07 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for CSRepetitions (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | FFTTTTTFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTTTTFFF | 1111111111 |
03 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
04 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
07 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Dekker (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
010 | ---------- | FFFFFTTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFFFTTTFF | 1111111111 |
015 | ---------- | TFTTTTTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTTTTFT | 1111111111 |
020 | ---------- | TTFFFTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFFTTTTT | 1111111111 |
050 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
200 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
16 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
24 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
48 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
76 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
98 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for DrinkVendingMachine (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | FFFTTFFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTFFTFT | 1111111111 |
Correctness mask for Echo (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
d02r09 | ---------- | FFFTTFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTFTTTT | 1111111111 |
d02r11 | ---------- | TTFFTTFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTTFTFT | 1111111111 |
d02r15 | ---------- | TTTTFFTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTTFFTFFT | 1111111111 |
d02r19 | ---------- | TTTTTTTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTTTTTFTT | 1111111111 |
d03r03 | ---------- | FTFFTTFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFFTTFFTT | 1111111111 |
d03r05 | ---------- | FTFFTFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFFTFTTFF | 1111111111 |
d03r07 | ---------- | TFTFFTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTFFTTTTT | 1111111111 |
d04r03 | ---------- | TFTTFTFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTFTFFTT | 1111111111 |
d05r03 | ---------- | FTFFTFFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFFTFFTTT | 1111111111 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
200 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
500 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for FMS (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---------- | TFFTFFFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFTFFFTFT | 1111111111 |
005 | ---------- | TTFFTFFTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTFFTFF | 1111111111 |
010 | ---------- | TTFTTTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTTTTFFT | 1111111111 |
020 | ---------- | FTFTTFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTTFTTFF | 1111111111 |
050 | ---------- | TTFFFTFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFFTFFTT | 1111111111 |
100 | ---------- | FFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFFFFFF | 1111111111 |
200 | ---------- | FFFFFFTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFFFFTTFT | 1111111111 |
500 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
07 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
09 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
11 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for GlobalResAllocation (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | TTFFTTFTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTTFTFF | 1111111111 |
Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---------- | FTFTFFFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTFFFFTT | 1111111111 |
005 | ---------- | TFTTTFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTFTTTT | 1111111111 |
010 | ---------- | FFFTFFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFFTTFF | 1111111111 |
020 | ---------- | FTTTFTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTTFTTFFT | 1111111111 |
050 | ---------- | TTFTFFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFFTTFF | 1111111111 |
100 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
200 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
500 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for IBMB2S565S3960 (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | FFFFTFFTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFFTFFTTF | 1111111111 |
Correctness mask for Kanban (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
0005 | ---------- | TTFTFTFTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFTFTFT | 1111111111 |
0010 | ---------- | FFTTFFTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTFFTFTT | 1111111111 |
0020 | ---------- | TFTFFFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTFFFTTTT | 1111111111 |
0050 | ---------- | TTFFFTFTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFFTFTFF | 1111111111 |
0100 | ---------- | FFFTFTFFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFTFFFF | 1111111111 |
0200 | ---------- | TTTFTTFFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFTTFFFT | 1111111111 |
0500 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
1000 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for LamportFastMutEx (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | TTFFTTTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTTTTFF | 1111111111 |
3 | ---------- | TFFTTTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFTTTTTTT | 1111111111 |
4 | ---------- | TTTFTFTFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFTFTFFF | 1111111111 |
5 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for MAPK (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
008 | ---------- | FFTTTFTFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTTTFTFFF | 1111111111 |
020 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
040 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
080 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
160 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
320 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for NeoElection (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for NeoElection (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | TTTTFTFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTTFTFTTT | 1111111111 |
3 | ---------- | FTFTTTTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTTTTTFT | 1111111111 |
4 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
8 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PermAdmissibility (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
50 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PermAdmissibility (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---------- | TTFFTFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTFTTFF | 1111111111 |
02 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
50 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Peterson (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
3 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
4 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Peterson (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---------- | TTTTFTFTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTTFTFTTT | 1111111111 |
3 | ---------- | TTFTFTFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFTFTFFTT | 1111111111 |
4 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
5 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
6 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
7 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Philosophers (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000010 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000020 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000050 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000200 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000500 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
001000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
002000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
005000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Philosophers (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | TTTTTTFFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTTTTFFFT | 1111111111 |
000010 | ---------- | TFTTFFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTFFTTTT | 1111111111 |
000020 | ---------- | TTFFTFFFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTFFFFT | 1111111111 |
000050 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000200 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000500 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
001000 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
002000 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
50 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
80 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for PhilosophersDyn (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---------- | FFTFTFFFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTFTFFFTF | 1111111111 |
10 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Planning (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---------- | TFTTTTTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTTTTTT | 1111111111 |
Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
06 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
18 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
22 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
28 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
32 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for QuasiCertifProtocol (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | FFTFTTTTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFTFTTTTTF | 1111111111 |
06 | ---------- | TFTTTTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTTTFFT | 1111111111 |
10 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
18 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
22 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
28 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
32 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for Railroad (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---------- | FFFTFTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTFTTFFT | 1111111111 |
010 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C002 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C003 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C005 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C015 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C020 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R003C100 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R005C002 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R010C002 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R015C002 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R020C002 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R050C002 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
R100C002 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for RwMutex (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
r0010w0010 | ---------- | TFFTTFTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFTTFTTFT | 1111111111 |
r0010w0020 | ---------- | TFTTTFTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFTTTFTFTT | 1111111111 |
r0010w0050 | ---------- | TTTFFFTTFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTTFFFTTFT | 1111111111 |
r0010w0100 | ---------- | TTFFTTFFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTFFTTFFFT | 1111111111 |
r0010w0500 | ---------- | FFFTTFFFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFFTTFFFTT | 1111111111 |
r0010w1000 | ---------- | FTTFFTTFFT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTFFTTFFT | 1111111111 |
r0010w2000 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
r0020w0010 | ---------- | FTTTTFTFTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTTTTFTFTT | 1111111111 |
r0100w0010 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
r0500w0010 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
r1000w0010 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
r2000w0010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SharedMemory (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000010 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000020 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000050 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000200 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000500 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
001000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
002000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
005000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100000 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SharedMemory (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---------- | FTFTTTTTTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTTTTTTF | 1111111111 |
000010 | ---------- | TFFFTFTTTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFFTFTTTT | 1111111111 |
000020 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000050 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
000100 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
05 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
10 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
15 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for SimpleLoadBal (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---------- | FTFTTFTFTF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTTFTFTF | 1111111111 |
05 | ---------- | FTFTFTTFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FTFTFTTFFF | 1111111111 |
10 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
15 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
20 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for TokenRing (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
010 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
015 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
030 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
040 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
050 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
100 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
200 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
500 | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
Correctness mask for TokenRing (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---------- | TFFTTFTTFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TFFTTFTTFF | 1111111111 |
010 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
015 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
020 | ---------- | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
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 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |