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 ltlcardinality | |||||||||||
| Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 05 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 15 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 25 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 50 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 001000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 024 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 048 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 096 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 192 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 384 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 768 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 04 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 40 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 04 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 40 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D05N050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D05N100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D05N150 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D05N200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D05N250 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D05N300 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D05N350 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D10N010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D10N050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D10N100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D10N150 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D10N200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D20N010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D20N050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D20N100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D20N150 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D30N010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D30N050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D30N100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D30N150 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D40N010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D40N050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D40N100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D40N150 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D50N010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D50N050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D50N100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| D50N150 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 001000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 1 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 2 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 3 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 4 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 5 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for PolyORBLF (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S02J04T06 | ---------- | ---------- | ---T----T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T????T? | 0001000010 |
| S02J04T08 | ---------- | ---------- | --T------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??T??????? | 0010000000 |
| S02J04T10 | ---------- | ---------- | -T--T--T-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T??T??T?? | 0100100100 |
| S02J06T06 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| S02J06T08 | ---------- | ---------- | T---FF---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T???FF???? | 1000110000 |
| S02J06T10 | ---------- | ---------- | -----T---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????T???? | 0000010000 |
| S04J04T06 | ---------- | ---------- | -F-F-----T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F?F?????T | 0101000001 |
| S04J04T08 | ---------- | ---------- | T---F-F-T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T???F?F?T? | 1000101010 |
| S04J04T10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| S04J06T06 | ---------- | ---------- | --T--T---F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??T??T???F | 0010010001 |
| S04J06T08 | ---------- | ---------- | --F-F----- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??F?F????? | 0010100000 |
| S04J06T10 | ---------- | ---------- | T------T-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T??????T?? | 1000000100 |
| S06J04T04 | ---------- | ---------- | ------F-F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F?F? | 0000001010 |
| S06J04T06 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| S06J04T08 | ---------- | ---------- | ---T------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T?????? | 0001000000 |
| S06J06T04 | ---------- | ---------- | -----F---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????F???? | 0000010000 |
| S06J06T06 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| S06J06T08 | ---------- | ---------- | ---F---F-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???F???F?? | 0001000100 |
| Correctness mask for PolyORBLF (P/T, 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 PolyORBNT (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S05J20 | ---------- | ---------- | -F------T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F??????T? | 0100000010 |
| S05J30 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| S05J40 | ---------- | ---------- | ---------F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????F | 0000000001 |
| S05J60 | ---------- | ---------- | F--F------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F??F?????? | 1001000000 |
| S05J80 | ---------- | ---------- | F--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F????????? | 1000000000 |
| S10J20 | ---------- | ---------- | T------TF- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T??????TF? | 1000000110 |
| S10J30 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| S10J40 | ---------- | ---------- | ----FFF--T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????FFF??T | 0000111001 |
| S10J60 | ---------- | ---------- | --FT-F-F-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??FT?F?F?? | 0011010100 |
| S10J80 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | 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 ProductionCell (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| EngNC7x7 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| FrnCT7x7 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| FrnNC7x7 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| SqrCT5x5 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| SqrNC5x5 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for CSRepetitions (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | F-T-F-F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?T?F?F??? | 1010101000 |
| 03 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 04 | ---------- | ---------- | ---T-F--F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T?F??F? | 0001010010 |
| 05 | ---------- | ---------- | F----TT-F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F????TT?F? | 1000011010 |
| 07 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 10 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 04 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 05 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 07 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 015 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for DotAndBoxes (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 3 | ---------- | ---------- | ------F--T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??T | 0000001001 |
| 4 | ---------- | ---------- | F------T-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F??????T?? | 1000000100 |
| 5 | ---------- | ---------- | ------T-T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????T?T? | 0000001010 |
| Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 16 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 24 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 48 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 76 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 98 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for Echo (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| d02r09 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d02r11 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d02r15 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d02r19 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d03r03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d03r05 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d03r07 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d04r03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d05r03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for GlobalResAllocation (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 05 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 06 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 07 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 09 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 11 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for HouseConstruction (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 1000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for LamportFastMutEx (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | ------F-FF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F?FF | 0000001011 |
| 3 | ---------- | ---------- | -----F-F-F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????F?F?F | 0000010101 |
| 4 | ---------- | ---------- | F--F---TF- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F??F???TF? | 1001000110 |
| 5 | ---------- | ---------- | F-----FF-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?????FF?? | 1000001100 |
| 6 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 7 | ---------- | ---------- | T------TTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T??????TTT | 1000000111 |
| 8 | ---------- | ---------- | -----T--T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????T??T? | 0000010010 |
| Correctness mask for LamportFastMutEx (P/T, 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 MAPK (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 008 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 040 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 080 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 160 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 320 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for NeoElection (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | TTT--T---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTT??T???? | 1110010000 |
| 3 | ---------- | ---------- | ---T---T-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T???T?? | 0001000100 |
| 4 | ---------- | ---------- | -F-F------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F?F?????? | 0101000000 |
| 5 | ---------- | ---------- | ---------T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????T | 0000000001 |
| 6 | ---------- | ---------- | -T--T----- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T??T????? | 0100100000 |
| 7 | ---------- | ---------- | ------FF-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????FF?? | 0000001100 |
| 8 | ---------- | ---------- | ------T--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????T??? | 0000001000 |
| Correctness mask for NeoElection (P/T, 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 PermAdmissibility (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | ---------- | F-------T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F???????T? | 1000000010 |
| 02 | ---------- | ---------- | -FT-----F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?FT?????F? | 0110000010 |
| 05 | ---------- | ---------- | -F-------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F???????? | 0100000000 |
| 10 | ---------- | ---------- | ---F---TT- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???F???TT? | 0001000110 |
| 20 | ---------- | ---------- | -----T-F-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????T?F?? | 0000010100 |
| 50 | ---------- | ---------- | ----F----T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????F????T | 0000100001 |
| Correctness mask for PermAdmissibility (P/T, 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 Peterson (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | -----F---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????F???? | 0000010000 |
| 3 | ---------- | ---------- | -T------F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T??????F? | 0100000010 |
| 4 | ---------- | ---------- | ----F----F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????F????F | 0000100001 |
| 5 | ---------- | ---------- | --F------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??F??????? | 0010000000 |
| 6 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 7 | ---------- | ---------- | T--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T????????? | 1000000000 |
| Correctness mask for Peterson (P/T, 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 Philosophers (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | ---------- | -F-------F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F???????F | 0100000001 |
| 000010 | ---------- | ---------- | F-F--F--F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?F??F??F? | 1010010010 |
| 000020 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000050 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000100 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000200 | ---------- | ---------- | --FF-----F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??FF?????F | 0011000001 |
| 000500 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 001000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 002000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | 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 |
| Correctness mask for PhilosophersDyn (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 50 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 80 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | F-FF------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?FF?????? | 1011000000 |
| 06 | ---------- | ---------- | --F------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??F??????? | 0010000000 |
| 10 | ---------- | ---------- | -----F---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????F???? | 0000010000 |
| 18 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 22 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 28 | ---------- | ---------- | ------F--T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??T | 0000001001 |
| 32 | ---------- | ---------- | -F-------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F???????? | 0100000000 |
| Correctness mask for QuasiCertifProtocol (P/T, 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 Railroad (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C003 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C015 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R005C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R010C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R015C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R020C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R050C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R100C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for Ring (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 RwMutex (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| r0010w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w1000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w2000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0020w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0100w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0500w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r1000w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r2000w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for SharedMemory (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | ---------- | F-FFTF---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?FFTF???? | 1011110000 |
| 000010 | ---------- | ---------- | --------F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????????F? | 0000000010 |
| 000020 | ---------- | ---------- | T--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T????????? | 1000000000 |
| 000050 | ---------- | ---------- | ------T--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????T??? | 0000001000 |
| 000100 | ---------- | ---------- | -T---T---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T???T???? | 0100010000 |
| 000200 | ---------- | ---------- | ----FF---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????FF???? | 0000110000 |
| 000500 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 001000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 002000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for SimpleLoadBal (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | -T-T------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T?T?????? | 0101000000 |
| 05 | ---------- | ---------- | ----F-F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????F?F??? | 0000101000 |
| 10 | ---------- | ---------- | F--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F????????? | 1000000000 |
| 15 | ---------- | ---------- | F----FF-TF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F????FF?TF | 1000011011 |
| 20 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 05 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 15 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for TokenRing (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | ---------- | -F-TT----- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F?TT????? | 0101100000 |
| 010 | ---------- | ---------- | ---FTF---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???FTF???? | 0001110000 |
| 015 | ---------- | ---------- | ----T----- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????T????? | 0000100000 |
| 020 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 030 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 040 | ---------- | ---------- | F-F----F-T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?F????F?T | 1010000101 |
| 050 | ---------- | ---------- | FFT------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFT??????? | 1110000000 |
| 100 | ---------- | ---------- | ---T-T--T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T?T??T? | 0001010010 |
| 200 | ---------- | ---------- | T--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T????????? | 1000000000 |
| 500 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 015 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | F-T-F-F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?T?F?F??? | 1010101000 |
| 03 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 04 | ---------- | ---------- | ---T-F--F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T?F??F? | 0001010010 |
| 05 | ---------- | ---------- | F----TT-F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F????TT?F? | 1000011010 |
| 07 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 10 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 04 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 05 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 07 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 015 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 3 | ---------- | ---------- | ------F--T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??T | 0000001001 |
| 4 | ---------- | ---------- | F------T-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F??????T?? | 1000000100 |
| 5 | ---------- | ---------- | ------T-T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????T?T? | 0000001010 |
| Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 16 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 24 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 48 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 76 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 98 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for Echo (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| d02r09 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d02r11 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d02r15 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d02r19 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d03r03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d03r05 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d03r07 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d04r03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| d05r03 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for Eratosthenes (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 05 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 06 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 07 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 09 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 11 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for Kanban (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 0005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0200 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 0500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 1000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | ------F-FF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F?FF | 0000001011 |
| 3 | ---------- | ---------- | -----F-F-F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????F?F?F | 0000010101 |
| 4 | ---------- | ---------- | F--F---TF- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F??F???TF? | 1001000110 |
| 5 | ---------- | ---------- | F-----FF-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?????FF?? | 1000001100 |
| 6 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 7 | ---------- | ---------- | T------TTT | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T??????TTT | 1000000111 |
| 8 | ---------- | ---------- | -----T--T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????T??T? | 0000010010 |
| Correctness mask for LamportFastMutEx (P/T, 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 MAPK (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 008 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 040 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 080 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 160 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 320 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for NeoElection (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | TTT--T---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | TTT??T???? | 1110010000 |
| 3 | ---------- | ---------- | ---T---T-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T???T?? | 0001000100 |
| 4 | ---------- | ---------- | -F-F------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F?F?????? | 0101000000 |
| 5 | ---------- | ---------- | ---------T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????T | 0000000001 |
| 6 | ---------- | ---------- | -T--T----- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T??T????? | 0100100000 |
| 7 | ---------- | ---------- | ------FF-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????FF?? | 0000001100 |
| 8 | ---------- | ---------- | ------T--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????T??? | 0000001000 |
| Correctness mask for NeoElection (P/T, 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 PermAdmissibility (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | ---------- | F-------T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F???????T? | 1000000010 |
| 02 | ---------- | ---------- | -FT-----F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?FT?????F? | 0110000010 |
| 05 | ---------- | ---------- | -F-------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F???????? | 0100000000 |
| 10 | ---------- | ---------- | ---F---TT- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???F???TT? | 0001000110 |
| 20 | ---------- | ---------- | -----T-F-- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????T?F?? | 0000010100 |
| 50 | ---------- | ---------- | ----F----T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????F????T | 0000100001 |
| Correctness mask for PermAdmissibility (P/T, 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 Peterson (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | ---------- | -----F---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????F???? | 0000010000 |
| 3 | ---------- | ---------- | -T------F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T??????F? | 0100000010 |
| 4 | ---------- | ---------- | ----F----F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????F????F | 0000100001 |
| 5 | ---------- | ---------- | --F------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??F??????? | 0010000000 |
| 6 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 7 | ---------- | ---------- | T--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T????????? | 1000000000 |
| Correctness mask for Peterson (P/T, 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 Philosophers (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | ---------- | -F-------F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F???????F | 0100000001 |
| 000010 | ---------- | ---------- | F-F--F--F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?F??F??F? | 1010010010 |
| 000020 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000050 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000100 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000200 | ---------- | ---------- | --FF-----F | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??FF?????F | 0011000001 |
| 000500 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 001000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 002000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | 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 |
| Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 50 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 80 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | F-FF------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?FF?????? | 1011000000 |
| 06 | ---------- | ---------- | --F------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??F??????? | 0010000000 |
| 10 | ---------- | ---------- | -----F---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????F???? | 0000010000 |
| 18 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 22 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 28 | ---------- | ---------- | ------F--T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??T | 0000001001 |
| 32 | ---------- | ---------- | -F-------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F???????? | 0100000000 |
| Correctness mask for QuasiCertifProtocol (P/T, 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 Railroad (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C003 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C005 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C015 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R003C100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R005C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R010C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R015C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R020C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R050C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| R100C002 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w0500 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w1000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0010w2000 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0020w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0100w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r0500w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r1000w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| r2000w0010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for SharedMemory (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | ---------- | F-FFTF---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?FFTF???? | 1011110000 |
| 000010 | ---------- | ---------- | --------F- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????????F? | 0000000010 |
| 000020 | ---------- | ---------- | T--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T????????? | 1000000000 |
| 000050 | ---------- | ---------- | ------T--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????T??? | 0000001000 |
| 000100 | ---------- | ---------- | -T---T---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T???T???? | 0100010000 |
| 000200 | ---------- | ---------- | ----FF---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????FF???? | 0000110000 |
| 000500 | ---------- | ---------- | ------F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ??????F??? | 0000001000 |
| 001000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 002000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 005000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 050000 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 100000 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000050 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 000100 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | ---------- | -T-T------ | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?T?T?????? | 0101000000 |
| 05 | ---------- | ---------- | ----F-F--- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????F?F??? | 0000101000 |
| 10 | ---------- | ---------- | F--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F????????? | 1000000000 |
| 15 | ---------- | ---------- | F----FF-TF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F????FF?TF | 1000011011 |
| 20 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 05 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 10 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 15 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 20 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| Correctness mask for TokenRing (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | ---------- | -F-TT----- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?F?TT????? | 0101100000 |
| 010 | ---------- | ---------- | ---FTF---- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???FTF???? | 0001110000 |
| 015 | ---------- | ---------- | ----T----- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ????T????? | 0000100000 |
| 020 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 030 | ---------- | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 040 | ---------- | ---------- | F-F----F-T | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | F?F????F?T | 1010000101 |
| 050 | ---------- | ---------- | FFT------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFT??????? | 1110000000 |
| 100 | ---------- | ---------- | ---T-T--T- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ???T?T??T? | 0001010010 |
| 200 | ---------- | ---------- | T--------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | T????????? | 1000000000 |
| 500 | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 010 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 015 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |
| 020 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 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 | ---------- | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | ?????????? | 0000000000 |