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 reachabilityfireability | |||||||||||
| Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | DNC | CC | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for Angiogenesis (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | FFFTFFTFFF | CC | ---------- | FFFTFFTFFF | ---------- | ---------- | ---------- | ---------- | FFFTFFTFFF | FFFTFFTFFF | 3333333333 |
| 05 | DNC | CC | ---------- | TTTFFFTTTF | ---------- | ---------- | ---------- | ---------- | TTTFFFTTTF | TTTFFFTTTF | 2222222222 |
| 10 | DNC | CC | ---------- | FFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFT | FFFFFFFFFT | 2222222222 |
| 15 | DNC | CC | ---------- | FFFFFTTFTT | ---------- | ---------- | ---------- | ---------- | FFFFFTTFTT | FFFFFTTFTT | 2222222222 |
| 20 | DNC | CC | ---------- | FTTTTFFTTF | ---------- | ---------- | ---------- | ---------- | FTTTTFFT-F | FTTTTFFTTF | 2222222212 |
| 25 | DNC | CC | ---------- | TTFFFTFTFF | ---------- | ---------- | ---------- | ---------- | TTFFFTFTFF | TTFFFTFTFF | 2222222222 |
| 50 | DNC | CC | ---------- | FFTTTFFTTF | ---------- | ---------- | ---------- | ---------- | FF-TTFF--F | FFTTTFFTTF | 2212222112 |
| Correctness mask for CircadianClock (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000001 | FFTFFFFFTT | CC | ---------- | FFTFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFTFFFFFTT | FFTFFFFFTT | 3333333333 |
| 000010 | DNC | CC | ---------- | FTFFFTFTFT | ---------- | ---------- | ---------- | ---------- | FTFFFTFTFT | FTFFFTFTFT | 2222222222 |
| 000100 | DNC | CC | ---------- | FFFFTTTFFT | ---------- | ---------- | ---------- | ---------- | FFFFTTTFFT | FFFFTTTFFT | 2222222222 |
| 001000 | DNC | CC | ---------- | FTTTFFFTFF | ---------- | ---------- | ---------- | ---------- | FTTTFFFTFF | FTTTFFFTFF | 2222222222 |
| 010000 | DNC | CC | ---------- | FTFFFFTFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFTFFF | FTFFFFTFFF | 2222222222 |
| 100000 | DNC | CC | ---------- | FTFFTTFTFF | ---------- | ---------- | ---------- | ---------- | FTFFTTFTFF | FTFFTTFTFF | 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 | DNC | CC | ---------- | FFFTFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFTFFFFTF | FFFTFFFFTF | 2222222222 |
| 024 | DNC | CC | ---------- | TFTFTTFFTF | ---------- | ---------- | ---------- | ---------- | TFTFTTFFTF | TFTFTTFFTF | 2222222222 |
| 048 | DNC | CC | ---------- | FTFFFFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFF | FTFFFFFTFF | 2222222222 |
| 096 | DNC | CC | ---------- | FFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFFF | FFFFTFFFFF | 2222222222 |
| 192 | DNC | DNF | ---------- | TFTTFFFFFT | ---------- | ---------- | ---------- | ---------- | TFTTFFFFFT | TFTTFFFFFT | 2222222222 |
| 384 | DNC | DNF | ---------- | FFTFTFFFTT | ---------- | ---------- | ---------- | ---------- | FFTFTFFFTT | FFTFTFFFTT | 2222222222 |
| 768 | DNC | DNF | ---------- | FTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFTFFFFFF | FTFTFFFFFF | 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 | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 04 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 40 | DNC | 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 | TFFFFTTFTF | CC | ---------- | TFFFFTTFTF | ---------- | ---------- | ---------- | ---------- | TFFFFTTFTF | TFFFFTTFTF | 3333333333 |
| 04 | TFFFTFFFTT | DNF | ---------- | TFFFTFFFTT | ---------- | ---------- | ---------- | ---------- | TFFFTFF-TT | TFFFTFFFTT | 3333333233 |
| 10 | CC | CC | ---------- | FTTFFFFFTF | ---------- | ---------- | ---------- | ---------- | FTTFFFF-TF | FTTFFFFFTF | 2222222122 |
| 20 | CC | CC | ---------- | FFFTTFFFTT | ---------- | ---------- | ---------- | ---------- | FF-TTFFFTT | FFFTTFFFTT | 2212222222 |
| 40 | CC | DNF | ---------- | FTTTF-FFFF | ---------- | ---------- | ---------- | ---------- | DNF | FTTTF?FFFF | 1111101111 |
| Correctness mask for Diffusion2D (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| D05N010 | DNC | CC | ---------- | FFFFFFTTFF | ---------- | ---------- | ---------- | ---------- | FFFFFFTTFF | FFFFFFTTFF | 2222222222 |
| D05N050 | DNC | CC | ---------- | FTFFFFTTFF | ---------- | ---------- | ---------- | ---------- | FTFFFFTTFF | FTFFFFTTFF | 2222222222 |
| D05N100 | DNC | CC | ---------- | FTFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FTFFFTFFTF | FTFFFTFFTF | 2222222222 |
| D05N150 | DNC | CC | ---------- | FFFFTTTTFF | ---------- | ---------- | ---------- | ---------- | FFFFTTTTFF | FFFFTTTTFF | 2222222222 |
| D05N200 | DNC | CC | ---------- | FFTFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFTFFFFFFT | FFTFFFFFFT | 2222222222 |
| D05N250 | DNC | CC | ---------- | FFTFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFTFFFFFFF | FFTFFFFFFF | 2222222222 |
| D05N300 | DNC | CC | ---------- | FFTTTFFTFT | ---------- | ---------- | ---------- | ---------- | FFTTTFFTFT | FFTTTFFTFT | 2222222222 |
| D05N350 | DNC | CC | ---------- | FFTFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFTFFFFFFF | FFTFFFFFFF | 2222222222 |
| D10N010 | DNC | CC | ---------- | TFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | TFFTFFFFFF | TFFTFFFFFF | 2222222222 |
| D10N050 | DNC | CC | ---------- | FTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFFFF | FTFFFFFFFF | 2222222222 |
| D10N100 | DNC | CC | ---------- | FFTFFTFFTT | ---------- | ---------- | ---------- | ---------- | FFTFFTFFTT | FFTFFTFFTT | 2222222222 |
| D10N150 | DNC | CC | ---------- | TFTFFFFTTF | ---------- | ---------- | ---------- | ---------- | TFTFFF--TF | TFTFFFFTTF | 2222221122 |
| D10N200 | DNC | CC | ---------- | FFFFTTFFFT | ---------- | ---------- | ---------- | ---------- | F-FFTT-FFT | FFFFTTFFFT | 2122221222 |
| D20N010 | DNC | CC | ---------- | FFTTFTFTTF | ---------- | ---------- | ---------- | ---------- | -FT-F----F | FFTTFTFTTF | 1221211112 |
| D20N050 | DNC | CC | ---------- | FFTTFTFFFF | ---------- | ---------- | ---------- | ---------- | DNF | FFTTFTFFFF | 1111111111 |
| D20N100 | DNC | CC | ---------- | TTFTFFFTFF | ---------- | ---------- | ---------- | ---------- | --F-FF--FF | TTFTFFFTFF | 1121221122 |
| D20N150 | DNC | CC | ---------- | FFFFTTTTFF | ---------- | ---------- | ---------- | ---------- | FFFF--TTFF | FFFFTTTTFF | 2222112222 |
| D30N010 | DNC | CC | ---------- | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | F-F--F-FFF | FFFFFFFFFF | 2121121222 |
| D30N050 | DNC | CC | ---------- | FFFTTFFFFF | ---------- | ---------- | ---------- | ---------- | F-F---FF-F | FFFTTFFFFF | 2121112212 |
| D30N100 | DNC | CC | ---------- | TFFFFTFFFT | ---------- | ---------- | ---------- | ---------- | --FF--FFF- | TFFFFTFFFT | 1122112221 |
| D30N150 | DNC | CC | ---------- | TFFFFTFTTT | ---------- | ---------- | ---------- | ---------- | DNF | TFFFFTFTTT | 1111111111 |
| D40N010 | DNC | CC | ---------- | FFTTFFFTFF | ---------- | ---------- | ---------- | ---------- | DNF | FFTTFFFTFF | 1111111111 |
| D40N050 | DNC | CC | ---------- | FFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | DNF | FFFFFTFFFF | 1111111111 |
| D40N100 | DNC | CC | ---------- | FTTTFTTFFF | ---------- | ---------- | ---------- | ---------- | DNF | FTTTFTTFFF | 1111111111 |
| D40N150 | DNC | CC | ---------- | FFTFFFFTFT | ---------- | ---------- | ---------- | ---------- | DNF | FFTFFFFTFT | 1111111111 |
| D50N010 | DNC | CC | ---------- | FFTFFTTFTT | ---------- | ---------- | ---------- | ---------- | DNF | FFTFFTTFTT | 1111111111 |
| D50N050 | DNC | CC | ---------- | TFFFFTTTFT | ---------- | ---------- | ---------- | ---------- | DNF | TFFFFTTTFT | 1111111111 |
| D50N100 | DNC | CC | ---------- | TTFFTFTFFT | ---------- | ---------- | ---------- | ---------- | DNF | TTFFTFTFFT | 1111111111 |
| D50N150 | DNC | CC | ---------- | FFFTFFFTFT | ---------- | ---------- | ---------- | ---------- | DNF | FFFTFFFTFT | 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 | FFFFFFFFTT | CC | ---------- | FFFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTT | FFFFFFFFTT | 3333333333 |
| 000010 | DNC | CC | ---------- | FFFTFFFTTT | ---------- | ---------- | ---------- | ---------- | FFFTFFFTTT | FFFTFFFTTT | 2222222222 |
| 000100 | DNC | CC | ---------- | TFFFFFFTFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFTFT | TFFFFFFTFT | 2222222222 |
| 001000 | DNC | CC | ---------- | FFFFTFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFTFFFTT | FFFFTFFFTT | 2222222222 |
| 010000 | DNC | CC | ---------- | TFFTTFFFTF | ---------- | ---------- | ---------- | ---------- | TFFTTFFFTF | TFFTTFFFTF | 2222222222 |
| 100000 | DNC | CC | ---------- | TFFTFTTTFT | ---------- | ---------- | ---------- | ---------- | TFFTFTTTFT | TFFTFTTTFT | 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 | DNC | CC | ---------- | T--TF-F-T- | ---------- | ---------- | ---------- | ---------- | DNF | T??TF?F?T? | 1001101010 |
| Correctness mask for MultiwaySync (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | DNC | CC | ---------- | FTFFFFFFTF | ---------- | ---------- | ---------- | ---------- | FTFFFFFFTF | FTFFFFFFTF | 2222222222 |
| Correctness mask for ParamProductionCell (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 0 | TFFFFFTFFF | CC | ---------- | TFFFFFTFFF | ---------- | ---------- | ---------- | ---------- | TFFFFFTFFF | TFFFFFTFFF | 3333333333 |
| 1 | TFFFFTFFFF | CC | ---------- | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFFFF | TFFFFTFFFF | 3333333333 |
| 2 | FFFFFFTFFF | CC | ---------- | FFFFFFTFFF | ---------- | ---------- | ---------- | ---------- | FFFFFFTFFF | FFFFFFTFFF | 3333333333 |
| 3 | TFFTFTFTFF | CC | ---------- | TFFTFTFTFF | ---------- | ---------- | ---------- | ---------- | TFFTFTFTFF | TFFTFTFTFF | 3333333333 |
| 4 | FFFFFFTTTT | CC | ---------- | FFFFFFTTTT | ---------- | ---------- | ---------- | ---------- | FFFFFFTTTT | FFFFFFTTTT | 3333333333 |
| 5 | FTFFFFFFFT | CC | ---------- | FTFFFFFFFT | ---------- | ---------- | ---------- | ---------- | FTFFFFFFFT | FTFFFFFFFT | 3333333333 |
| 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 | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J04T08 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J04T10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J06T06 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J06T08 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S02J06T10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J04T06 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J04T08 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J04T10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J06T06 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J06T08 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S04J06T10 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J04T04 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J04T06 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J04T08 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J06T04 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J06T06 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S06J06T08 | DNC | 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 | DNC | CC | ---------- | -FFFFFFFFF | ---------- | ---------- | ---------- | ---------- | -FF-FFFF-F | ?FFFFFFFFF | 0221222212 |
| S02J04T08 | DNC | CC | ---------- | FTFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FTFFFT-FTF | FTFFFTFFTF | 2222221222 |
| S02J04T10 | DNC | CC | ---------- | TTTFTFTFTT | ---------- | ---------- | ---------- | ---------- | TTTFTFTFTT | TTTFTFTFTT | 2222222222 |
| S02J06T06 | DNC | CC | ---------- | FFTFFTTFTF | ---------- | ---------- | ---------- | ---------- | FFTF-TTFT- | FFTFFTTFTF | 2222122221 |
| S02J06T08 | DNC | CC | ---------- | FTFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FTFFFFFFTT | FTFFFFFFTT | 2222222222 |
| S02J06T10 | DNC | CC | ---------- | FTTFFFFFFF | ---------- | ---------- | ---------- | ---------- | FTTF--FFFF | FTTFFFFFFF | 2222112222 |
| S04J04T06 | DNC | CC | ---------- | FFFFTTFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTTFF-F | FFFFTTFFFF | 2222222212 |
| S04J04T08 | DNC | CC | ---------- | FFFTTTFTFF | ---------- | ---------- | ---------- | ---------- | FFFTTTFTFF | FFFTTTFTFF | 2222222222 |
| S04J04T10 | DNC | CC | ---------- | TFTFFFTFTT | ---------- | ---------- | ---------- | ---------- | TFTFFFTFTT | TFTFFFTFTT | 2222222222 |
| S04J06T06 | DNC | CC | ---------- | TFFTFFFTFF | ---------- | ---------- | ---------- | ---------- | TFFTF---FF | TFFTFFFTFF | 2222211122 |
| S04J06T08 | DNC | CC | ---------- | FFFTFFTFTF | ---------- | ---------- | ---------- | ---------- | FFFTFFTFTF | FFFTFFTFTF | 2222222222 |
| S04J06T10 | DNC | CC | ---------- | FFFFTFFFTT | ---------- | ---------- | ---------- | ---------- | -FFFT-FFTT | FFFFTFFFTT | 1222212222 |
| S06J04T04 | DNC | CC | ---------- | FFFFFTTFFF | ---------- | ---------- | ---------- | ---------- | FFFFFTT-FF | FFFFFTTFFF | 2222222122 |
| S06J04T06 | DNC | CC | ---------- | TTFFTFTFFT | ---------- | ---------- | ---------- | ---------- | DNF | TTFFTFTFFT | 1111111111 |
| S06J04T08 | DNC | CC | ---------- | TTTFTTFTTF | ---------- | ---------- | ---------- | ---------- | DNF | TTTFTTFTTF | 1111111111 |
| S06J06T04 | DNC | CC | ---------- | FTTFTFFTFF | ---------- | ---------- | ---------- | ---------- | -TTFTFFTFF | FTTFTFFTFF | 1222222222 |
| S06J06T06 | DNC | CC | ---------- | FTFFFTFFTF | ---------- | ---------- | ---------- | ---------- | DNF | FTFFFTFFTF | 1111111111 |
| S06J06T08 | DNC | CC | ---------- | FFFTTFTFFT | ---------- | ---------- | ---------- | ---------- | DNF | FFFTTFTFFT | 1111111111 |
| 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 | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J30 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J40 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J60 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S05J80 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J20 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J30 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J40 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J60 | DNC | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| S10J80 | DNC | 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 | DNC | CC | ---------- | FTTFFT-F-F | ---------- | ---------- | ---------- | ---------- | ---FFTF--- | FTTFFTFF?F | 1112221101 |
| S05J30 | DNC | CC | ---------- | FFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFFFFFF-F- | FFFFFFFFFT | 2222222121 |
| S05J40 | DNC | CC | ---------- | TFFFFF-FTF | ---------- | ---------- | ---------- | ---------- | --FF--TFTF | TFFFFFTFTF | 1122111222 |
| S05J60 | DNC | CC | ---------- | -TT-FFTF-F | ---------- | ---------- | ---------- | ---------- | F-T---T-T- | FTT?FFTFTF | 1120112111 |
| S05J80 | DNC | CC | ---------- | FTFF-F-TTF | ---------- | ---------- | ---------- | ---------- | -T-F--FT-- | FTFF?FFTTF | 1212011211 |
| S10J20 | DNC | CC | ---------- | F-F-FFFTTT | ---------- | ---------- | ---------- | ---------- | DNF | F?F?FFFTTT | 1010111111 |
| S10J30 | DNC | CC | ---------- | FTF-FFF-TT | ---------- | ---------- | ---------- | ---------- | DNF | FTF?FFF?TT | 1110111011 |
| S10J40 | DNC | CC | ---------- | F--FT-FTTT | ---------- | ---------- | ---------- | ---------- | DNF | F??FT?FTTT | 1001101111 |
| S10J60 | DNC | CC | ---------- | F-TFFFF--T | ---------- | ---------- | ---------- | ---------- | DNF | F?TFFFF??T | 1011111001 |
| S10J80 | DNC | CC | ---------- | FFFFFFTFFF | ---------- | ---------- | ---------- | ---------- | DNF | FFFFFFTFFF | 1111111111 |
| Correctness mask for ProductionCell (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | DNC | CC | ---------- | FTTTFTFFTT | ---------- | ---------- | ---------- | ---------- | F--TFTFFTT | FTTTFTFFTT | 2112222222 |
| Correctness mask for Solitaire (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| EngCT7x7 | DNC | CC | ---------- | FFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFFF | FFFFTFFFFF | 2222222222 |
| EngNC7x7 | CC | CC | ---------- | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTF | FFFFFFFFTF | 2222222222 |
| FrnCT7x7 | DNC | CC | ---------- | TFFTFFFFTT | ---------- | ---------- | ---------- | ---------- | TFFTFFFFTT | TFFTFFFFTT | 2222222222 |
| FrnNC7x7 | CC | CC | ---------- | FFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFT | FFFFFFFFFT | 2222222222 |
| SqrCT5x5 | DNC | CC | ---------- | FFFFTTTFFT | ---------- | ---------- | ---------- | ---------- | FFFFTTTFFT | FFFFTTTFFT | 2222222222 |
| SqrNC5x5 | CC | CC | ---------- | FFFFFTFTFT | ---------- | ---------- | ---------- | ---------- | FFFFFTFTFT | FFFFFTFTFT | 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 | DNC | CC | ---------- | FTFTFFTFFF | ---------- | ---------- | ---------- | ---------- | FTFTFF-FFF | FTFTFFTFFF | 2222221222 |
| 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 | TTFFFFFFFF | ---------- | TTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFFFFFFF | TTFFFFFFFF | 3333333333 |
| 03 | DNC | FFTTTFFTFT | ---------- | FFTTTFFTFT | ---------- | ---------- | ---------- | ---------- | FFTTTFFTFT | FFTTTFFTFT | 3333333333 |
| 04 | DNC | MOVF | ---------- | FFFTFTTFFF | ---------- | ---------- | ---------- | ---------- | FFFTFTTFFF | FFFTFTTFFF | 2222222222 |
| 05 | DNC | MOVF | ---------- | FFFTFFFTFF | ---------- | ---------- | ---------- | ---------- | FF-T--FT-F | FFFTFFFTFF | 2212112212 |
| 07 | DNC | MOVF | ---------- | FFTFFTFFTF | ---------- | ---------- | ---------- | ---------- | F-TFFTFFT- | FFTFFTFFTF | 2122222221 |
| 10 | DNC | CC | ---------- | FTTTFFTTTT | ---------- | ---------- | ---------- | ---------- | FTTTFFTTTT | FTTTFFTTTT | 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 | TTTFFTFTFF | TTXFFXFTFF | ---------- | TTTFFTFTFF | ---------- | ---------- | ---------- | ---------- | TTTFFTFTFF | TTTFFTFTFF | 4434434444 |
| 015 | FTTFFFTFFF | FTTFFFTFFF | ---------- | FTTFFFTFFF | ---------- | ---------- | ---------- | ---------- | FTTFFFTFFF | FTTFFFTFFF | 4444444444 |
| 020 | FTTFFFFFTT | FTTFFFFFTX | ---------- | FTTFFFFFTT | ---------- | ---------- | ---------- | ---------- | FTTFFFFFTT | FTTFFFFFTT | 4444444443 |
| 050 | DNF | DNF | ---------- | FTTTTTTFFT | ---------- | ---------- | ---------- | ---------- | FTTTTTTFFT | FTTTTTTFFT | 2222222222 |
| 100 | CC | MOVF | ---------- | FTFTTFTFTT | ---------- | ---------- | ---------- | ---------- | FTFTTFTFTT | FTFTTFTFTT | 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 | TXFFTFFFFT | TTFFTFXFFT | ---------- | TTFFTFFFFT | ---------- | ---------- | ---------- | ---------- | TT-FTFFFFT | TTFFTFFFFT | 4334443444 |
| 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 | ---------- | TFFFFTFTTT | ---------- | ---------- | ---------- | ---------- | TFFFFTF-TT | TFFFFTFTTT | 2222222122 |
| d02r11 | CC | MOVF | ---------- | FTFFFFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFF | FTFFFFFTFF | 2222222222 |
| d02r15 | CC | MOVF | ---------- | FFFTTFTFFF | ---------- | ---------- | ---------- | ---------- | FFFTTFTFFF | FFFTTFTFFF | 2222222222 |
| d02r19 | CC | MOVF | ---------- | FFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFFF | FFFFTFFFFF | 2222222222 |
| d03r03 | CC | MOVF | ---------- | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 2222222222 |
| d03r05 | CC | MOVF | ---------- | TFFTFFTFTF | ---------- | ---------- | ---------- | ---------- | TFFTFFTFTF | TFFTFFTFTF | 2222222222 |
| d03r07 | CC | MOVF | ---------- | TFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | TFFTFFFFFF | TFFTFFFFFF | 2222222222 |
| d04r03 | CC | MOVF | ---------- | TFTFTTFTTF | ---------- | ---------- | ---------- | ---------- | TFTFTTFTTF | TFTFTTFTTF | 2222222222 |
| d05r03 | CC | MOVF | ---------- | FFFFFFFTFT | ---------- | ---------- | ---------- | ---------- | FFFFFFFTFT | FFFFFFFTFT | 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 | FXFFTTTTFT | FFFFXXXXXX | ---------- | FFFFTTTTFT | ---------- | ---------- | ---------- | ---------- | FFFFTTTTFT | FFFFTTTTFT | 4344333333 |
| 020 | TFFFFFFFXT | XXXFXXXFFX | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFT | TFFFFFFFFT | 3334333433 |
| 050 | TFFTFX?FTX | TXXXFF?XTF | ---------- | TFFTFF?FTF | ---------- | ---------- | ---------- | ---------- | TFFTFF?FTF | TFFTFF?FTF | 4333430343 |
| 100 | FFTTFFXFFF | XXXXFFFXXX | ---------- | FFTTFFFFFF | ---------- | ---------- | ---------- | ---------- | FFTTFFFFFF | FFTTFFFFFF | 3333443333 |
| 200 | FXFTFFTXTF | FFXXXFXFXX | ---------- | FFFTFFTFTF | ---------- | ---------- | ---------- | ---------- | FFFTFFTFTF | FFFTFFTFTF | 4333343333 |
| 500 | CC | CC | ---------- | FFFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FFFFFTFTFF | FFFFFTFTFF | 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 | FFFTFFFTFT | ---------- | FFFTFFFTFT | ---------- | ---------- | ---------- | ---------- | FFFTFFFTFT | FFFTFFFTFT | 3333333333 |
| 005 | DNC | FFTFFFFFFT | ---------- | FFTFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFTFFFFFFT | FFTFFFFFFT | 3333333333 |
| 010 | DNC | FTFFTFFTFF | ---------- | FTFFTFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFTFFTFF | FTFFTFFTFF | 3333333333 |
| 020 | DNC | TTFFFTTFTF | ---------- | TTFFFTTFTF | ---------- | ---------- | ---------- | ---------- | TTFFFTTFTF | TTFFFTTFTF | 3333333333 |
| 050 | DNC | TFFFTFFFTF | ---------- | TFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFTF | TFFFTFFFTF | 3333333333 |
| 100 | DNC | TFFFFTTFFT | ---------- | TFFFFTTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFT | TFFFFTTFFT | 3333333333 |
| 200 | DNC | TFFFTFTTTF | ---------- | TFFFTFTTTF | ---------- | ---------- | ---------- | ---------- | TFFFTFTTTF | TFFFTFTTTF | 3333333333 |
| 500 | DNC | FFTFTFTFFT | ---------- | FFTFTFTFFT | ---------- | ---------- | ---------- | ---------- | FFTFTFTFFT | FFTFTFTFFT | 3333333333 |
| 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 | FFFFFFFFFF | ---------- | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | F-FFFFFF-F | FFFFFFFFFF | 3233333323 |
| 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 | FTFFFTFTFF | ---------- | FTFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTFF | FTFFFTFTFF | 3333333333 |
| 005 | DNC | TFFFFTFFFF | ---------- | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFFFF | TFFFFTFFFF | 3333333333 |
| 010 | DNC | FFFFFTFFTF | ---------- | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 3333333333 |
| 020 | DNC | FTFFTTFFFF | ---------- | FTFFTTFFFF | ---------- | ---------- | ---------- | ---------- | FTFFTTFFFF | FTFFTTFFFF | 3333333333 |
| 050 | DNC | FFFFFTTFTT | ---------- | FFFFFTTFTT | ---------- | ---------- | ---------- | ---------- | FFFFFTTFTT | FFFFFTTFTT | 3333333333 |
| 100 | DNC | MOVF | ---------- | FFFFTTFFTT | ---------- | ---------- | ---------- | ---------- | FFFFTTFFTT | FFFFTTFFTT | 2222222222 |
| 200 | DNC | MOVF | ---------- | FTTFTFFFTT | ---------- | ---------- | ---------- | ---------- | FTTFTFFFTT | FTTFTFFFTT | 2222222222 |
| 500 | DNC | DNF | ---------- | FFFTFFTFFT | ---------- | ---------- | ---------- | ---------- | FFFTFFTFFT | FFFTFFTFFT | 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 | ---------- | FTTTFFTTFF | ---------- | ---------- | ---------- | ---------- | FTTTFFTTFF | FTTTFFTTFF | 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 | FFFFTFTFTT | ---------- | FFFFTFTFTT | ---------- | ---------- | ---------- | ---------- | FFFFTFTFTT | FFFFTFTFTT | 3333333333 |
| 0010 | DNC | FTFTTTFTFT | ---------- | FTFTTTFTFT | ---------- | ---------- | ---------- | ---------- | FTFTTTFTFT | FTFTTTFTFT | 3333333333 |
| 0020 | DNC | FFFTFFFTTF | ---------- | FFFTFFFTTF | ---------- | ---------- | ---------- | ---------- | FFFTFFFTTF | FFFTFFFTTF | 3333333333 |
| 0050 | DNC | TFFFTFFFFF | ---------- | TFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFFF | TFFFTFFFFF | 3333333333 |
| 0100 | DNC | TFFFFFFFFT | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFT | TFFFFFFFFT | 3333333333 |
| 0200 | DNC | FTFTTTFFTF | ---------- | FTFTTTFFTF | ---------- | ---------- | ---------- | ---------- | FTFTTTFFTF | FTFTTTFFTF | 3333333333 |
| 0500 | DNC | DNF | ---------- | TTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFFF | TTFFTFFFFF | 2222222222 |
| 1000 | DNC | DNF | ---------- | TFTFFFTTFF | ---------- | ---------- | ---------- | ---------- | TFTFFFTTFF | TFTFFFTTFF | 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 | FTFFFTFFFF | FTFFFTFXXF | ---------- | FTFFFTFFFF | ---------- | ---------- | ---------- | ---------- | FTFFFTFFFF | FTFFFTFFFF | 4444444334 |
| 3 | FFTFFFFFTF | FFTFFFFFTF | ---------- | FFTFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFTFFFFFTF | FFTFFFFFTF | 4444444444 |
| 4 | TFFFTTFFFT | TFFFTTFFFT | ---------- | TFFFTTFFFT | ---------- | ---------- | ---------- | ---------- | TFFFTTFF-T | TFFFTTFFFT | 4444444434 |
| 5 | DNF | DNF | ---------- | FFFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FFFFFTFTFF | FFFFFTFTFF | 2222222222 |
| 6 | DNF | DNF | ---------- | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFT-FTF | FFFFFTFFTF | 2222221222 |
| 7 | DNF | DNF | ---------- | TFFTFFTTFF | ---------- | ---------- | ---------- | ---------- | T-FT-FTTF- | TFFTFFTTFF | 2122122221 |
| 8 | DNF | DNF | ---------- | TTFFTFTFFF | ---------- | ---------- | ---------- | ---------- | T---TFTFFF | TTFFTFTFFF | 2111222222 |
| 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 | FTFTTTTFTF | ---------- | FTFTTTTFTF | ---------- | ---------- | ---------- | ---------- | FTFTTTTFTF | FTFTTTTFTF | 3333333333 |
| 020 | DNC | DNF | ---------- | FTTFFTFTFT | ---------- | ---------- | ---------- | ---------- | FTTFFTFTFT | FTTFFTFTFT | 2222222222 |
| 040 | DNC | DNF | ---------- | FFTTFTFFFT | ---------- | ---------- | ---------- | ---------- | FFTTFTFFFT | FFTTFTFFFT | 2222222222 |
| 080 | DNC | DNF | ---------- | FFFFFFTTFF | ---------- | ---------- | ---------- | ---------- | FFFFFFTTFF | FFFFFFTTFF | 2222222222 |
| 160 | DNC | DNF | ---------- | FFFTTFFTFT | ---------- | ---------- | ---------- | ---------- | FFFTTFFTFT | FFFTTFFTFT | 2222222222 |
| 320 | DNC | DNF | ---------- | TFFFTFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFTFFFFT | TFFFTFFFFT | 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 | FTFFFFTTFT | FXFFFFTTFT | ---------- | FTFFFFTTFT | ---------- | ---------- | ---------- | ---------- | FTFF--TTFT | FTFFFFTTFT | 4344334444 |
| 3 | FTFFFFFFFF | XXFFFFFFFF | ---------- | FTFFF-FFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFF-F- | FTFFFFFFFF | 3344434343 |
| 4 | DNF | MOVF | ---------- | F-FT-----F | ---------- | ---------- | ---------- | ---------- | -FFTFTFFTF | FFFTFTFFTF | 1122111112 |
| 5 | CC | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFF-TT-FT- | FFF?TT?FT? | 1110110110 |
| 6 | CC | MOVF | ---------- | FT----F-F- | ---------- | ---------- | ---------- | ---------- | DNF | FT????F?F? | 1100001010 |
| 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 | TTFTTTTFFT | TTXTTXTFFT | ---------- | TTFTTTTFFT | ---------- | ---------- | ---------- | ---------- | TTFTTTT--T | TTFTTTTFFT | 4434434334 |
| 02 | DNC | DNF | ---------- | FTFTFTFTFF | ---------- | ---------- | ---------- | ---------- | -TFT-TFTF- | FTFTFTFTFF | 1222122221 |
| 05 | DNC | DNF | ---------- | TFFFFFTFTF | ---------- | ---------- | ---------- | ---------- | T---FFTFTF | TFFFFFTFTF | 2111222222 |
| 10 | DNC | DNF | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | T--FF-F--T | TFFFFFFFFT | 2112212112 |
| 20 | DNC | DNF | ---------- | TFTTFTFFTT | ---------- | ---------- | ---------- | ---------- | TFTTFTFFTT | TFTTFTFFTT | 2222222222 |
| 50 | DNC | DNF | ---------- | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TF-FFTFFFF | TFFFFTFFFF | 2212222222 |
| 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 | FFFFTFTTFT | FFFFTFTTFT | ---------- | FFFFTFTTFT | ---------- | ---------- | ---------- | ---------- | FFFFTFTTFT | FFFFTFTTFT | 4444444444 |
| 3 | FFFTTFFTFF | FFFTTXFTFF | ---------- | FFFTTFFTFF | ---------- | ---------- | ---------- | ---------- | FFFTTFFTFF | FFFTTFFTFF | 4444434444 |
| 4 | DNF | CC | ---------- | TTTFFTFFFF | ---------- | ---------- | ---------- | ---------- | TTT-FTFFFF | TTTFFTFFFF | 2221222222 |
| 5 | DNF | CC | ---------- | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | -FFFFFFFTF | FFFFFFFFTF | 1222222222 |
| 6 | DNF | CC | ---------- | TTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | TTFT-FF-FF | TTFTFFFFFF | 2222122122 |
| 7 | DNF | CC | ---------- | FFFTTFFFFT | ---------- | ---------- | ---------- | ---------- | FFFTTFFF-T | FFFTTFFFFT | 2222222212 |
| 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 | TFFFFFFFFT | TFFFFFFFFT | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFT | TFFFFFFFFT | 4444444444 |
| 000010 | TTFTTFTFFT | TTFTTFTFFT | ---------- | TTFTTFTFFT | ---------- | ---------- | ---------- | ---------- | TTFTTFTFFT | TTFTTFTFFT | 4444444444 |
| 000020 | TFTFTFFFFF | TFTFTFFFFF | ---------- | TFTFTFFFFF | ---------- | ---------- | ---------- | ---------- | T-T-TFF-FF | TFTFTFFFFF | 4343444344 |
| 000050 | FFFTFFFFFT | MOVF | ---------- | FFFTFFFFFT | ---------- | ---------- | ---------- | ---------- | FF-TF-F--T | FFFTFFFFFT | 3323323223 |
| 000100 | FTTFFFFFFF | MOVF | ---------- | FTTFFFFFFF | ---------- | ---------- | ---------- | ---------- | -TTFF-FF-F | FTTFFFFFFF | 2333323323 |
| 000200 | TFTTFTFTTF | MOVF | ---------- | TFTTFTFTTF | ---------- | ---------- | ---------- | ---------- | T-TT-T-TTF | TFTTFTFTTF | 3233232333 |
| 000500 | FTTTFFFFFF | X--------- | ---------- | FTTTFFFFFF | ---------- | ---------- | ---------- | ---------- | FTTT--F-FF | FTTTFFFFFF | 3333223233 |
| 001000 | FFTTFFFFFF | MOVF | ---------- | FFTTFFFFFF | ---------- | ---------- | ---------- | ---------- | DNF | FFTTFFFFFF | 2222222222 |
| 002000 | FFFFFFTFFF | DNF | ---------- | FFFFFFTFFF | ---------- | ---------- | ---------- | ---------- | DNF | FFFFFFTFFF | 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 | XXTFTXFFFF | ---------- | TTTFTTFFFF | ---------- | ---------- | ---------- | ---------- | TTTFTTFFFF | TTTFTTFFFF | 2233323333 |
| 10 | DNF | FFFFTFXFXF | ---------- | FFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | F-FFTFFFTF | FFFFTFFFTF | 3233332323 |
| 20 | DNF | CC | ---------- | TTFFFFF-FF | ---------- | ---------- | ---------- | ---------- | DNF | TTFFFFF?FF | 1111111011 |
| 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 | ---------- | TTFTFFFFTF | ---------- | ---------- | ---------- | ---------- | TTFTFFFFTF | TTFTFFFFTF | 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 | FFTFFTFTTF | FFTXFTFTTF | ---------- | FFTFFTFTTF | ---------- | ---------- | ---------- | ---------- | FFTFFTFTTF | FFTFFTFTTF | 4443444444 |
| 06 | DNC | XXTTFFFTXX | ---------- | TFTTFFFTFT | ---------- | ---------- | ---------- | ---------- | TFTTFFFTFT | TFTTFFFTFT | 2233333322 |
| 10 | DNC | MOVF | ---------- | TFTFFTTTTF | ---------- | ---------- | ---------- | ---------- | TFTFFTTTTF | TFTFFTTTTF | 2222222222 |
| 18 | DNC | MOVF | ---------- | FFTFTFFFFF | ---------- | ---------- | ---------- | ---------- | -FT--F--F- | FFTFTFFFFF | 1221121121 |
| 22 | DNC | MOVF | ---------- | TFFFFTTFFT | ---------- | ---------- | ---------- | ---------- | T-------FT | TFFFFTTFFT | 2111111122 |
| 28 | DNC | MOVF | ---------- | FTTTFFFFFT | ---------- | ---------- | ---------- | ---------- | DNF | FTTTFFFFFT | 1111111111 |
| 32 | DNC | MOVF | ---------- | TFTFTFTFFT | ---------- | ---------- | ---------- | ---------- | -FTF----FT | TFTFTFTFFT | 1222111122 |
| Correctness mask for Railroad (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | TTFFTFFFTF | TXXFXFXFXF | ---------- | TTFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFTF | TTFFTFFFTF | 4334343434 |
| 010 | DNF | MOVF | ---------- | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFFFF | TFFFFTFFFF | 2222222222 |
| 020 | DNF | MOVF | ---------- | TFFFFFFTFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFTF- | TFFFFFFTFF | 2222222221 |
| 050 | CC | MOVF | ---------- | TFTFTTTFTT | ---------- | ---------- | ---------- | ---------- | DNF | TFTFTTTFTT | 1111111111 |
| 100 | DNF | MOVF | ---------- | TFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | DNF | TFFFFTFFTF | 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 | FTTFFTTFFF | FTTFFTXXFF | ---------- | FTTFFTTFFF | ---------- | ---------- | ---------- | ---------- | FTTFFTTFFF | FTTFFTTFFF | 4444443344 |
| R003C002 | FTTTFFFFFT | FTTTXXFFFT | ---------- | FTTTFFFFFT | ---------- | ---------- | ---------- | ---------- | FTTTFFFFFT | FTTTFFFFFT | 4444334444 |
| R003C003 | FTFFFTFTFF | FTFFFXXTXX | ---------- | FTFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTFF | FTFFFTFTFF | 4444433433 |
| R003C005 | TTFFFFFFFF | TTFFFFFFFF | ---------- | TTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFFFFFFF | TTFFFFFFFF | 4444444444 |
| R003C010 | TFFFFTFTTF | XFFFXTFTTF | ---------- | TFFFFTFTTF | ---------- | ---------- | ---------- | ---------- | TFFFFTFTTF | TFFFFTFTTF | 3444344444 |
| R003C015 | TTTFFFTTFF | TTTFFFTTFF | ---------- | TTTFFFTTFF | ---------- | ---------- | ---------- | ---------- | TTTFFFTTFF | TTTFFFTTFF | 4444444444 |
| R003C020 | FFFFFFTTFT | MOVF | ---------- | FFFFFFTTFT | ---------- | ---------- | ---------- | ---------- | FFF-FF-TFT | FFFFFFTTFT | 3332332333 |
| R003C050 | FTFTTFFFFT | MOVF | ---------- | FTFTTFFFFT | ---------- | ---------- | ---------- | ---------- | F-F-TFFFFT | FTFTTFFFFT | 3232333333 |
| R003C100 | FFFFFFTFFT | MOVF | ---------- | FFFFFFTFFT | ---------- | ---------- | ---------- | ---------- | FFFFFFTFFT | FFFFFFTFFT | 3333333333 |
| R005C002 | FFTTFFTTTT | FFTTFFTTTT | ---------- | FFTTFFTTTT | ---------- | ---------- | ---------- | ---------- | FFTTFFTTTT | FFTTFFTTTT | 4444444444 |
| R010C002 | FFFTTFFFTT | FFFTTFXFTX | ---------- | FFFTTFFFTT | ---------- | ---------- | ---------- | ---------- | FFFTTFFFTT | FFFTTFFFTT | 4444443443 |
| R015C002 | TFTFFTFTTF | TFTFFTFTTF | ---------- | TFTFFTFTTF | ---------- | ---------- | ---------- | ---------- | TFTFFTFTTF | TFTFFTFTTF | 4444444444 |
| R020C002 | FTFFTFTFFT | FTFXTFTXFT | ---------- | FTFFTFTFFT | ---------- | ---------- | ---------- | ---------- | FTFFTFTFFT | FTFFTFTFFT | 4443444344 |
| R050C002 | TTTFTFFFTF | TTTFTFFFTF | ---------- | TTTFTFFFTF | ---------- | ---------- | ---------- | ---------- | TTTFTFFFTF | TTTFTFFFTF | 4444444444 |
| R100C002 | TFTFTFFTFT | TFTXTFFTFT | ---------- | TFTFTFFTFT | ---------- | ---------- | ---------- | ---------- | TFTFTFFTFT | TFTFTFFTFT | 4443444444 |
| 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 | FFTFFFFTFF | ---------- | FFTFFFFTFF | ---------- | ---------- | ---------- | ---------- | FFTF-FFTFF | FFTFFFFTFF | 3333233333 |
| Correctness mask for RwMutex (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| r0010w0010 | FTFFFTFTTF | FTFFXTFTXF | ---------- | FTFFFTFTTF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTTF | FTFFFTFTTF | 4444344434 |
| r0010w0020 | TFFFTTFTFF | XFFFXXFXFF | ---------- | TFFFTTFTFF | ---------- | ---------- | ---------- | ---------- | TFFFTTFTFF | TFFFTTFTFF | 3444334344 |
| r0010w0050 | TFFTFTTTFF | TFFTFTTTFF | ---------- | TFFTFTTTFF | ---------- | ---------- | ---------- | ---------- | TFFTFTTTFF | TFFTFTTTFF | 4444444444 |
| r0010w0100 | FFFFFFFFTF | FFFFXXFFTX | ---------- | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTF | FFFFFFFFTF | 4444334443 |
| r0010w0500 | TFFFFTTFFT | TXFFFXXFFT | ---------- | TFFFFTTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFT | TFFFFTTFFT | 4344433444 |
| r0010w1000 | TTFFTFFFFF | MOVF | ---------- | TTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFFF | TTFFTFFFFF | 3333333333 |
| r0010w2000 | FFFFFTFTFF | MOVF | ---------- | FFF------F | ---------- | ---------- | ---------- | ---------- | DNF | FFFFFTFTFF | 2221111112 |
| r0020w0010 | FFFFTFFFTF | FFFXTFFFTF | ---------- | FFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFTF | FFFFTFFFTF | 4443444444 |
| r0100w0010 | TFFFTTTTTT | TFFFTTTTTT | ---------- | TFFFTTTTTT | ---------- | ---------- | ---------- | ---------- | TFFFTTTTTT | TFFFTTTTTT | 4444444444 |
| r0500w0010 | FFFFFFFFTF | FFFFFFFFTF | ---------- | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTF | FFFFFFFFTF | 4444444444 |
| r1000w0010 | FFTFFFFTFT | FFTFFFFTFT | ---------- | FFTFFFFTFT | ---------- | ---------- | ---------- | ---------- | FFTFFFFTFT | FFTFFFFTFT | 4444444444 |
| r2000w0010 | FFTFFTTFFF | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | FFTFFTTFFF | 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 | FFFTTFFTFF | FFFTTFFTFF | ---------- | FFFTTFFTFF | ---------- | ---------- | ---------- | ---------- | FFFTTFFTFF | FFFTTFFTFF | 4444444444 |
| 000010 | FFFFFFTFTT | FFFFFFTFTT | ---------- | FFFFFFTFTT | ---------- | ---------- | ---------- | ---------- | FFFFF-TFTT | FFFFFFTFTT | 4444434444 |
| 000020 | FTTFFTFFFF | MOVF | ---------- | FTTFFTFFFF | ---------- | ---------- | ---------- | ---------- | FTTFFT-FFF | FTTFFTFFFF | 3333332333 |
| 000050 | TFFFTTFFFF | CC | ---------- | TFFFTTFFFF | ---------- | ---------- | ---------- | ---------- | DNF | TFFFTTFFFF | 2222222222 |
| 000100 | FFTTFFTTFF | CC | ---------- | -F-T-FTTFF | ---------- | ---------- | ---------- | ---------- | DNF | FFTTFFTTFF | 1212122222 |
| 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 | TFTFTFTTFF | TFTFTXTXFF | ---------- | TFTFTFTTFF | ---------- | ---------- | ---------- | ---------- | TFTFTFTTFF | TFTFTFTTFF | 4444434344 |
| 05 | FFFTFFTTFF | FFFTFFXTFF | ---------- | FFFTFFTTFF | ---------- | ---------- | ---------- | ---------- | FFFTFFTTFF | FFFTFFTTFF | 4444443444 |
| 10 | DNF | FFTFTFTFTF | ---------- | FFTFTFTFTF | ---------- | ---------- | ---------- | ---------- | FFT-TFTFTF | FFTFTFTFTF | 3332333333 |
| 15 | DNF | DNF | ---------- | FTFTFTFFFF | ---------- | ---------- | ---------- | ---------- | FTFT-TF-F- | FTFTFTFFFF | 2222122121 |
| 20 | CC | MOVF | ---------- | FFTFTTFFTT | ---------- | ---------- | ---------- | ---------- | F-TFTT-F-T | FFTFTTFFTT | 2122221212 |
| 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 | TFTTFTTFTF | TFTTFTTFTF | ---------- | TFTTFTTFTF | ---------- | ---------- | ---------- | ---------- | TFTTFTT-T- | TFTTFTTFTF | 4444444343 |
| 010 | TFTFFTFFFF | CC | ---------- | TFTFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFTFFTFF-- | TFTFFTFFFF | 3333333322 |
| 015 | CC | CC | ---------- | TTFFTTFFFF | ---------- | ---------- | ---------- | ---------- | TTF-TTFFFF | TTFFTTFFFF | 2221222222 |
| 020 | CC | CC | ---------- | FFTFFFFFFT | ---------- | ---------- | ---------- | ---------- | -FTF-----T | FFTFFFFFFT | 1222111112 |
| 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 | ---------- | FFFTFTTTTF | ---------- | ---------- | ---------- | ---------- | F-FTFTT--- | FFFTFTTTTF | 2122222111 |
| 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 | ---------- | TTFFFFFFFF | ---------- | TTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFFFFFFF | TTFFFFFFFF | 3333333333 |
| 03 | ---------- | DNF | ---------- | FFTTTFFTFT | ---------- | ---------- | ---------- | ---------- | FFTTTFFTFT | FFTTTFFTFT | 2222222222 |
| 04 | ---------- | DNF | ---------- | FFFTFTTFFF | ---------- | ---------- | ---------- | ---------- | FFFTFTTFFF | FFFTFTTFFF | 2222222222 |
| 05 | ---------- | DNF | ---------- | FFFTFFFTFF | ---------- | ---------- | ---------- | ---------- | FF-T--FT-F | FFFTFFFTFF | 2212112212 |
| 07 | ---------- | CC | ---------- | FFTFFTFFTF | ---------- | ---------- | ---------- | ---------- | F-TFFTFFT- | FFTFFTFFTF | 2122222221 |
| 10 | ---------- | CC | ---------- | FTTTFFTTTT | ---------- | ---------- | ---------- | ---------- | FTTTFFTTTT | FTTTFFTTTT | 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 | ---------- | TTXFFTFTXF | ---------- | TTTFFTFTFF | ---------- | ---------- | ---------- | ---------- | TTTFFTFTFF | TTTFFTFTFF | 3323333323 |
| 015 | ---------- | FTTFFFTFFF | ---------- | FTTFFFTFFF | ---------- | ---------- | ---------- | ---------- | FTTFFFTFFF | FTTFFFTFFF | 3333333333 |
| 020 | ---------- | FTTFFFFFTT | ---------- | FTTFFFFFTT | ---------- | ---------- | ---------- | ---------- | FTTFFFFFTT | FTTFFFFFTT | 3333333333 |
| 050 | ---------- | MOVF | ---------- | FTTTTTTFFT | ---------- | ---------- | ---------- | ---------- | FTTTTTTFFT | FTTTTTTFFT | 2222222222 |
| 100 | ---------- | MOVF | ---------- | FTFTTFTFTT | ---------- | ---------- | ---------- | ---------- | FTFTTFTFTT | FTFTTFTFTT | 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 | ---------- | XTFFTFFFFT | ---------- | TTFFTFFFFT | ---------- | ---------- | ---------- | ---------- | TT-FTFFFFT | TTFFTFFFFT | 2323333333 |
| Correctness mask for Echo (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| d02r09 | ---------- | XFFXFXF?XX | ---------- | TFFFFTF?TT | ---------- | ---------- | ---------- | ---------- | TFFFFTF-TT | TFFFFTF?TT | 2332323022 |
| d02r11 | ---------- | XXFFFF?XXF | ---------- | FTFFFF?TFF | ---------- | ---------- | ---------- | ---------- | FTFFFF-TFF | FTFFFF?TFF | 2233330223 |
| d02r15 | ---------- | XFFXXFXFXF | ---------- | FFFTTFTFFF | ---------- | ---------- | ---------- | ---------- | FFFTTFTFFF | FFFTTFTFFF | 2332232323 |
| d02r19 | ---------- | XFXFXFXXFF | ---------- | FFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFFF | FFFFTFFFFF | 2323232233 |
| d03r03 | ---------- | XFXFXXFFXX | ---------- | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 2323223322 |
| d03r05 | ---------- | XFFXXXXFXF | ---------- | TFFTFFTFTF | ---------- | ---------- | ---------- | ---------- | TFFTFFTFTF | TFFTFFTFTF | 2332222323 |
| d03r07 | ---------- | XFFXFXFXFX | ---------- | TFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | TFFTFFFFFF | TFFTFFFFFF | 2332323232 |
| d04r03 | ---------- | XXXXXXXXXX | ---------- | TFTFTTFTTF | ---------- | ---------- | ---------- | ---------- | TFTFTTFTTF | TFTFTTFTTF | 2222222222 |
| d05r03 | ---------- | XFFXFXXXFX | ---------- | FFFFFFFTFT | ---------- | ---------- | ---------- | ---------- | FFFFFFFTFT | FFFFFFFTFT | 2332322232 |
| 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 | ---------- | FFFFTTTTFT | ---------- | ---------- | ---------- | ---------- | FFFFTTTTFT | FFFFTTTTFT | 2222222222 |
| 020 | ---------- | CC | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFT | TFFFFFFFFT | 2222222222 |
| 050 | ---------- | CC | ---------- | TFFTFFFFTF | ---------- | ---------- | ---------- | ---------- | TFFTFFFFTF | TFFTFFFFTF | 2222222222 |
| 100 | ---------- | CC | ---------- | FFTTFFFFFF | ---------- | ---------- | ---------- | ---------- | FFTTFFFFFF | FFTTFFFFFF | 2222222222 |
| 200 | ---------- | CC | ---------- | FFFTFFTFTF | ---------- | ---------- | ---------- | ---------- | FFFTFFTFTF | FFFTFFTFTF | 2222222222 |
| 500 | ---------- | CC | ---------- | FFFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FFFFFTFTFF | FFFFFTFTFF | 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 | ---------- | FFFTFFFTFT | ---------- | FFFTFFFTFT | ---------- | ---------- | ---------- | ---------- | FFFTFFFTFT | FFFTFFFTFT | 3333333333 |
| 005 | ---------- | FFTFFFFFFT | ---------- | FFTFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFTFFFFFFT | FFTFFFFFFT | 3333333333 |
| 010 | ---------- | FTFFTFFTFF | ---------- | FTFFTFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFTFFTFF | FTFFTFFTFF | 3333333333 |
| 020 | ---------- | TTFFFTTFTF | ---------- | TTFFFTTFTF | ---------- | ---------- | ---------- | ---------- | TTFFFTTFTF | TTFFFTTFTF | 3333333333 |
| 050 | ---------- | TFFFTFFFTF | ---------- | TFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFTF | TFFFTFFFTF | 3333333333 |
| 100 | ---------- | TFFFFTTFFT | ---------- | TFFFFTTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFT | TFFFFTTFFT | 3333333333 |
| 200 | ---------- | TFFFTFTTTF | ---------- | TFFFTFTTTF | ---------- | ---------- | ---------- | ---------- | TFFFTFTTTF | TFFFTFTTTF | 3333333333 |
| 500 | ---------- | DNF | ---------- | FFTFTFTFFT | ---------- | ---------- | ---------- | ---------- | FFTFTFTFFT | FFTFTFTFFT | 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 | ---------- | FFFFFFFFFF | ---------- | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | F-FFFFFF-F | FFFFFFFFFF | 3233333323 |
| Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 002 | ---------- | FTFFFTFTFF | ---------- | FTFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTFF | FTFFFTFTFF | 3333333333 |
| 005 | ---------- | TFFFFTFFFF | ---------- | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFFFF | TFFFFTFFFF | 3333333333 |
| 010 | ---------- | FFFFFTFFTF | ---------- | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 3333333333 |
| 020 | ---------- | FTFFTTFFFF | ---------- | FTFFTTFFFF | ---------- | ---------- | ---------- | ---------- | FTFFTTFFFF | FTFFTTFFFF | 3333333333 |
| 050 | ---------- | FFFFFTTFTT | ---------- | FFFFFTTFTT | ---------- | ---------- | ---------- | ---------- | FFFFFTTFTT | FFFFFTTFTT | 3333333333 |
| 100 | ---------- | MOVF | ---------- | FFFFTTFFTT | ---------- | ---------- | ---------- | ---------- | FFFFTTFFTT | FFFFTTFFTT | 2222222222 |
| 200 | ---------- | DNF | ---------- | FTTFTFFFTT | ---------- | ---------- | ---------- | ---------- | FTTFTFFFTT | FTTFTFFFTT | 2222222222 |
| 500 | ---------- | DNF | ---------- | FFFTFFTFFT | ---------- | ---------- | ---------- | ---------- | FFFTFFTFFT | FFFTFFTFFT | 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 | ---------- | XXXXFXXXFF | ---------- | FTTTFFTTFF | ---------- | ---------- | ---------- | ---------- | FTTTFFTTFF | FTTTFFTTFF | 2222322233 |
| Correctness mask for Kanban (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 0005 | ---------- | FFFFTFTFTT | ---------- | FFFFTFTFTT | ---------- | ---------- | ---------- | ---------- | FFFFTFTFTT | FFFFTFTFTT | 3333333333 |
| 0010 | ---------- | FTFTTTFTFT | ---------- | FTFTTTFTFT | ---------- | ---------- | ---------- | ---------- | FTFTTTFTFT | FTFTTTFTFT | 3333333333 |
| 0020 | ---------- | FFFTFFFTTF | ---------- | FFFTFFFTTF | ---------- | ---------- | ---------- | ---------- | FFFTFFFTTF | FFFTFFFTTF | 3333333333 |
| 0050 | ---------- | TFFFTFFFFF | ---------- | TFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFFF | TFFFTFFFFF | 3333333333 |
| 0100 | ---------- | TFFFFFFFFT | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFT | TFFFFFFFFT | 3333333333 |
| 0200 | ---------- | FTFTTTFFTF | ---------- | FTFTTTFFTF | ---------- | ---------- | ---------- | ---------- | FTFTTTFFTF | FTFTTTFFTF | 3333333333 |
| 0500 | ---------- | DNF | ---------- | TTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFFF | TTFFTFFFFF | 2222222222 |
| 1000 | ---------- | DNF | ---------- | TFTFFFTTFF | ---------- | ---------- | ---------- | ---------- | TFTFFFTTFF | TFTFFFTTFF | 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 | ---------- | FTXFFXFFXF | ---------- | FTFFFTFFFF | ---------- | ---------- | ---------- | ---------- | FTFFFTFFFF | FTFFFTFFFF | 3323323323 |
| 3 | ---------- | XFTFFFFFTX | ---------- | FFTFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFTFFFFFTF | FFTFFFFFTF | 2333333332 |
| 4 | ---------- | TFFFTTFFFT | ---------- | TFFFTTFFFT | ---------- | ---------- | ---------- | ---------- | TFFFTTFF-T | TFFFTTFFFT | 3333333323 |
| 5 | ---------- | MOVF | ---------- | FFFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FFFFFTFTFF | FFFFFTFTFF | 2222222222 |
| 6 | ---------- | DNF | ---------- | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFT-FTF | FFFFFTFFTF | 2222221222 |
| 7 | ---------- | DNF | ---------- | TFFTFFTTFF | ---------- | ---------- | ---------- | ---------- | T-FT-FTTF- | TFFTFFTTFF | 2122122221 |
| 8 | ---------- | DNF | ---------- | TTFFTFTFFF | ---------- | ---------- | ---------- | ---------- | T---TFTFFF | TTFFTFTFFF | 2111222222 |
| Correctness mask for MAPK (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 008 | ---------- | FTFTTTTFTF | ---------- | FTFTTTTFTF | ---------- | ---------- | ---------- | ---------- | FTFTTTTFTF | FTFTTTTFTF | 3333333333 |
| 020 | ---------- | DNF | ---------- | FTTFFTFTFT | ---------- | ---------- | ---------- | ---------- | FTTFFTFTFT | FTTFFTFTFT | 2222222222 |
| 040 | ---------- | DNF | ---------- | FFTTFTFFFT | ---------- | ---------- | ---------- | ---------- | FFTTFTFFFT | FFTTFTFFFT | 2222222222 |
| 080 | ---------- | DNF | ---------- | FFFFFFTTFF | ---------- | ---------- | ---------- | ---------- | FFFFFFTTFF | FFFFFFTTFF | 2222222222 |
| 160 | ---------- | DNF | ---------- | FFFTTFFTFT | ---------- | ---------- | ---------- | ---------- | FFFTTFFTFT | FFFTTFFTFT | 2222222222 |
| 320 | ---------- | DNF | ---------- | TFFFTFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFTFFFFT | TFFFTFFFFT | 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 | ---------- | FXFFFFTTFT | ---------- | FTFFFFTTFT | ---------- | ---------- | ---------- | ---------- | FTFF--TTFT | FTFFFFTTFT | 3233223333 |
| 3 | ---------- | XXFFFFFFFF | ---------- | FTFFF-FFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFF-F- | FTFFFFFFFF | 2233323232 |
| 4 | ---------- | MOVF | ---------- | DNF | ---------- | ---------- | ---------- | ---------- | -FFTFTFFTF | ?FFTFTFFTF | 0111111111 |
| 5 | ---------- | MOVF | ---------- | ---------- | ---------- | ---------- | ---------- | ---------- | FFF-TT-FT- | FFF?TT?FT? | 1110110110 |
| 6 | ---------- | CC | ---------- | FT----F-F- | ---------- | ---------- | ---------- | ---------- | DNF | FT????F?F? | 1100001010 |
| 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 | ---------- | TTXTTXTFFT | ---------- | TTFTTTTFFT | ---------- | ---------- | ---------- | ---------- | TTFTTTT--T | TTFTTTTFFT | 3323323223 |
| 02 | ---------- | DNF | ---------- | FTFTFTFTFF | ---------- | ---------- | ---------- | ---------- | -TFT-TFTF- | FTFTFTFTFF | 1222122221 |
| 05 | ---------- | DNF | ---------- | TFFFFFTFTF | ---------- | ---------- | ---------- | ---------- | T---FFTFTF | TFFFFFTFTF | 2111222222 |
| 10 | ---------- | DNF | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | T--FF-F--T | TFFFFFFFFT | 2112212112 |
| 20 | ---------- | DNF | ---------- | TFTTFTFFTT | ---------- | ---------- | ---------- | ---------- | TFTTFTFFTT | TFTTFTFFTT | 2222222222 |
| 50 | ---------- | DNF | ---------- | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TF-FFTFFFF | TFFFFTFFFF | 2212222222 |
| 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 | ---------- | FFFFTFTTFT | ---------- | FFFFTFTTFT | ---------- | ---------- | ---------- | ---------- | FFFFTFTTFT | FFFFTFTTFT | 3333333333 |
| 3 | ---------- | XFFTTFFTFF | ---------- | FFFTTFFTFF | ---------- | ---------- | ---------- | ---------- | FFFTTFFTFF | FFFTTFFTFF | 2333333333 |
| 4 | ---------- | MOVF | ---------- | TTTFFTFFFF | ---------- | ---------- | ---------- | ---------- | TTT-FTFFFF | TTTFFTFFFF | 2221222222 |
| 5 | ---------- | MOVF | ---------- | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | -FFFFFFFTF | FFFFFFFFTF | 1222222222 |
| 6 | ---------- | DNF | ---------- | TTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | TTFT-FF-FF | TTFTFFFFFF | 2222122122 |
| 7 | ---------- | DNF | ---------- | FFFTTFFFFT | ---------- | ---------- | ---------- | ---------- | FFFTTFFF-T | FFFTTFFFFT | 2222222212 |
| 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 | ---------- | TFFFFFFFFT | ---------- | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFT | TFFFFFFFFT | 3333333333 |
| 000010 | ---------- | TTFTTFTFFT | ---------- | TTFTTFTFFT | ---------- | ---------- | ---------- | ---------- | TTFTTFTFFT | TTFTTFTFFT | 3333333333 |
| 000020 | ---------- | TFTFTFFFFF | ---------- | TFTFTFFFFF | ---------- | ---------- | ---------- | ---------- | T-T-TFF-FF | TFTFTFFFFF | 3232333233 |
| 000050 | ---------- | MOVF | ---------- | FFFTFFFFFT | ---------- | ---------- | ---------- | ---------- | FF-TF-F--T | FFFTFFFFFT | 2212212112 |
| 000100 | ---------- | MOVF | ---------- | FTTFFFFFFF | ---------- | ---------- | ---------- | ---------- | -TTFF-FF-F | FTTFFFFFFF | 1222212212 |
| 000200 | ---------- | MOVF | ---------- | TFTTFTFTTF | ---------- | ---------- | ---------- | ---------- | T-TT-T-TTF | TFTTFTFTTF | 2122121222 |
| 000500 | ---------- | MOVF | ---------- | FTTTFFFFFF | ---------- | ---------- | ---------- | ---------- | FTTT--F-FF | FTTTFFFFFF | 2222112122 |
| 001000 | ---------- | MOVF | ---------- | FFTTFFFFFF | ---------- | ---------- | ---------- | ---------- | DNF | FFTTFFFFFF | 1111111111 |
| 002000 | ---------- | DNF | ---------- | FFFFFFTFFF | ---------- | ---------- | ---------- | ---------- | DNF | FFFFFFTFFF | 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 | ---------- | XXTFTXFFFF | ---------- | TTTFTTFFFF | ---------- | ---------- | ---------- | ---------- | TTTFTTFFFF | TTTFTTFFFF | 2233323333 |
| 10 | ---------- | CC | ---------- | FFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | F-FFTFFFTF | FFFFTFFFTF | 2122222222 |
| 20 | ---------- | DNF | ---------- | TTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | DNF | TTFFFFFFFF | 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 | ---------- | XXXXFXFFXF | ---------- | TTFTFFFFTF | ---------- | ---------- | ---------- | ---------- | TTFTFFFFTF | TTFTFFFFTF | 2222323323 |
| 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 | ---------- | FFXFFXFTTF | ---------- | FFTFFTFTTF | ---------- | ---------- | ---------- | ---------- | FFTFFTFTTF | FFTFFTFTTF | 3323323333 |
| 06 | ---------- | XXTTFFFTXX | ---------- | TFTTFFFTFT | ---------- | ---------- | ---------- | ---------- | TFTTFFFTFT | TFTTFFFTFT | 2233333322 |
| 10 | ---------- | MOVF | ---------- | TFTFFTTTTF | ---------- | ---------- | ---------- | ---------- | TFTFFTTTTF | TFTFFTTTTF | 2222222222 |
| 18 | ---------- | CC | ---------- | FFTFTFFFFF | ---------- | ---------- | ---------- | ---------- | -FT--F--F- | FFTFTFFFFF | 1221121121 |
| 22 | ---------- | DNF | ---------- | TFFFFTTFFT | ---------- | ---------- | ---------- | ---------- | T-------FT | TFFFFTTFFT | 2111111122 |
| 28 | ---------- | DNF | ---------- | FTTTFFFFFT | ---------- | ---------- | ---------- | ---------- | DNF | FTTTFFFFFT | 1111111111 |
| 32 | ---------- | DNF | ---------- | TFTFTFTFFT | ---------- | ---------- | ---------- | ---------- | -FTF----FT | TFTFTFTFFT | 1222111122 |
| Correctness mask for Railroad (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | TXXFXFXFXF | ---------- | TTFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFTF | TTFFTFFFTF | 3223232323 |
| 010 | ---------- | MOVF | ---------- | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFFFF | TFFFFTFFFF | 2222222222 |
| 020 | ---------- | DNF | ---------- | TFFFFFFTFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFTF- | TFFFFFFTFF | 2222222221 |
| 050 | ---------- | DNF | ---------- | TFTFTTTFTT | ---------- | ---------- | ---------- | ---------- | DNF | TFTFTTTFTT | 1111111111 |
| 100 | ---------- | DNF | ---------- | TFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | DNF | TFFFFTFFTF | 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 | ---------- | FTTFFTTFFF | ---------- | ---------- | ---------- | ---------- | FTTFFTTFFF | FTTFFTTFFF | 2222222222 |
| R003C002 | ---------- | CC | ---------- | FTTTFFFFFT | ---------- | ---------- | ---------- | ---------- | FTTTFFFFFT | FTTTFFFFFT | 2222222222 |
| R003C003 | ---------- | CC | ---------- | FTFFFTFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTFF | FTFFFTFTFF | 2222222222 |
| R003C005 | ---------- | CC | ---------- | TTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFFFFFFF | TTFFFFFFFF | 2222222222 |
| R003C010 | ---------- | CC | ---------- | TFFFFTFTTF | ---------- | ---------- | ---------- | ---------- | TFFFFTFTTF | TFFFFTFTTF | 2222222222 |
| R003C015 | ---------- | CC | ---------- | TTTFFFTTFF | ---------- | ---------- | ---------- | ---------- | TTTFFFTTFF | TTTFFFTTFF | 2222222222 |
| R003C020 | ---------- | CC | ---------- | FFFFFFTTFT | ---------- | ---------- | ---------- | ---------- | FFF-FF-TFT | FFFFFFTTFT | 2221221222 |
| R003C050 | ---------- | CC | ---------- | FTFTTFFFFT | ---------- | ---------- | ---------- | ---------- | F-F-TFFFFT | FTFTTFFFFT | 2121222222 |
| R003C100 | ---------- | CC | ---------- | FFFFFFTFFT | ---------- | ---------- | ---------- | ---------- | FFFFFFTFFT | FFFFFFTFFT | 2222222222 |
| R005C002 | ---------- | CC | ---------- | FFTTFFTTTT | ---------- | ---------- | ---------- | ---------- | FFTTFFTTTT | FFTTFFTTTT | 2222222222 |
| R010C002 | ---------- | CC | ---------- | FFFTTFFFTT | ---------- | ---------- | ---------- | ---------- | FFFTTFFFTT | FFFTTFFFTT | 2222222222 |
| R015C002 | ---------- | CC | ---------- | TFTFFTFTTF | ---------- | ---------- | ---------- | ---------- | TFTFFTFTTF | TFTFFTFTTF | 2222222222 |
| R020C002 | ---------- | CC | ---------- | FTFFTFTFFT | ---------- | ---------- | ---------- | ---------- | FTFFTFTFFT | FTFFTFTFFT | 2222222222 |
| R050C002 | ---------- | CC | ---------- | TTTFTFFFTF | ---------- | ---------- | ---------- | ---------- | TTTFTFFFTF | TTTFTFFFTF | 2222222222 |
| R100C002 | ---------- | CC | ---------- | TFTFTFFTFT | ---------- | ---------- | ---------- | ---------- | TFTFTFFTFT | TFTFTFFTFT | 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 | ---------- | FFTFFFFTFF | ---------- | ---------- | ---------- | ---------- | FFTF-FFTFF | FFTFFFFTFF | 2222122222 |
| Correctness mask for RwMutex (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| r0010w0010 | ---------- | FTFFFTFTXF | ---------- | FTFFFTFTTF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTTF | FTFFFTFTTF | 3333333323 |
| r0010w0020 | ---------- | XFFFXXXXFF | ---------- | TFFFTTFTFF | ---------- | ---------- | ---------- | ---------- | TFFFTTFTFF | TFFFTTFTFF | 2333222233 |
| r0010w0050 | ---------- | TFFTFTTTFF | ---------- | TFFTFTTTFF | ---------- | ---------- | ---------- | ---------- | TFFTFTTTFF | TFFTFTTTFF | 3333333333 |
| r0010w0100 | ---------- | FFFFXXFFTX | ---------- | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTF | FFFFFFFFTF | 3333223332 |
| r0010w0500 | ---------- | TXFFFXXFFT | ---------- | TFFFFTTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFT | TFFFFTTFFT | 3233322333 |
| r0010w1000 | ---------- | XXFFTXXXFF | ---------- | TTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFFF | TTFFTFFFFF | 2233322233 |
| r0010w2000 | ---------- | MOVF | ---------- | -----TFTF- | ---------- | ---------- | ---------- | ---------- | DNF | ?????TFTF? | 0000011110 |
| r0020w0010 | ---------- | FFFFTFFFTF | ---------- | FFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFTF | FFFFTFFFTF | 3333333333 |
| r0100w0010 | ---------- | MOVF | ---------- | TFFFTTTTTT | ---------- | ---------- | ---------- | ---------- | TFFFTTTTTT | TFFFTTTTTT | 2222222222 |
| r0500w0010 | ---------- | MOVF | ---------- | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTF | FFFFFFFFTF | 2222222222 |
| r1000w0010 | ---------- | MOVF | ---------- | FFTFFFFTFT | ---------- | ---------- | ---------- | ---------- | FFTFFFFTFT | FFTFFFFTFT | 2222222222 |
| r2000w0010 | ---------- | CC | ---------- | -----TTFF- | ---------- | ---------- | ---------- | ---------- | DNF | ?????TTFF? | 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 | ---------- | FFFTTFFTFF | ---------- | FFFTTFFTFF | ---------- | ---------- | ---------- | ---------- | FFFTTFFTFF | FFFTTFFTFF | 3333333333 |
| 000010 | ---------- | FFFFXFXFTT | ---------- | FFFFFFTFTT | ---------- | ---------- | ---------- | ---------- | FFFFF-TFTT | FFFFFFTFTT | 3333222333 |
| 000020 | ---------- | MOVF | ---------- | FTTFFTFFFF | ---------- | ---------- | ---------- | ---------- | FTTFFT-FFF | FTTFFTFFFF | 2222221222 |
| 000050 | ---------- | CC | ---------- | TFFFTTFFFF | ---------- | ---------- | ---------- | ---------- | DNF | TFFFTTFFFF | 1111111111 |
| 000100 | ---------- | DNF | ---------- | --TTFFTTFF | ---------- | ---------- | ---------- | ---------- | DNF | ??TTFFTTFF | 0011111111 |
| 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 | ---------- | TFTFTFTXFF | ---------- | TFTFTFTTFF | ---------- | ---------- | ---------- | ---------- | TFTFTFTTFF | TFTFTFTTFF | 3333333233 |
| 05 | ---------- | FFFTFFTTFF | ---------- | FFFTFFTTFF | ---------- | ---------- | ---------- | ---------- | FFFTFFTTFF | FFFTFFTTFF | 3333333333 |
| 10 | ---------- | DNF | ---------- | FFTFTFTFTF | ---------- | ---------- | ---------- | ---------- | FFT-TFTFTF | FFTFTFTFTF | 2221222222 |
| 15 | ---------- | DNF | ---------- | FTFTFTFFFF | ---------- | ---------- | ---------- | ---------- | FTFT-TF-F- | FTFTFTFFFF | 2222122121 |
| 20 | ---------- | DNF | ---------- | FFTFTTFFTT | ---------- | ---------- | ---------- | ---------- | F-TFTT-F-T | FFTFTTFFTT | 2122221212 |
| 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 | ---------- | TFTTFTT?T? | ---------- | TFTTFTT?T? | ---------- | ---------- | ---------- | ---------- | TFTTFTT-T- | TFTTFTT?T? | 3333333030 |
| 010 | ---------- | CC | ---------- | TFTFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFTFFTFF-- | TFTFFTFFFF | 2222222211 |
| 015 | ---------- | CC | ---------- | TTFFTTFFFF | ---------- | ---------- | ---------- | ---------- | TTF-TTFFFF | TTFFTTFFFF | 2221222222 |
| 020 | ---------- | CC | ---------- | FFTFFFFFFT | ---------- | ---------- | ---------- | ---------- | -FTF-----T | FFTFFFFFFT | 1222111112 |
| 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 | ---------- | FFFTFTTTTF | ---------- | ---------- | ---------- | ---------- | F-FTFTT--- | FFFTFTTTTF | 2122222111 |