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 reachabilityfireabilitysimple | |||||||||||
| Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | FFFFFFFFFF | 1111111111 |
| Correctness mask for Angiogenesis (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | CC | ---------- | TTTTTTFTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTFTTT | TTTTTTFTTT | 2222222222 |
| 05 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 10 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTT-TTT | TTTTTTTTTT | 2222221222 |
| 15 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 20 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 25 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTT-TTT | TTTTTTTTTT | 2222221222 |
| 50 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TTTTTTT-T | TTTTTTTTTT | 1222222212 |
| Correctness mask for CircadianClock (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000001 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 001000 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 010000 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 100000 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for CircularTrains (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 012 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 024 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 048 | ---------- | XXTXTXXTTX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2232322332 |
| 096 | ---------- | XTXXTXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2322322222 |
| 192 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 384 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 768 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 04 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 40 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | TTTTTXTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333323333 |
| 04 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 10 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 20 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 40 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for Diffusion2D (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| D05N010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D05N050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D05N100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D05N150 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D05N200 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D05N250 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D05N300 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D05N350 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D10N010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D10N050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D10N100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| D10N150 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTT-TTTTT | TTTTTTTTTT | 2222122222 |
| D10N200 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -T-TTTTTTT | TTTTTTTTTT | 1212222222 |
| D20N010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTT---T-T | TTTTTTTTTT | 2222111212 |
| D20N050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -T-TT-T--- | TTTTTTTTTT | 1212212111 |
| D20N100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D20N150 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D30N010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D30N050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D30N100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D30N150 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D40N010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D40N050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D40N100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D40N150 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D50N010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D50N050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D50N100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| D50N150 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for ERK (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000001 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 001000 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 010000 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 100000 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for EnergyBus (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | FF??FFXFFF | ---------- | --??--T--- | ---------- | ---------- | ---------- | ---------- | F----FT-F- | FF??FFTFFF | 2100122121 |
| Correctness mask for MultiwaySync (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | TTTFTTTTTT | ---------- | T-T--TTTT- | ---------- | ---------- | ---------- | ---------- | T-T---T-T- | TTTFTTTTTT | 3131123231 |
| Correctness mask for ParamProductionCell (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 0 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 1 | ---------- | CC | ---------- | TTTTTFFTFT | ---------- | ---------- | ---------- | ---------- | TTTTTFFTFT | TTTTTFFTFT | 2222222222 |
| 2 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 3 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 4 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 5 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for PolyORBLF (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S02J04T06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J04T08 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J04T10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J06T06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J06T08 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J06T10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J04T06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J04T08 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J04T10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J06T06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J06T08 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J06T10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J04T04 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J04T06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J04T08 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J06T04 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J06T06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J06T08 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for PolyORBLF (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S02J04T06 | ---------- | XXXXXXXXFX | ---------- | TTTTTTTT-T | ---------- | ---------- | ---------- | ---------- | TTTTTTTT-T | TTTTTTTTFT | 2222222212 |
| S02J04T08 | ---------- | XXXXXXXXTX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222232 |
| S02J04T10 | ---------- | XTXTXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2323222222 |
| S02J06T06 | ---------- | TTFXTXXXFX | ---------- | TT-TTTTT-T | ---------- | ---------- | ---------- | ---------- | TT-TTTTTFT | TTFTTTTTFT | 3312322222 |
| S02J06T08 | ---------- | XXTXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2232222222 |
| S02J06T10 | ---------- | XXXTX?FXXT | ---------- | TTTTT?-TTT | ---------- | ---------- | ---------- | ---------- | TTTTT--TTT | TTTTT?FTTT | 2223201223 |
| S04J04T06 | ---------- | XXXXXTXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222232222 |
| S04J04T08 | ---------- | TXTXXXTXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3232223222 |
| S04J04T10 | ---------- | XXXXXXTXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222223222 |
| S04J06T06 | ---------- | XXXTXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2223222222 |
| S04J06T08 | ---------- | XXXXXXXXX? | ---------- | TTTTTTTTT? | ---------- | ---------- | ---------- | ---------- | TTTTTTTTT- | TTTTTTTTT? | 2222222220 |
| S04J06T10 | ---------- | TTXXXTXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3322232222 |
| S06J04T04 | ---------- | TXXXXXTXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3222223222 |
| S06J04T06 | ---------- | T????????? | ---------- | T????????? | ---------- | ---------- | ---------- | ---------- | DNF | T????????? | 2000000000 |
| S06J04T08 | ---------- | ??????T??T | ---------- | ??????T??T | ---------- | ---------- | ---------- | ---------- | DNF | ??????T??T | 0000002002 |
| S06J06T04 | ---------- | XXXXXTXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222232222 |
| S06J06T06 | ---------- | ?????????T | ---------- | ?????????T | ---------- | ---------- | ---------- | ---------- | DNF | ?????????T | 0000000002 |
| S06J06T08 | ---------- | ?TT??TT?F? | ---------- | ?TT??TT?-? | ---------- | ---------- | ---------- | ---------- | DNF | ?TT??TT?F? | 0220022010 |
| Correctness mask for PolyORBNT (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S05J20 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J30 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J40 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J60 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J80 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J20 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J30 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J40 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J60 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J80 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for PolyORBNT (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S05J20 | ---------- | F????F???? | ---------- | -????-???? | ---------- | ---------- | ---------- | ---------- | DNF | F????F???? | 1000010000 |
| S05J30 | ---------- | X?XX?XXXTX | ---------- | T?TT-TTTTT | ---------- | ---------- | ---------- | ---------- | T-TT?TTTTT | T?TT?TTTTT | 2022022232 |
| S05J40 | ---------- | FF?FF?FTFT | ---------- | --?--?-T-T | ---------- | ---------- | ---------- | ---------- | DNF | FF?FF?FTFT | 1101101212 |
| S05J60 | ---------- | X???FFF?TX | ---------- | T-??----TT | ---------- | ---------- | ---------- | ---------- | T?-----?-T | T???FFF?TT | 2000111022 |
| S05J80 | ---------- | XX???XXXX? | ---------- | TT?-?TTTT? | ---------- | ---------- | ---------- | ---------- | TT-?-TTTT- | TT???TTTT? | 2200022220 |
| S10J20 | ---------- | ????F???F? | ---------- | ????-???-? | ---------- | ---------- | ---------- | ---------- | DNF | ????F???F? | 0000100010 |
| S10J30 | ---------- | ??FT???F?? | ---------- | ??-T???-?? | ---------- | ---------- | ---------- | ---------- | DNF | ??FT???F?? | 0012000100 |
| S10J40 | ---------- | FF?F?FFF?? | ---------- | --?-?---?? | ---------- | ---------- | ---------- | ---------- | DNF | FF?F?FFF?? | 1101011100 |
| S10J60 | ---------- | F??FFT??F? | ---------- | -??--T??-? | ---------- | ---------- | ---------- | ---------- | DNF | F??FFT??F? | 1001120010 |
| S10J80 | ---------- | ?FFF?FF?FF | ---------- | ?---?--?-- | ---------- | ---------- | ---------- | ---------- | DNF | ?FFF?FF?FF | 0111011011 |
| Correctness mask for ProductionCell (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | TTXTTTTTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | --TTTT-TTT | TTTTTTTTTT | 2223332323 |
| Correctness mask for Solitaire (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| EngCT7x7 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| EngNC7x7 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| FrnCT7x7 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| FrnNC7x7 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| SqrCT5x5 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| SqrNC5x5 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for UtahNoC (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TT--TT--T- | TTTTTTTTTT | 3322332232 |
| Correctness mask for CSRepetitions (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 03 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 04 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 07 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for CSRepetitions (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 03 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 04 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 05 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 07 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 10 | DNC | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Dekker (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | TTTTTTTTTT | TXXXTTXTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4333443434 |
| 015 | TTTTTTTTTT | TTTTTXTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444434444 |
| 020 | TTTTTTTTTT | TXTTTXTTTX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4344434443 |
| 050 | DNF | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 100 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 200 | CC | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for DotAndBoxes (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 16 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 24 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 48 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 76 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 98 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for DrinkVendingMachine (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | TTTTTTXTTT | TTTTTXFTXT | ---------- | TTTTTTFTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTFTTT | TTTTTTFTTT | 4444433434 |
| Correctness mask for Echo (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| d02r09 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d02r11 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d02r15 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TT-TTTTTTT | TTTTTTTTTT | 2212222222 |
| d02r19 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d03r03 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d03r05 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d03r07 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d04r03 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d05r03 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Eratosthenes (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | TTTTTTTTTT | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 020 | TTTTTTTTTT | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 050 | TTTTTTTTTT | XXTXXXTXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3343334333 |
| 100 | TTTTTTTTTT | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 200 | TTTTTTTTTT | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 500 | CC | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 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 | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 005 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 010 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 020 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 050 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 100 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 200 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 500 | DNC | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for GlobalResAllocation (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 06 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 07 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 09 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 11 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for GlobalResAllocation (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 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 | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 005 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 010 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 020 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 050 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 100 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 200 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 500 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for IBMB2S565S3960 (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 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 | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0010 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0020 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0050 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0100 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0200 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0500 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 1000 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for LamportFastMutEx (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 8 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for LamportFastMutEx (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | TTTTTTTTTT | TTTTTTTTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444434 |
| 3 | TTTTTTTTTT | XTTXTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3443444444 |
| 4 | TTTTTTTTTT | TTTTTTXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444443444 |
| 5 | DNF | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 6 | DNF | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 7 | DNF | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TTTTTTTTT | TTTTTTTTTT | 1222222222 |
| 8 | DNF | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTT-T-TTTT | TTTTTTTTTT | 2221212222 |
| 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 | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 020 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 040 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 080 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 160 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 320 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for NeoElection (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 8 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for NeoElection (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | TFTFTFFTFT | XFXFXFFXXX | ---------- | TFTFTFFTFT | ---------- | ---------- | ---------- | ---------- | TFTFTFFTFT | TFTFTFFTFT | 3434344333 |
| 3 | FTFTTFTFTF | FXFXXFXFXX | ---------- | -T-TT-T-T- | ---------- | ---------- | ---------- | ---------- | FTFTTFTFTF | FTFTTFTFTF | 3333333332 |
| 4 | DNF | MOVF | ---------- | --T---TT-T | ---------- | ---------- | ---------- | ---------- | FFTFTFTTFT | FFTFTFTTFT | 1121112212 |
| 5 | CC | MOVF | ---------- | -------T-- | ---------- | ---------- | ---------- | ---------- | T-F-F-TTFF | T?F?F?TTFF | 1010101211 |
| 6 | CC | MOVF | ---------- | T-T-T----- | ---------- | ---------- | ---------- | ---------- | DNF | T?T?T????? | 1010100000 |
| 7 | CC | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| 8 | CC | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for PermAdmissibility (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 02 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 50 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for PermAdmissibility (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | TTTTTTTTTT | XXTTXTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3344344444 |
| 02 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 05 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 10 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 20 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 50 | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Peterson (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for Peterson (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | TTTTTTTTTT | TTTTTTXTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444443434 |
| 3 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 4 | DNF | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 5 | DNF | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 6 | DNF | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 7 | DNF | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TTTTTTTTT | TTTTTTTTTT | 1222222222 |
| Correctness mask for Philosophers (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000010 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000020 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000050 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000100 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000200 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for Philosophers (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 000010 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 000020 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 000050 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000100 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000200 | TTTTTTTTTT | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000500 | TTTTTTTTTT | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 001000 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 2222222222 |
| 002000 | TTTTTTTTTT | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 2222222222 |
| Correctness mask for PhilosophersDyn (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 50 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 80 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for PhilosophersDyn (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | DNC | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 10 | DNF | TTTTTTTXTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333233 |
| 20 | DNF | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for Planning (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | DNC | DNC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 06 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 18 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 22 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 28 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 32 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for QuasiCertifProtocol (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | TTTTTTTTTT | TXTTXTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4344344444 |
| 06 | DNC | TTTXXTTXXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3332233223 |
| 10 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 18 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 22 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 28 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TT-T-TT-T | TTTTTTTTTT | 1221212212 |
| 32 | DNC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for Railroad (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | TTTTTFTTFT | XXXTTFXXFX | ---------- | TTTTTFTTFT | ---------- | ---------- | ---------- | ---------- | TTTTTFTTFT | TTTTTFTTFT | 3334443343 |
| 010 | DNF | MOVF | ---------- | TTTTTTFTTF | ---------- | ---------- | ---------- | ---------- | TTTTTTFTTF | TTTTTTFTTF | 2222222222 |
| 020 | DNF | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | T-TTTTT-TT | TTTTTTTTTT | 2122222122 |
| 050 | DNF | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 100 | DNF | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for ResAllocation (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| R002C002 | TTTTTTTTTT | TTXTXTTXTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4434344344 |
| R003C002 | TTTTTTTTTT | XTXXTXTTTX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3433434443 |
| R003C003 | TTTTTTTTTT | TXTTTTTXTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4344444344 |
| R003C005 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| R003C010 | TTTTTTTTTT | TXTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4344444444 |
| R003C015 | TTTTTTTTTT | TXTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4344444444 |
| R003C020 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | --TTTTTTTT | TTTTTTTTTT | 2233333333 |
| R003C050 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | T---TTT--T | TTTTTTTTTT | 3222333223 |
| R003C100 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TT--TTTTT- | TTTTTTTTTT | 3322333332 |
| R005C002 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| R010C002 | TTTTTTTTTT | TXTXTXTTXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4343434433 |
| R015C002 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| R020C002 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTT- | TTTTTTTTTT | 4444444443 |
| R050C002 | TTTTTTTTTT | XTTTTTTTTX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3444444443 |
| R100C002 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| Correctness mask for Ring (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | CC | XXTXTTXTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTT-TTT- | TTTTTTTTTT | 2232322322 |
| Correctness mask for RwMutex (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| r0010w0010 | TTTTTTTTTT | TTTXTTTTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4443444434 |
| r0010w0020 | TTTTTTTTTT | XTXTXTTXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3434344333 |
| r0010w0050 | TTTTTTTTTT | TTTTTTXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444443444 |
| r0010w0100 | TTTTTTTTTT | XXXTTTXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3334443444 |
| r0010w0500 | TTTTTTTTTT | XTTTXXXTXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3444333433 |
| r0010w1000 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| r0010w2000 | TTTTTTTTTT | MOVF | ---------- | TTTT-----T | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 2222111112 |
| r0020w0010 | TTTTTTTTTT | TTXTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4434444444 |
| r0100w0010 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| r0500w0010 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| r1000w0010 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| r2000w0010 | TTTTTTTTTT | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for SharedMemory (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000010 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000020 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000050 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000100 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000200 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 020000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for SharedMemory (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 000010 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 000020 | TTTTTTTTTT | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000050 | TTTTTTTTTT | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 2222222222 |
| 000100 | TTTTTTTTTT | CC | ---------- | TTT-T--T-- | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 2221211211 |
| Correctness mask for SimpleLoadBal (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 15 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for SimpleLoadBal (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 05 | TTTTTTTTTT | TTTXTXXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4443433444 |
| 10 | DNF | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 15 | DNF | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTT-T-T | TTTTTTTTTT | 2222221212 |
| 20 | CC | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTT-TTTT-T | TTTTTTTTTT | 2221222212 |
| Correctness mask for TokenRing (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 015 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 020 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 030 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 040 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 200 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 500 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for TokenRing (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | TTTTTTTTTT | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 4444444444 |
| 010 | TTTTTTTTTT | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 015 | CC | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 020 | CC | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Vasy2003 (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | DNC | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TT-TT--TT | TTTTTTTTTT | 1221221122 |
| Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 03 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 04 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 07 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for CSRepetitions (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 03 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 04 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 05 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 07 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 10 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Dekker (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | ---------- | TTXTTTXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3323332333 |
| 015 | ---------- | TTTTTTXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333332333 |
| 020 | ---------- | TXTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3233333333 |
| 050 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 100 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 200 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 16 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 24 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 48 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 76 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 98 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for DrinkVendingMachine (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | TXTXTTFXTT | ---------- | TTTTTTFTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTFTTT | TTTTTTFTTT | 3232333233 |
| Correctness mask for Echo (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| d02r09 | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d02r11 | ---------- | XXXXTXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222322222 |
| d02r15 | ---------- | XXXXXTXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222232222 |
| d02r19 | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d03r03 | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d03r05 | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d03r07 | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d04r03 | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| d05r03 | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Eratosthenes (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 020 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 200 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 500 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for FMS (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 002 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 005 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 010 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 020 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 050 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 100 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 200 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 500 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 07 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 09 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 11 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for GlobalResAllocation (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 002 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 005 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 010 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 020 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 050 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 100 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 200 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 500 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for IBMB2S565S3960 (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | XXXXXXXXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Kanban (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 0005 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0010 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0020 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0050 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0100 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0200 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 0500 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 1000 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 8 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for LamportFastMutEx (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | XTTTTTTTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2333333323 |
| 3 | ---------- | TXTXXTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3232233333 |
| 4 | ---------- | TTTTTTXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333332333 |
| 5 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 6 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 7 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TTTTTTTTT | TTTTTTTTTT | 1222222222 |
| 8 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTT-T-TTTT | TTTTTTTTTT | 2221212222 |
| Correctness mask for MAPK (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 008 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 020 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 040 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 080 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 160 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 320 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for NeoElection (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 8 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for NeoElection (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | XFXFXFFXFX | ---------- | TFTFTFFTFT | ---------- | ---------- | ---------- | ---------- | TFTFTFFTFT | TFTFTFFTFT | 2323233232 |
| 3 | ---------- | FXFXX?XFXF | ---------- | -T-TT-T-T- | ---------- | ---------- | ---------- | ---------- | FTFTT?TFTF | FTFTT?TFTF | 2222202222 |
| 4 | ---------- | MOVF | ---------- | --T-T-TT-T | ---------- | ---------- | ---------- | ---------- | FFTFTFTTFT | FFTFTFTTFT | 1121212212 |
| 5 | ---------- | MOVF | ---------- | -------T-- | ---------- | ---------- | ---------- | ---------- | T-F---TTFF | T?F???TTFF | 1010001211 |
| 6 | ---------- | DNF | ---------- | T-T-T----- | ---------- | ---------- | ---------- | ---------- | DNF | T?T?T????? | 1010100000 |
| 7 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| 8 | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for PermAdmissibility (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 02 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 50 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for PermAdmissibility (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | XXTTXTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2233233333 |
| 02 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 05 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 10 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 20 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 50 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Peterson (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 3 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 4 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for Peterson (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 3 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 4 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 5 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 6 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 7 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TTTTTTTTT | TTTTTTTTTT | 1222222222 |
| Correctness mask for Philosophers (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000010 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000020 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000050 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000100 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000200 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for Philosophers (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000010 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000020 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000050 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000100 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000200 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000500 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 001000 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 002000 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 50 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 80 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for PhilosophersDyn (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 10 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 20 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for Planning (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | TXTXTXXTXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3232322322 |
| Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 06 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 18 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 22 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 28 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 32 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for QuasiCertifProtocol (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | TXTTXXTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3233223333 |
| 06 | ---------- | TTTXXTTXXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3332233223 |
| 10 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 18 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 22 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 28 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TT-T-TT-T | TTTTTTTTTT | 1221212212 |
| 32 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for Railroad (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | XXXTTFXXFX | ---------- | TTTTTFTTFT | ---------- | ---------- | ---------- | ---------- | TTTTTFTTFT | TTTTTFTTFT | 2223332232 |
| 010 | ---------- | MOVF | ---------- | TTTTTTFTTF | ---------- | ---------- | ---------- | ---------- | TTTTTTFTTF | TTTTTTFTTF | 2222222222 |
| 020 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | T-TTTTT-TT | TTTTTTTTTT | 2122222122 |
| 050 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 100 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| Correctness mask for ResAllocation (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| R002C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R003C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R003C003 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R003C005 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R003C010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R003C015 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R003C020 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | --TTTTTTTT | TTTTTTTTTT | 1122222222 |
| R003C050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | T---TTT--T | TTTTTTTTTT | 2111222112 |
| R003C100 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TT--TTTTT- | TTTTTTTTTT | 2211222221 |
| R005C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R010C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R015C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R020C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTT- | TTTTTTTTTT | 2222222221 |
| R050C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| R100C002 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Ring (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTT-TTT- | TTTTTTTTTT | 2222212221 |
| Correctness mask for RwMutex (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| r0010w0010 | ---------- | TTTTTTTTXT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333323 |
| r0010w0020 | ---------- | XTXTTTTXXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2323333222 |
| r0010w0050 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| r0010w0100 | ---------- | XXXTTTXTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2223332333 |
| r0010w0500 | ---------- | XTTTXXXTXX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2333222322 |
| r0010w1000 | ---------- | XXXXTXXTTX | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222322332 |
| r0010w2000 | ---------- | MOVF | ---------- | -----TTTT- | ---------- | ---------- | ---------- | ---------- | DNF | ?????TTTT? | 0000011110 |
| r0020w0010 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| r0100w0010 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| r0500w0010 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| r1000w0010 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| r2000w0010 | ---------- | CC | ---------- | -----TTTT- | ---------- | ---------- | ---------- | ---------- | DNF | ?????TTTT? | 0000011110 |
| Correctness mask for SharedMemory (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000010 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000020 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000050 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000100 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000200 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 020000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for SharedMemory (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 000010 | ---------- | TTXTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3323333333 |
| 000020 | ---------- | MOVF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 000050 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTTT | 1111111111 |
| 000100 | ---------- | DNF | ---------- | TTTTTTTTT- | ---------- | ---------- | ---------- | ---------- | DNF | TTTTTTTTT? | 1111111110 |
| Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 05 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 15 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for SimpleLoadBal (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 05 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 10 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 15 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTT-T-T | TTTTTTTTTT | 2222221212 |
| 20 | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTT-TTTT-T | TTTTTTTTTT | 2221222212 |
| Correctness mask for TokenRing (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 015 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 020 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 030 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 040 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 200 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 500 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for TokenRing (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | TTTTTTTTTT | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 3333333333 |
| 010 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 015 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| 020 | ---------- | CC | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTTTTTTTT | TTTTTTTTTT | 2222222222 |
| Correctness mask for Vasy2003 (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | DNF | ---------- | TTTTTTTTTT | ---------- | ---------- | ---------- | ---------- | -TT-TT--TT | TTTTTTTTTT | 1221221122 |