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 reachabilitycardinality | |||||||||||
| Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | CC | DNC | -F-F------ | ---------- | ---------- | ---------- | ---------- | DNF | ?F?F?????? | 0101000000 |
| Correctness mask for Angiogenesis (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | CC | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFF | FFFFFFFFFF | 2222222222 |
| 05 | ---------- | CC | DNC | FTTTFFFTTF | ---------- | ---------- | ---------- | ---------- | FTTTFFFTTF | FTTTFFFTTF | 2222222222 |
| 10 | ---------- | CC | DNC | TFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | TFFFFTFFTF | TFFFFTFFTF | 2222222222 |
| 15 | ---------- | CC | DNC | TFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFT | TFFFFFFFFT | 2222222222 |
| 20 | ---------- | CC | DNC | FTFFFFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFF | FTFFFFFTFF | 2222222222 |
| 25 | ---------- | CC | DNC | FFTFFFTFFT | ---------- | ---------- | ---------- | ---------- | -FTFFFTFFT | FFTFFFTFFT | 1222222222 |
| 50 | ---------- | CC | DNC | -FFFFFTFFF | ---------- | ---------- | ---------- | ---------- | -FFFF-T-FF | ?FFFFFTFFF | 0222212122 |
| Correctness mask for CircadianClock (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000001 | ---------- | CC | DNC | FFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFTFFFFFF | FFFTFFFFFF | 2222222222 |
| 000010 | ---------- | CC | DNC | TFTFTFFTFT | ---------- | ---------- | ---------- | ---------- | TFTFTFFTFT | TFTFTFFTFT | 2222222222 |
| 000100 | ---------- | CC | DNC | FTFFTTFFFF | ---------- | ---------- | ---------- | ---------- | FTFFTTFFFF | FTFFTTFFFF | 2222222222 |
| 001000 | ---------- | CC | DNC | TTFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TTFFFTFFFF | TTFFFTFFFF | 2222222222 |
| 010000 | ---------- | CC | DNC | TFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFTF | TFFFTFFFTF | 2222222222 |
| 100000 | ---------- | CC | DNC | TTFFFTTFTT | ---------- | ---------- | ---------- | ---------- | TTFFFTTFTT | TTFFFTTFTT | 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 | ---------- | CC | DNC | TTTFTFFTFF | ---------- | ---------- | ---------- | ---------- | TTTFTFFTFF | TTTFTFFTFF | 2222222222 |
| 024 | ---------- | CC | DNC | FFFTFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFTFFFFTF | FFFTFFFFTF | 2222222222 |
| 048 | ---------- | CC | DNC | TFFFFFFTFT | ---------- | ---------- | ---------- | ---------- | TFFFFFFTF- | TFFFFFFTFT | 2222222221 |
| 096 | ---------- | CC | DNC | TTFFFFFFTT | ---------- | ---------- | ---------- | ---------- | TTFFFFFFTT | TTFFFFFFTT | 2222222222 |
| 192 | ---------- | DNF | DNC | FFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFTFFFFFF | FFFTFFFFFF | 2222222222 |
| 384 | ---------- | DNF | DNC | TFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFTF | TFFFTFFFTF | 2222222222 |
| 768 | ---------- | DNF | DNC | TFTFFFFTFT | ---------- | ---------- | ---------- | ---------- | TFTFFFFTFT | TFTFFFFTFT | 2222222222 |
| Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 04 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 20 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 40 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | CC | DNC | TTFTFFFFTF | ---------- | ---------- | ---------- | ---------- | TTFTFFFFTF | TTFTFFFFTF | 2222222222 |
| 04 | ---------- | DNF | DNC | FTFFTFTTFF | ---------- | ---------- | ---------- | ---------- | FTFFTFTTFF | FTFFTFTTFF | 2222222222 |
| 10 | ---------- | CC | DNC | TFFTFFTFFF | ---------- | ---------- | ---------- | ---------- | TFFTF-TFFF | TFFTFFTFFF | 2222212222 |
| 20 | ---------- | CC | DNC | TTTTTFFFFT | ---------- | ---------- | ---------- | ---------- | TTTTTFFFFT | TTTTTFFFFT | 2222222222 |
| 40 | ---------- | DNF | DNC | T--------- | ---------- | ---------- | ---------- | ---------- | DNF | T????????? | 1000000000 |
| Correctness mask for Diffusion2D (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| D05N010 | ---------- | CC | DNC | TTFFFTFFFF | ---------- | ---------- | ---------- | ---------- | -TFFFTFFFF | TTFFFTFFFF | 1222222222 |
| D05N050 | ---------- | CC | DNC | FFTTFFFFTT | ---------- | ---------- | ---------- | ---------- | FFTTFFFFTT | FFTTFFFFTT | 2222222222 |
| D05N100 | ---------- | CC | DNC | FTTFTFFFFT | ---------- | ---------- | ---------- | ---------- | FTTFTFFFFT | FTTFTFFFFT | 2222222222 |
| D05N150 | ---------- | CC | DNC | FFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFTF | FFFFTFFFTF | 2222222222 |
| D05N200 | ---------- | CC | DNC | FFFTTFTTTF | ---------- | ---------- | ---------- | ---------- | FFFTTFTTTF | FFFTTFTTTF | 2222222222 |
| D05N250 | ---------- | CC | DNC | TFFFTFFTTT | ---------- | ---------- | ---------- | ---------- | TFFFTFFTTT | TFFFTFFTTT | 2222222222 |
| D05N300 | ---------- | CC | DNC | TFFFTFFTFT | ---------- | ---------- | ---------- | ---------- | TFFFTFFTFT | TFFFTFFTFT | 2222222222 |
| D05N350 | ---------- | CC | DNC | FFTFFFFTFT | ---------- | ---------- | ---------- | ---------- | F-TFFFFTFT | FFTFFFFTFT | 2122222222 |
| D10N010 | ---------- | CC | DNC | TTFTFFTTFT | ---------- | ---------- | ---------- | ---------- | TTFTF-TTFT | TTFTFFTTFT | 2222212222 |
| D10N050 | ---------- | CC | DNC | FFFFFFFTTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFTTF | FFFFFFFTTF | 2222222222 |
| D10N100 | ---------- | CC | DNC | FFFTTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFTTFFFFF | FFFTTFFFFF | 2222222222 |
| D10N150 | ---------- | CC | DNC | FTFFTTT-FF | ---------- | ---------- | ---------- | ---------- | FTFFTTTTFF | FTFFTTTTFF | 2222222122 |
| D10N200 | ---------- | CC | DNC | FTTFFFFFFF | ---------- | ---------- | ---------- | ---------- | FTTFFFFFFF | FTTFFFFFFF | 2222222222 |
| D20N010 | ---------- | CC | DNC | FTTFFFFTFF | ---------- | ---------- | ---------- | ---------- | FTTFF-FTFF | FTTFFFFTFF | 2222212222 |
| D20N050 | ---------- | CC | DNC | FTFTFF-FFF | ---------- | ---------- | ---------- | ---------- | --FT-F--F- | FTFTFF?FFF | 1122120121 |
| D20N100 | ---------- | CC | DNC | TFTFFFFTFT | ---------- | ---------- | ---------- | ---------- | T-TFFFFTFT | TFTFFFFTFT | 2122222222 |
| D20N150 | ---------- | CC | DNC | FTFFFFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFF | FTFFFFFTFF | 2222222222 |
| D30N010 | ---------- | CC | DNC | FFFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFF--FF--T | FFFFFFFFTT | 2221122112 |
| D30N050 | ---------- | CC | DNC | TTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | T-FF-FFFF- | TTFFTFFFFF | 2122122221 |
| D30N100 | ---------- | CC | DNC | ---FFTTFFF | ---------- | ---------- | ---------- | ---------- | ---FFT-FFF | ???FFTTFFF | 0002221222 |
| D30N150 | ---------- | CC | DNC | -TTFFF--FT | ---------- | ---------- | ---------- | ---------- | FTTFFF-F-T | FTTFFF?FFT | 1222220112 |
| D40N010 | ---------- | CC | DNC | TTTFTT-TTF | ---------- | ---------- | ---------- | ---------- | DNF | TTTFTT?TTF | 1111110111 |
| D40N050 | ---------- | CC | DNC | FT-TFFFTTF | ---------- | ---------- | ---------- | ---------- | DNF | FT?TFFFTTF | 1101111111 |
| D40N100 | ---------- | CC | DNC | TTTTFTTFTT | ---------- | ---------- | ---------- | ---------- | DNF | TTTTFTTFTT | 1111111111 |
| D40N150 | ---------- | CC | DNC | FFFTFTTFTF | ---------- | ---------- | ---------- | ---------- | DNF | FFFTFTTFTF | 1111111111 |
| D50N010 | ---------- | CC | DNC | FTTFF-TFT- | ---------- | ---------- | ---------- | ---------- | DNF | FTTFF?TFT? | 1111101110 |
| D50N050 | ---------- | CC | DNC | FFTFFTF-F- | ---------- | ---------- | ---------- | ---------- | DNF | FFTFFTF?F? | 1111111010 |
| D50N100 | ---------- | CC | DNC | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | DNF | TFFFFTFFFF | 1111111111 |
| D50N150 | ---------- | CC | DNC | FFTTTTTTTF | ---------- | ---------- | ---------- | ---------- | DNF | FFTTTTTTTF | 1111111111 |
| Correctness mask for ERK (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000001 | ---------- | CC | DNC | FTTFTFTFFF | ---------- | ---------- | ---------- | ---------- | FTTFTFTFFF | FTTFTFTFFF | 2222222222 |
| 000010 | ---------- | CC | DNC | FTFTTFFFTF | ---------- | ---------- | ---------- | ---------- | FTFTTFFFTF | FTFTTFFFTF | 2222222222 |
| 000100 | ---------- | CC | DNC | FFTTTTTFTF | ---------- | ---------- | ---------- | ---------- | FF-TTTTFTF | FFTTTTTFTF | 2212222222 |
| 001000 | ---------- | CC | DNC | FFFFTTTFFF | ---------- | ---------- | ---------- | ---------- | -FFFT-TFFF | FFFFTTTFFF | 1222212222 |
| 010000 | ---------- | CC | DNC | TFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFTF | TFFFTFFFTF | 2222222222 |
| 100000 | ---------- | CC | DNC | TFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFF | TFFFFFFFFF | 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 | ---------- | CC | DNC | TTFTTTTTFF | ---------- | ---------- | ---------- | ---------- | TTFTT-TTFF | TTFTTTTTFF | 2222212222 |
| Correctness mask for MultiwaySync (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | CC | DNC | FFTTTFFFFF | ---------- | ---------- | ---------- | ---------- | FF-TTFFFFF | FFTTTFFFFF | 2212222222 |
| Correctness mask for ParamProductionCell (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 0 | ---------- | CC | DNC | TTTFTFTTTT | ---------- | ---------- | ---------- | ---------- | TTTFTFTTTT | TTTFTFTTTT | 2222222222 |
| 1 | ---------- | CC | DNC | TTFTTTFFFF | ---------- | ---------- | ---------- | ---------- | TTFTTTFFFF | TTFTTTFFFF | 2222222222 |
| 2 | ---------- | CC | DNC | FFTFTFTTFF | ---------- | ---------- | ---------- | ---------- | FFTFTFTTFF | FFTFTFTTFF | 2222222222 |
| 3 | ---------- | CC | DNC | FFTTFTFFFF | ---------- | ---------- | ---------- | ---------- | FFTTFTFFFF | FFTTFTFFFF | 2222222222 |
| 4 | ---------- | CC | DNC | FFTFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFTFTFFFFF | FFTFTFFFFF | 2222222222 |
| 5 | ---------- | CC | DNC | FFFFFFFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTF | FFFFFFFFTF | 2222222222 |
| Correctness mask for PolyORBLF (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S02J04T06 | ---------- | DNC | -F-T-FF-FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?T?FF?FF | 0101011011 |
| S02J04T08 | ---------- | DNC | FFF-FTFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF?FTFF?F | 1110111101 |
| S02J04T10 | ---------- | DNC | F-FFF--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FFF??F?F | 1011100101 |
| S02J06T06 | ---------- | DNC | FFF--F-F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF??F?F?F | 1110010101 |
| S02J06T08 | ---------- | DNC | F---FFFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F???FFFF?F | 1000111101 |
| S02J06T10 | ---------- | DNC | F---F--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F???F??F?F | 1000100101 |
| S04J04T06 | ---------- | DNC | -FFFFFFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?FFFFFFF?F | 0111111101 |
| S04J04T08 | ---------- | DNC | F-FFFFFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FFFFFFFF | 1011111111 |
| S04J04T10 | ---------- | DNC | FFF-F-T-F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF?F?T?F? | 1110101010 |
| S04J06T06 | ---------- | DNC | --FFFF---F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FFFF???F | 0011110001 |
| S04J06T08 | ---------- | DNC | F--F--FFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F??FFFF | 1001001111 |
| S04J06T10 | ---------- | DNC | FFF--F---- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF??F???? | 1110010000 |
| S06J04T04 | ---------- | DNC | --F-F-FFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??F?F?FFFF | 0010101111 |
| S06J04T06 | ---------- | DNC | ---FF--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ???FF??F?F | 0001100101 |
| S06J04T08 | ---------- | DNC | F--F-FF-F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F?FF?F? | 1001011010 |
| S06J06T04 | ---------- | DNC | FFFFFF-FF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFFFFF?FF? | 1111110110 |
| S06J06T06 | ---------- | DNC | FF--F-FFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF??F?FFF? | 1100101110 |
| S06J06T08 | ---------- | DNC | -FFFFFFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?FFFFFFF?F | 0111111101 |
| Correctness mask for PolyORBLF (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S02J04T06 | ---------- | CC | DNC | TFF-TFFTFF | ---------- | ---------- | ---------- | ---------- | TFF-TFFTFF | TFF?TFFTFF | 2220222222 |
| S02J04T08 | ---------- | CC | DNC | FFFFF-FF-F | ---------- | ---------- | ---------- | ---------- | FFFFF-FF-F | FFFFF?FF?F | 2222202202 |
| S02J04T10 | ---------- | CC | DNC | FTFFFTTFTF | ---------- | ---------- | ---------- | ---------- | FTFFFTTFTF | FTFFFTTFTF | 2222222222 |
| S02J06T06 | ---------- | CC | DNC | FFF-TF-FTF | ---------- | ---------- | ---------- | ---------- | FFF-TF-FTF | FFF?TF?FTF | 2220220222 |
| S02J06T08 | ---------- | CC | DNC | FTFTFFFFTF | ---------- | ---------- | ---------- | ---------- | FTFTFFFFTF | FTFTFFFFTF | 2222222222 |
| S02J06T10 | ---------- | CC | DNC | FTTTFTFFFF | ---------- | ---------- | ---------- | ---------- | FTTTFTFFFF | FTTTFTFFFF | 2222222222 |
| S04J04T06 | ---------- | CC | DNC | FFF-FFFFTF | ---------- | ---------- | ---------- | ---------- | FFF-FFFFTF | FFF?FFFFTF | 2220222222 |
| S04J04T08 | ---------- | CC | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFF | FFFFFFFFFF | 2222222222 |
| S04J04T10 | ---------- | CC | DNC | FFFTFT-TFT | ---------- | ---------- | ---------- | ---------- | FFFTFT-TFT | FFFTFT?TFT | 2222220222 |
| S04J06T06 | ---------- | CC | DNC | FTFFFFFTTF | ---------- | ---------- | ---------- | ---------- | FTFFFFFTTF | FTFFFFFTTF | 2222222222 |
| S04J06T08 | ---------- | CC | DNC | FT-F-TFFFF | ---------- | ---------- | ---------- | ---------- | FTFF-TFF-F | FTFF?TFFFF | 2212022212 |
| S04J06T10 | ---------- | CC | DNC | FFFT-FT-FT | ---------- | ---------- | ---------- | ---------- | FFF--FT-FT | FFFT?FT?FT | 2221022022 |
| S06J04T04 | ---------- | CC | DNC | FTFTFTFFFF | ---------- | ---------- | ---------- | ---------- | FTFT-TF-FF | FTFTFTFFFF | 2222122122 |
| S06J04T06 | ---------- | CC | DNC | T-TFF--FTF | ---------- | ---------- | ---------- | ---------- | DNF | T?TFF??FTF | 1011100111 |
| S06J04T08 | ---------- | CC | DNC | FTTF-FFTFT | ---------- | ---------- | ---------- | ---------- | DNF | FTTF?FFTFT | 1111011111 |
| S06J06T04 | ---------- | CC | DNC | FFFFFFTFFT | ---------- | ---------- | ---------- | ---------- | FFFFFF-FFT | FFFFFFTFFT | 2222221222 |
| S06J06T06 | ---------- | CC | DNC | FFTFFTFFF- | ---------- | ---------- | ---------- | ---------- | DNF | FFTFFTFFF? | 1111111110 |
| S06J06T08 | ---------- | CC | DNC | -FFFFFFFTF | ---------- | ---------- | ---------- | ---------- | DNF | ?FFFFFFFTF | 0111111111 |
| Correctness mask for PolyORBNT (Colored, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S05J20 | ---------- | DNC | ----FF-FFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ????FF?FFF | 0000110111 |
| S05J30 | ---------- | DNC | --F-F----- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??F?F????? | 0010100000 |
| S05J40 | ---------- | DNC | --FF--F-F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FF??F?F? | 0011001010 |
| S05J60 | ---------- | DNC | F-----FF-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?????FF?? | 1000001100 |
| S05J80 | ---------- | DNC | --F--F--FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??F??F??FF | 0010010011 |
| S10J20 | ---------- | DNC | F--F---FFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F???FFF | 1001000111 |
| S10J30 | ---------- | DNC | -FF-F--F-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?FF?F??F?? | 0110100100 |
| S10J40 | ---------- | DNC | FFFFFF--FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFFFFF??FF | 1111110011 |
| S10J60 | ---------- | DNC | F-F--FFF-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?F??FFF?? | 1010011100 |
| S10J80 | ---------- | DNC | -F--F--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F??F??F?F | 0100100101 |
| Correctness mask for PolyORBNT (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| S05J20 | ---------- | CC | DNC | T-TFFF-FF- | ---------- | ---------- | ---------- | ---------- | T-TFFFFFFF | T?TFFFFFFF | 2022221221 |
| S05J30 | ---------- | CC | DNC | -TF-FFFFTF | ---------- | ---------- | ---------- | ---------- | -TFFFFFFTF | ?TFFFFFFTF | 0221222222 |
| S05J40 | ---------- | CC | DNC | TTFFTTF-FT | ---------- | ---------- | ---------- | ---------- | TTFFTTF-FT | TTFFTTF?FT | 2222222022 |
| S05J60 | ---------- | CC | DNC | F--FTTFFFT | ---------- | ---------- | ---------- | ---------- | F-T--TFFFT | F?TFTTFFFT | 2011122222 |
| S05J80 | ---------- | CC | DNC | FFFTTFT-FF | ---------- | ---------- | ---------- | ---------- | F-FTTFT-FF | FFFTTFT?FF | 2122222022 |
| S10J20 | ---------- | CC | DNC | FTTFT-FFFF | ---------- | ---------- | ---------- | ---------- | DNF | FTTFT?FFFF | 1111101111 |
| S10J30 | ---------- | CC | DNC | TFF-FT-FTF | ---------- | ---------- | ---------- | ---------- | DNF | TFF?FT?FTF | 1110110111 |
| S10J40 | ---------- | CC | DNC | FFFF-FF--F | ---------- | ---------- | ---------- | ---------- | DNF | FFFF?FF??F | 1111011001 |
| S10J60 | ---------- | CC | DNC | FTFFTFFFTT | ---------- | ---------- | ---------- | ---------- | DNF | FTFFTFFFTT | 1111111111 |
| S10J80 | ---------- | CC | DNC | FFTFFTTF-F | ---------- | ---------- | ---------- | ---------- | DNF | FFTFFTTF?F | 1111111101 |
| Correctness mask for ProductionCell (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | CC | DNC | TFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFFFF | TFFFFTFFFF | 2222222222 |
| Correctness mask for Solitaire (P/T, Surprise model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| EngCT7x7 | ---------- | CC | DNC | TFFFTTFTTF | ---------- | ---------- | ---------- | ---------- | TFFFTTFTTF | TFFFTTFTTF | 2222222222 |
| EngNC7x7 | ---------- | CC | DNC | TFFFFFFTFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFTFF | TFFFFFFTFF | 2222222222 |
| FrnCT7x7 | ---------- | CC | DNC | FFFFFTFTTF | ---------- | ---------- | ---------- | ---------- | FF-FFTFTTF | FFFFFTFTTF | 2212222222 |
| FrnNC7x7 | ---------- | CC | DNC | TTFTTTTFFF | ---------- | ---------- | ---------- | ---------- | TTFTTTTFFF | TTFTTTTFFF | 2222222222 |
| SqrCT5x5 | ---------- | CC | DNC | FFFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTT | FFFFFFFFTT | 2222222222 |
| SqrNC5x5 | ---------- | CC | DNC | FFTFFTFTFT | ---------- | ---------- | ---------- | ---------- | FFTFFTFTFT | FFTFFTFTFT | 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 | ---------- | CC | DNC | TFTFTTTFTF | ---------- | ---------- | ---------- | ---------- | TFTFTTTFTF | TFTFTTTFTF | 2222222222 |
| Correctness mask for CSRepetitions (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | F--FFF--FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??FFF??FF | 1001110011 |
| 03 | ---------- | DNC | -F--F----- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F??F????? | 0100100000 |
| 04 | ---------- | DNC | ---FF-FFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ???FF?FFFF | 0001101111 |
| 05 | ---------- | DNC | F-FFFFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FFFFFFF? | 1011111110 |
| 07 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | F----F--F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F????F??F? | 1000010010 |
| Correctness mask for CSRepetitions (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | FTFFFFFTFF | DNC | FTFFFFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFF | FTFFFFFTFF | 3333333333 |
| 03 | ---------- | FFTTFTTTTT | DNC | FFTTFTTTTT | ---------- | ---------- | ---------- | ---------- | FFTTFTTTTT | FFTTFTTTTT | 3333333333 |
| 04 | ---------- | MOVF | DNC | TTTFFTFFFF | ---------- | ---------- | ---------- | ---------- | TTTFFTFFFF | TTTFFTFFFF | 2222222222 |
| 05 | ---------- | MOVF | DNC | FTFFFFFFFT | ---------- | ---------- | ---------- | ---------- | F-FFFFFFFT | FTFFFFFFFT | 2122222222 |
| 07 | ---------- | MOVF | DNC | TFTTFTFTTF | ---------- | ---------- | ---------- | ---------- | TFT-FT--TF | TFTTFTFTTF | 2221221122 |
| 10 | ---------- | CC | DNC | FTFTTFFTFT | ---------- | ---------- | ---------- | ---------- | FTFTTFFTF- | FTFTTFFTFT | 2222222221 |
| Correctness mask for Dekker (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | ---------- | TTFFTFFFFT | DNC | TTFFTFFFFT | ---------- | ---------- | ---------- | ---------- | TTFFTFFXFT | TTFFTFFFFT | 3333333233 |
| 015 | ---------- | TFFFFTTTTT | DNC | TFFFFTTTTT | ---------- | ---------- | ---------- | ---------- | TFFFFTTTTT | TFFFFTTTTT | 3333333333 |
| 020 | ---------- | TFFFTFFTFT | DNC | TFFFTFFTFT | ---------- | ---------- | ---------- | ---------- | -FFFTFFTFT | TFFFTFFTFT | 2333333333 |
| 050 | ---------- | DNF | DNC | FFTFTFTFTT | ---------- | ---------- | ---------- | ---------- | FFTFTFTFTT | FFTFTFTFTT | 2222222222 |
| 100 | ---------- | MOVF | DNC | FFFFTTTFTF | ---------- | ---------- | ---------- | ---------- | FFFFTTT-TF | FFFFTTTFTF | 2222222122 |
| 200 | ---------- | MOVF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | 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 | FFTTTFTF-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFTTTFTF?? | 1111111100 |
| 3 | ---------- | DNC | T-FFF--FTT | DNC | ---------- | ---------- | ---------- | ---------- | DNC | T?FFF??FTT | 1011100111 |
| 4 | ---------- | DNC | --F--FTFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??F??FTFF? | 0010011110 |
| 5 | ---------- | DNC | --FF--FFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FF??FFF? | 0011001110 |
| Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | FF-FFF-TFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF?FFF?TFF | 1101110111 |
| 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, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | FFFFFFTTFF | DNC | FFFFFFTTFF | ---------- | ---------- | ---------- | ---------- | FFXFFFTTFF | FFFFFFTTFF | 3323333333 |
| Correctness mask for Echo (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| d02r09 | ---------- | MOVF | DNC | FTFFTTFTFF | ---------- | ---------- | ---------- | ---------- | FTFFTTFTFF | FTFFTTFTFF | 2222222222 |
| d02r11 | ---------- | MOVF | DNC | TTFFTTFFTF | ---------- | ---------- | ---------- | ---------- | TTFFTT-FTF | TTFFTTFFTF | 2222221222 |
| d02r15 | ---------- | MOVF | DNC | TFTTFFTTFT | ---------- | ---------- | ---------- | ---------- | TFT-F-TTFT | TFTTFFTTFT | 2221212222 |
| d02r19 | ---------- | MOVF | DNC | FFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFTFFFFFF | FFFTFFFFFF | 2222222222 |
| d03r03 | ---------- | MOVF | DNC | FTTTFFFTTF | ---------- | ---------- | ---------- | ---------- | FT-TFFFTTF | FTTTFFFTTF | 2212222222 |
| d03r05 | ---------- | MOVF | DNC | FFFFTFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFTFFFTT | FFFFTFFFTT | 2222222222 |
| d03r07 | ---------- | MOVF | DNC | FTFFFFTFFT | ---------- | ---------- | ---------- | ---------- | FTFFF-TFFT | FTFFFFTFFT | 2222212222 |
| d04r03 | ---------- | MOVF | DNC | FFFTFTTTFF | ---------- | ---------- | ---------- | ---------- | FFFTFTTTFF | FFFTFTTTFF | 2222222222 |
| d05r03 | ---------- | MOVF | DNC | FFFFTTFFTF | ---------- | ---------- | ---------- | ---------- | FFF-TTFFTF | FFFFTTFFTF | 2221222222 |
| Correctness mask for Eratosthenes (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | ---------- | XXFTFXTFTF | DNC | FTFTFTTFTF | ---------- | ---------- | ---------- | ---------- | FTFTFTTFTF | FTFTFTTFTF | 2233323333 |
| 020 | ---------- | TXFFFTTFXF | DNC | TTFFFTTFFF | ---------- | ---------- | ---------- | ---------- | TTFFFTTFFF | TTFFFTTFFF | 3233333323 |
| 050 | ---------- | XXXFFXTFFF | DNC | FTTFFT-FFF | ---------- | ---------- | ---------- | ---------- | FTTFFT-FFF | FTTFFTTFFF | 2223321333 |
| 100 | ---------- | TTTFTTXFTF | DNC | TT-FTTFF-F | ---------- | ---------- | ---------- | ---------- | TT-FTTFF-F | TTTFTTFFTF | 3313332313 |
| 200 | ---------- | FXTFXTFFFT | DNC | FTTFTTFFFT | ---------- | ---------- | ---------- | ---------- | FTTFTTFFFT | FTTFTTFFFT | 3233233333 |
| 500 | ---------- | CC | DNC | FFFFFFFTTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFTTT | FFFFFFFTTT | 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 | ---------- | TTFFFFTXFF | DNC | TTFFFFTFFF | ---------- | ---------- | ---------- | ---------- | TTFFFFTFFF | TTFFFFTFFF | 3333333233 |
| 005 | ---------- | FFFFTTFFFF | DNC | FFFFTTFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTTFFFF | FFFFTTFFFF | 3333333333 |
| 010 | ---------- | FTTFTFTFFT | DNC | FTTFTFTFFT | ---------- | ---------- | ---------- | ---------- | FTTFTFTFFT | FTTFTFTFFT | 3333333333 |
| 020 | ---------- | FFFTTFXFFF | DNC | FFFTTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFTTFFFFF | FFFTTFFFFF | 3333332333 |
| 050 | ---------- | FTTFFFFFFT | DNC | FTTFFFFFFT | ---------- | ---------- | ---------- | ---------- | FTTFFFFFFT | FTTFFFFFFT | 3333333333 |
| 100 | ---------- | TFFFFTTFFF | DNC | TFFFFTTFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFF | TFFFFTTFFF | 3333333333 |
| 200 | ---------- | FFFTTTTFFT | DNC | FFFTTTTFFT | ---------- | ---------- | ---------- | ---------- | FFFTTTTFFT | FFFTTTTFFT | 3333333333 |
| 500 | ---------- | FFF------- | DNC | FFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFFF | FFFFFTFFFF | 3332222222 |
| 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 | ?????????? | 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, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | FFTFTFFTFT | DNC | FFTFTFFTFT | ---------- | ---------- | ---------- | ---------- | FFTFTFFTFT | FFTFTFFTFT | 3333333333 |
| Correctness mask for HouseConstruction (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 002 | ---------- | TTXFFFTTTF | DNC | TTFFFFTTTF | ---------- | ---------- | ---------- | ---------- | TTFFFFTTTF | TTFFFFTTTF | 3323333333 |
| 005 | ---------- | TFFFXFXFFF | DNC | TFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFF | TFFFFFFFFF | 3333232333 |
| 010 | ---------- | FTFFXFXTXX | DNC | FTFFTFTTFF | ---------- | ---------- | ---------- | ---------- | FTFFTFTTFF | FTFFTFTTFF | 3333232322 |
| 020 | ---------- | FXTTFTFTFF | DNC | FFTTFTFTFF | ---------- | ---------- | ---------- | ---------- | FFTTFTFTFF | FFTTFTFTFF | 3233333333 |
| 050 | ---------- | CC | DNC | FFF?FFFFFT | ---------- | ---------- | ---------- | ---------- | FFF?FFFFFT | FFF?FFFFFT | 2220222222 |
| 100 | ---------- | MOVF | DNC | FFFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTT | FFFFFFFFTT | 2222222222 |
| 200 | ---------- | MOVF | DNC | FFTFTTTFFF | ---------- | ---------- | ---------- | ---------- | FFTFTTTFFF | FFTFTTTFFF | 2222222222 |
| 500 | ---------- | DNF | DNC | FFTFFFTTFF | ---------- | ---------- | ---------- | ---------- | FFTFFFTTFF | FFTFFFTTFF | 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 | ---------- | DNF | DNC | FFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFFF | FFFFTFFFFF | 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 | ---------- | FTTXTXTTTT | DNC | FTTFTFTTTT | ---------- | ---------- | ---------- | ---------- | FTTFTFTTTT | FTTFTFTTTT | 3332323333 |
| 0010 | ---------- | TFTTFFFFTF | DNC | TFTTFFFFTF | ---------- | ---------- | ---------- | ---------- | TFTTFFFFTF | TFTTFFFFTF | 3333333333 |
| 0020 | ---------- | TTFFFFTTTF | DNC | TTFFFFTTTF | ---------- | ---------- | ---------- | ---------- | TTFFFFTTTF | TTFFFFTTTF | 3333333333 |
| 0050 | ---------- | FFFTXTTXTF | DNC | FFFTFTTTTF | ---------- | ---------- | ---------- | ---------- | FFFTFTTTTF | FFFTFTTTTF | 3333233233 |
| 0100 | ---------- | TFFFFTFFTT | DNC | TFFFFTFFTT | ---------- | ---------- | ---------- | ---------- | TFFFFTFFTT | TFFFFTFFTT | 3333333333 |
| 0200 | ---------- | FTFTFFFFFF | DNC | FTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFTFFFFFF | FTFTFFFFFF | 3333333333 |
| 0500 | ---------- | DNF | DNC | FTFFTTTFTF | ---------- | ---------- | ---------- | ---------- | MOVF | FTFFTTTFTF | 1111111111 |
| 1000 | ---------- | DNF | DNC | FFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFT | FFFFFFFFFT | 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 | --FFFFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FFFFFFF? | 0011111110 |
| 3 | ---------- | DNC | F--F--TTF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F??TTF? | 1001001110 |
| 4 | ---------- | DNC | -F----FF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F????FF?F | 0100001101 |
| 5 | ---------- | DNC | F--FF--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??FF??F?F | 1001100101 |
| 6 | ---------- | DNC | -F-FF-F--F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FF?F??F | 0101101001 |
| 7 | ---------- | DNC | -F---FFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F???FFF?F | 0100011101 |
| 8 | ---------- | DNC | -F--F--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F??F??F?F | 0100100101 |
| Correctness mask for LamportFastMutEx (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | TTFFFFFFFT | DNC | TTFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TTFFFFFFFT | TTFFFFFFFT | 3333333333 |
| 3 | ---------- | FTTFTTTTFF | DNC | FTTFTTTTFF | ---------- | ---------- | ---------- | ---------- | FTTFTTTTFF | FTTFTTTTFF | 3333333333 |
| 4 | ---------- | TFTTTTFFTF | DNC | TFTTTTFFTF | ---------- | ---------- | ---------- | ---------- | TFTTTTFFTF | TFTTTTFFTF | 3333333333 |
| 5 | ---------- | DNF | DNC | FFTFFTTFTF | ---------- | ---------- | ---------- | ---------- | FFTFFTTFTF | FFTFFTTFTF | 2222222222 |
| 6 | ---------- | DNF | DNC | TFTFFFFFFF | ---------- | ---------- | ---------- | ---------- | TF-FF-FFFF | TFTFFFFFFF | 2212212222 |
| 7 | ---------- | DNF | DNC | TFTTTFFFTF | ---------- | ---------- | ---------- | ---------- | TFTTTF-FTF | TFTTTFFFTF | 2222221222 |
| 8 | ---------- | DNF | DNC | TFTFF-TFTF | ---------- | ---------- | ---------- | ---------- | -FTFF-T-TF | TFTFF?TFTF | 1222202122 |
| Correctness mask for MAPK (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 008 | ---------- | XXFXTFFTTF | DNC | FFFFTFFTTF | ---------- | ---------- | ---------- | ---------- | FFFFTFFTTF | FFFFTFFTTF | 2232333333 |
| 020 | ---------- | DNF | DNC | TFFFFFTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFT-FT | TFFFFFTFFT | 2222222122 |
| 040 | ---------- | DNF | DNC | TFFFFTFTFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFTF- | TFFFFTFTFF | 2222222221 |
| 080 | ---------- | DNF | DNC | TTFTFFFTFF | ---------- | ---------- | ---------- | ---------- | T-FTFFFTFF | TTFTFFFTFF | 2122222222 |
| 160 | ---------- | DNF | DNC | TTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TTFF--FFFF | TTFFTFFFFF | 2222112222 |
| 320 | ---------- | DNF | DNC | FFTFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFTFTFFFFF | FFTFTFFFFF | 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 | F-T-F-T--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?T?F?T??? | 1010101000 |
| 3 | ---------- | DNC | -T----FF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?T????FF?F | 0100001101 |
| 4 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | ---------- | DNC | F----F-FF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F????F?FF? | 1000010110 |
| 7 | ---------- | DNC | FFF--FF--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF??FF??? | 1110011000 |
| 8 | ---------- | DNC | FF--FFF--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF??FFF??? | 1100111000 |
| Correctness mask for NeoElection (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | FTTFFFTFTF | DNC | FTTFFFTFTF | ---------- | ---------- | ---------- | ---------- | FTTFFFTFTF | FTTFFFTFTF | 3333333333 |
| 3 | ---------- | FTTFTTFFFF | DNC | --TFTTFF-F | ---------- | ---------- | ---------- | ---------- | -TTFTTFFFF | FTTFTTFFFF | 1233333323 |
| 4 | ---------- | MOVF | DNC | -F-FF-F-FF | ---------- | ---------- | ---------- | ---------- | -F-FF-F-FF | ?F?FF?F?FF | 0202202022 |
| 5 | ---------- | MOVF | DNC | ----F----- | ---------- | ---------- | ---------- | ---------- | TFF-F-F--F | TFF?F?F??F | 1110201001 |
| 6 | ---------- | MOVF | DNC | F---TFF-F- | ---------- | ---------- | ---------- | ---------- | DNF | F???TFF?F? | 1000111010 |
| 7 | ---------- | DNF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| 8 | ---------- | DNF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | 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 | -F-FFFF-FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FFFF?FF | 0101111011 |
| 02 | ---------- | DNC | -------FFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ???????FFF | 0000000111 |
| 05 | ---------- | DNC | F-FFFFFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FFFFFFFF | 1011111111 |
| 10 | ---------- | DNC | F-F--FFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?F??FFFF? | 1010011110 |
| 20 | ---------- | DNC | -F-----F-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?????F?? | 0100000100 |
| 50 | ---------- | DNC | --F--F-FFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??F??F?FFF | 0010010111 |
| Correctness mask for PermAdmissibility (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | TFTFFFFTFF | DNC | TFTFFFFTFF | ---------- | ---------- | ---------- | ---------- | TFTFFFFTFF | TFTFFFFTFF | 3333333333 |
| 02 | ---------- | DNF | DNC | TTFFTTTFFF | ---------- | ---------- | ---------- | ---------- | TTFFTTTFFF | TTFFTTTFFF | 2222222222 |
| 05 | ---------- | DNF | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFF-FFFF-F | FFFFFFFFFF | 2221222212 |
| 10 | ---------- | DNF | DNC | FFFTTFFFFT | ---------- | ---------- | ---------- | ---------- | FFFTTFFFFT | FFFTTFFFFT | 2222222222 |
| 20 | ---------- | DNF | DNC | FFTTTFTFFT | ---------- | ---------- | ---------- | ---------- | FFTTTFTFFT | FFTTTFTFFT | 2222222222 |
| 50 | ---------- | DNF | DNC | FFFTTFTFFF | ---------- | ---------- | ---------- | ---------- | FFFTTFTFFF | FFFTTFTFFF | 2222222222 |
| Correctness mask for Peterson (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | DNC | -F-FFFFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FFFFFFF | 0101111111 |
| 3 | ---------- | DNC | FF---FF-FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF???FF?FF | 1100011011 |
| 4 | ---------- | DNC | -FFFFFF-FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?FFFFFF?FF | 0111111011 |
| 5 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | ---------- | DNC | DNF | 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 | ---------- | TFTFFFFFFF | DNC | TFTFFFFFFF | ---------- | ---------- | ---------- | ---------- | TFTFFFFFFF | TFTFFFFFFF | 3333333333 |
| 3 | ---------- | FFTTTFFTFF | DNC | FFTTTFFTFF | ---------- | ---------- | ---------- | ---------- | FFTTTFFTFF | FFTTTFFTFF | 3333333333 |
| 4 | ---------- | CC | DNC | TFFFFFFTFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFTFF | TFFFFFFTFF | 2222222222 |
| 5 | ---------- | CC | DNC | TTTFTFFTFF | ---------- | ---------- | ---------- | ---------- | TT-F-FFTFF | TTTFTFFTFF | 2212122222 |
| 6 | ---------- | CC | DNC | TFFFTTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFT-FFFF | TFFFTTFFFF | 2222212222 |
| 7 | ---------- | CC | DNC | TFTFTTF-TT | ---------- | ---------- | ---------- | ---------- | TFTFT-F-TT | TFTFTTF?TT | 2222212022 |
| Correctness mask for Philosophers (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | DNC | FFF-F-FF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF?F?FF?F | 1110101101 |
| 000010 | ---------- | DNC | --FF---FF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FF???FF? | 0011000110 |
| 000020 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000050 | ---------- | DNC | FFF---F-F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF???F?F? | 1110001010 |
| 000100 | ---------- | DNC | -----FFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????FFF?F | 0000011101 |
| 000200 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | ---------- | DNC | DNF | 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 | ---------- | FFFTFTFFFF | DNC | FFFTFTFFFF | ---------- | ---------- | ---------- | ---------- | FFFTFTFFFF | FFFTFTFFFF | 3333333333 |
| 000010 | ---------- | TTFFFTTFFT | DNC | TTFFFTTFFT | ---------- | ---------- | ---------- | ---------- | TTFFFTTFFT | TTFFFTTFFT | 3333333333 |
| 000020 | ---------- | FFTFFFFTFT | DNC | FF-FFFFT-T | ---------- | ---------- | ---------- | ---------- | FF-FFF-T-T | FFTFFFFTFT | 3313332313 |
| 000050 | ---------- | CC | DNC | FFFTTTFTFT | ---------- | ---------- | ---------- | ---------- | FFFT-TF-FT | FFFTTTFTFT | 2222122122 |
| 000100 | ---------- | CC | DNC | TTTTTFFFTF | ---------- | ---------- | ---------- | ---------- | TTTTTFFFT- | TTTTTFFFTF | 2222222221 |
| 000200 | ---------- | T--------- | DNC | TTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | -TFTFFFFFF | TTFTFFFFFF | 2222222222 |
| 000500 | ---------- | CC | DNC | FT-TFFTTFF | ---------- | ---------- | ---------- | ---------- | FT-TFFTTFF | FT?TFFTTFF | 2202222222 |
| 001000 | ---------- | MOVF | DNC | FFFF---FFF | ---------- | ---------- | ---------- | ---------- | FF-FFF-FFF | FFFFFF?FFF | 2212110222 |
| 002000 | ---------- | DNF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for PhilosophersDyn (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | DNC | ---------- | 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, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | FTFFFFFTFT | DNC | FTFFFFFTFT | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFT | FTFFFFFTFT | 3333333333 |
| 10 | ---------- | FFTFFTFFFT | DNC | FFTFFTFFFT | ---------- | ---------- | ---------- | ---------- | FFTFFTFFFT | FFTFFTFFFT | 3333333333 |
| 20 | ---------- | CC | DNC | FTFFFF-FFF | ---------- | ---------- | ---------- | ---------- | DNF | FTFFFF?FFF | 1111110111 |
| 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 | TTFFTTTFFF | ---------- | ---------- | ---------- | ---------- | --FFTTT--F | TTFFTTTFFF | 1122222112 |
| Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | F--F-F-F-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F?F?F?? | 1001010100 |
| 06 | ---------- | DNC | -FF--F--F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?FF??F??F? | 0110010010 |
| 10 | ---------- | DNC | FFFFFF--F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFFFFF??F? | 1111110010 |
| 18 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 22 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 28 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 32 | ---------- | DNC | DNF | 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 | ---------- | FTTFTFFFFF | DNC | FTTFTFFFFF | ---------- | ---------- | ---------- | ---------- | FTTFTFFFFF | FTTFTFFFFF | 3333333333 |
| 06 | ---------- | FFFFTFTTFF | DNC | FFFFTFTTFF | ---------- | ---------- | ---------- | ---------- | FFFFTFTTFF | FFFFTFTTFF | 3333333333 |
| 10 | ---------- | MOVF | DNC | F-FFFFTTFF | ---------- | ---------- | ---------- | ---------- | --FFF-TTFF | F?FFFFTTFF | 1022212222 |
| 18 | ---------- | MOVF | DNC | FF-TFTTTTF | ---------- | ---------- | ---------- | ---------- | FF-TF-TTTF | FF?TFTTTTF | 2202212222 |
| 22 | ---------- | MOVF | DNC | FTFFFTT-F- | ---------- | ---------- | ---------- | ---------- | FTFFF-T-F- | FTFFFTT?F? | 2222212020 |
| 28 | ---------- | MOVF | DNC | TTTFTFFFFF | ---------- | ---------- | ---------- | ---------- | T-T-TFFF-F | TTTFTFFFFF | 2121222212 |
| 32 | ---------- | MOVF | DNC | TFFFFFTFFF | ---------- | ---------- | ---------- | ---------- | T--FF-TFFF | TFFFFFTFFF | 2112212222 |
| Correctness mask for Railroad (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | FFFFXFFXTX | DNC | FFFFFFFTTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFTTF | FFFFFFFTTF | 3333233232 |
| 010 | ---------- | MOVF | DNC | FFFFFTFTFT | ---------- | ---------- | ---------- | ---------- | FFFFFTFTFT | FFFFFTFTFT | 2222222222 |
| 020 | ---------- | MOVF | DNC | FTTFFTTFTF | ---------- | ---------- | ---------- | ---------- | FTTFF-TFTF | FTTFFTTFTF | 2222212222 |
| 050 | ---------- | MOVF | DNC | TFFFTTFTFF | ---------- | ---------- | ---------- | ---------- | -FFFTTFTFF | TFFFTTFTFF | 1222222222 |
| 100 | ---------- | MOVF | DNC | F-TFTTFFFF | ---------- | ---------- | ---------- | ---------- | DNF | F?TFTTFFFF | 1011111111 |
| Correctness mask for ResAllocation (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| R002C002 | ---------- | FTXTFTFTFT | DNC | FTFTFTFTFT | ---------- | ---------- | ---------- | ---------- | FTFTFTFTFT | FTFTFTFTFT | 3323333333 |
| R003C002 | ---------- | TFFFFFTFFT | DNC | TFFFFFTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFTFFT | TFFFFFTFFT | 3333333333 |
| R003C003 | ---------- | FFTTFFFFTF | DNC | FFTTFFFFTF | ---------- | ---------- | ---------- | ---------- | FFTTFFFFTF | FFTTFFFFTF | 3333333333 |
| R003C005 | ---------- | FFFFFFTFTF | DNC | FFFFFFTFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFTFTF | FFFFFFTFTF | 3333333333 |
| R003C010 | ---------- | FTFFXTFFTF | DNC | FTFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FTFFFTFFTF | FTFFFTFFTF | 3333233333 |
| R003C015 | ---------- | FFFTFFTFFT | DNC | FFFTFFTFFT | ---------- | ---------- | ---------- | ---------- | FFFTFFTFFT | FFFTFFTFFT | 3333333333 |
| R003C020 | ---------- | MOVF | DNC | FTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFTFFFFFF | FTFTFFFFFF | 2222222222 |
| R003C050 | ---------- | MOVF | DNC | TFFFFTTFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFF | TFFFFTTFFF | 2222222222 |
| R003C100 | ---------- | MOVF | DNC | FTTFTFFFTF | ---------- | ---------- | ---------- | ---------- | FTTFTFFF-F | FTTFTFFFTF | 2222222212 |
| R005C002 | ---------- | TFTTFFFFFF | DNC | TFTTFFFFFF | ---------- | ---------- | ---------- | ---------- | TFTTFFFFFF | TFTTFFFFFF | 3333333333 |
| R010C002 | ---------- | TFTFFFFFTF | DNC | TFTFFFFFTF | ---------- | ---------- | ---------- | ---------- | TFTFFFFFTF | TFTFFFFFTF | 3333333333 |
| R015C002 | ---------- | TTFFTFFFTF | DNC | TTFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFTF | TTFFTFFFTF | 3333333333 |
| R020C002 | ---------- | FTFFTTFXFF | DNC | FTFFTTFTFF | ---------- | ---------- | ---------- | ---------- | FTF-TTFTFF | FTFFTTFTFF | 3332333233 |
| R050C002 | ---------- | FTFFFFFFFF | DNC | FTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFFFF | FTFFFFFFFF | 3333333333 |
| R100C002 | ---------- | TFFFTFFFTF | DNC | TFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TF-FTFFFTF | TFFFTFFFTF | 3323333333 |
| Correctness mask for Ring (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | FTFFFTFTTF | DNC | FTFFFTFTTF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTTF | FTFFFTFTTF | 3333333333 |
| Correctness mask for RwMutex (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| r0010w0010 | ---------- | FFFFFTFFXT | DNC | FFFFFTFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTT | FFFFFTFFTT | 3333333323 |
| r0010w0020 | ---------- | FFFTFFFTTT | DNC | FFFTFFFTTT | ---------- | ---------- | ---------- | ---------- | FFFTXFFTTT | FFFTFFFTTT | 3333233333 |
| r0010w0050 | ---------- | FFTTTTFTFF | DNC | FFTTTTFTFF | ---------- | ---------- | ---------- | ---------- | FFTTTTFTFF | FFTTTTFTFF | 3333333333 |
| r0010w0100 | ---------- | FFFTTFTFFT | DNC | FFFTTFTFFT | ---------- | ---------- | ---------- | ---------- | FFFTTFTFFT | FFFTTFTFFT | 3333333333 |
| r0010w0500 | ---------- | TTTFFFFTXF | DNC | TTTFFFFTFF | ---------- | ---------- | ---------- | ---------- | TTTFFFFTFF | TTTFFFFTFF | 3333333323 |
| r0010w1000 | ---------- | MOVF | DNC | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 2222222222 |
| r0010w2000 | ---------- | MOVF | DNC | F-T------F | ---------- | ---------- | ---------- | ---------- | FFTFFFTTTF | FFTFFFTTTF | 2121111112 |
| r0020w0010 | ---------- | FFFFFTFFTF | DNC | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 3333333333 |
| r0100w0010 | ---------- | FFFFFFFFFF | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFF | FFFFFFFFFF | 3333333333 |
| r0500w0010 | ---------- | FFTTFFFFTF | DNC | FFTTFFFFTF | ---------- | ---------- | ---------- | ---------- | FFTTFFFFTF | FFTTFFFFTF | 3333333333 |
| r1000w0010 | ---------- | FTFFTFFTFT | DNC | FTFFTFFTFT | ---------- | ---------- | ---------- | ---------- | FTFFTFFTFT | FTFFTFFTFT | 3333333333 |
| r2000w0010 | ---------- | MOVF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for SharedMemory (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | DNC | F-FF--F--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FF??F??? | 1011001000 |
| 000010 | ---------- | DNC | --FF-F--FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FF?F??FF | 0011010011 |
| 000020 | ---------- | DNC | -F-FF---FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FF???FF | 0101100011 |
| 000050 | ---------- | DNC | ---FFFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ???FFFFFF? | 0001111110 |
| 000100 | ---------- | DNC | -----F-FF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????F?FF? | 0000010110 |
| 000200 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 020000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | ---------- | DNC | DNF | 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 | ---------- | FTFFTFFFTT | DNC | FTFFTFFFTT | ---------- | ---------- | ---------- | ---------- | FTFFTFFFTT | FTFFTFFFTT | 3333333333 |
| 000010 | ---------- | XTFFFFTFFF | DNC | FTFFFFTFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFTFFF | FTFFFFTFFF | 2333333333 |
| 000020 | ---------- | MOVF | DNC | TFTFFTTTFF | ---------- | ---------- | ---------- | ---------- | TFTFFTTTFF | TFTFFTTTFF | 2222222222 |
| 000050 | ---------- | CC | DNC | T--FFF-F-T | ---------- | ---------- | ---------- | ---------- | DNF | T??FFF?F?T | 1001110101 |
| 000100 | ---------- | CC | DNC | F---TF---T | ---------- | ---------- | ---------- | ---------- | DNF | F???TF???T | 1000110001 |
| Correctness mask for SimpleLoadBal (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | F--F-FFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F?FFF?F | 1001011101 |
| 05 | ---------- | DNC | -F-F-FFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?F?FFFFF | 0101011111 |
| 10 | ---------- | DNC | FF----F--F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF????F??F | 1100001001 |
| 15 | ---------- | DNC | --FFFFFF-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FFFFFF?? | 0011111100 |
| 20 | ---------- | DNC | FF-FFFFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF?FFFFFFF | 1101111111 |
| Correctness mask for SimpleLoadBal (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | FTTFTFFFTF | DNC | FTTFTFFFTF | ---------- | ---------- | ---------- | ---------- | FTTFTFFFTF | FTTFTFFFTF | 3333333333 |
| 05 | ---------- | TFFFTFFFFF | DNC | TFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFFF | TFFFTFFFFF | 3333333333 |
| 10 | ---------- | FFTTTFFTTF | DNC | FFTTTFFTTF | ---------- | ---------- | ---------- | ---------- | FFTTTFFT-F | FFTTTFFTTF | 3333333323 |
| 15 | ---------- | DNF | DNC | FFFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFT- | FFFFFFFFTT | 2222222221 |
| 20 | ---------- | MOVF | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFF | FFFFFFFFFF | 2222222222 |
| Correctness mask for TokenRing (Colored, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | DNC | -TT-TT-T-T | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?TT?TT?T?T | 0110110101 |
| 010 | ---------- | DNC | -F--FF--TT | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F??FF??TT | 0100110011 |
| 015 | ---------- | DNC | -TFFTFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?TFFTFFFF? | 0111111110 |
| 020 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 030 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 040 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 200 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 500 | ---------- | 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 | ---------- | TTTFTTTTTT | DNC | TTTFTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTFTTTTTT | TTTFTTTTTT | 3333333333 |
| 010 | ---------- | CC | DNC | FFFFFFTTTT | ---------- | ---------- | ---------- | ---------- | FFFFFFTTTT | FFFFFFTTTT | 2222222222 |
| 015 | ---------- | CC | DNC | FTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | --FF-FFFF- | FTFFTFFFFF | 1122122221 |
| 020 | ---------- | CC | DNC | FFTFFTFFFT | ---------- | ---------- | ---------- | ---------- | FFTFF-FFF- | FFTFFTFFFT | 2222212221 |
| Correctness mask for Vasy2003 (P/T, Known model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | DNF | DNC | FTTTFFFFFF | ---------- | ---------- | ---------- | ---------- | -TTT-FFFFF | FTTTFFFFFF | 1222122222 |
| Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | F--FFF--FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??FFF??FF | 1001110011 |
| 03 | ---------- | DNC | -F--F----- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F??F????? | 0100100000 |
| 04 | ---------- | DNC | ---FF-FFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ???FF?FFFF | 0001101111 |
| 05 | ---------- | DNC | F-FFFFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FFFFFFF? | 1011111110 |
| 07 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 10 | ---------- | DNC | F----F--F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F????F??F? | 1000010010 |
| Correctness mask for CSRepetitions (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | FTFFFFFTFF | DNC | FTFFFFFTFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFF | FTFFFFFTFF | 3333333333 |
| 03 | ---------- | DNF | DNC | FFTTFTTTTT | ---------- | ---------- | ---------- | ---------- | FFTTFTTTTT | FFTTFTTTTT | 2222222222 |
| 04 | ---------- | DNF | DNC | TTTFFTFFFF | ---------- | ---------- | ---------- | ---------- | TTTFFTFFFF | TTTFFTFFFF | 2222222222 |
| 05 | ---------- | DNF | DNC | FTFFFFFFFT | ---------- | ---------- | ---------- | ---------- | F-FFFFFFFT | FTFFFFFFFT | 2122222222 |
| 07 | ---------- | CC | DNC | TFTTFTFTTF | ---------- | ---------- | ---------- | ---------- | TFT-FT--TF | TFTTFTFTTF | 2221221122 |
| 10 | ---------- | CC | DNC | FTFTTFFTFT | ---------- | ---------- | ---------- | ---------- | FTFTTFFTF- | FTFTTFFTFT | 2222222221 |
| Correctness mask for Dekker (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | ---------- | TTFFTFFFFT | DNC | TTFFTFFFFT | ---------- | ---------- | ---------- | ---------- | TTFFTFFXFT | TTFFTFFFFT | 3333333233 |
| 015 | ---------- | TFFFFTTTTT | DNC | TFFFFTTTTT | ---------- | ---------- | ---------- | ---------- | TFFFFTTTTT | TFFFFTTTTT | 3333333333 |
| 020 | ---------- | TFFFTFFTFT | DNC | TFFFTFFTFT | ---------- | ---------- | ---------- | ---------- | -FFFTFFTFT | TFFFTFFTFT | 2333333333 |
| 050 | ---------- | MOVF | DNC | FFTFTFTFTT | ---------- | ---------- | ---------- | ---------- | FFTFTFTFTT | FFTFTFTFTT | 2222222222 |
| 100 | ---------- | MOVF | DNC | FFFFTTTFTF | ---------- | ---------- | ---------- | ---------- | FFFFTTT-TF | FFFFTTTFTF | 2222222122 |
| 200 | ---------- | DNF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | 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 | FFTTTFTF-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFTTTFTF?? | 1111111100 |
| 3 | ---------- | DNC | T-FFF--FTT | DNC | ---------- | ---------- | ---------- | ---------- | DNC | T?FFF??FTT | 1011100111 |
| 4 | ---------- | DNC | --F--FTFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??F??FTFF? | 0010011110 |
| 5 | ---------- | DNC | --FF--FFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FF??FFF? | 0011001110 |
| Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | FF-FFF-TFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF?FFF?TFF | 1101110111 |
| 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 | ---------- | FFFFFFTTFF | DNC | FFFFFFTTFF | ---------- | ---------- | ---------- | ---------- | FFXFFFTTFF | FFFFFFTTFF | 3323333333 |
| Correctness mask for Echo (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| d02r09 | ---------- | FTXXTXFXFF | DNC | FTFFTTFTFF | ---------- | ---------- | ---------- | ---------- | FTFFTTFTFF | FTFFTTFTFF | 3322323233 |
| d02r11 | ---------- | XTXFXT?FXF | DNC | TTFFTT?FTF | ---------- | ---------- | ---------- | ---------- | TTFFTT-FTF | TTFFTT?FTF | 2323230323 |
| d02r15 | ---------- | XFX?X?TXXX | DNC | TFT?F?TTFT | ---------- | ---------- | ---------- | ---------- | TFT-F-TTFT | TFT?F?TTFT | 2320203222 |
| d02r19 | ---------- | FXFTFXFXFF | DNC | FFFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFTFFFFFF | FFFTFFFFFF | 3233323233 |
| d03r03 | ---------- | FT?XXFFXXX | DNC | FT?TFFFTTF | ---------- | ---------- | ---------- | ---------- | FT-TFFFTTF | FT?TFFFTTF | 3302233222 |
| d03r05 | ---------- | XXFXXXFFTX | DNC | FFFFTFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFTFFFTT | FFFFTFFFTT | 2232223332 |
| d03r07 | ---------- | FTXFX?TFFX | DNC | FTFFF?TFFT | ---------- | ---------- | ---------- | ---------- | FTFFF-TFFT | FTFFF?TFFT | 3323203332 |
| d04r03 | ---------- | FFXTFXTTXF | DNC | FFFTFTTTFF | ---------- | ---------- | ---------- | ---------- | FFFTFTTTFF | FFFTFTTTFF | 3323323323 |
| d05r03 | ---------- | XFF?XTXFTF | DNC | FFF?TTFFTF | ---------- | ---------- | ---------- | ---------- | FFF-TTFFTF | FFF?TTFFTF | 2330232333 |
| Correctness mask for Eratosthenes (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 010 | ---------- | CC | DNC | FTFTFTTFTF | ---------- | ---------- | ---------- | ---------- | FTFTFTTFTF | FTFTFTTFTF | 2222222222 |
| 020 | ---------- | CC | DNC | TTFFFTTFFF | ---------- | ---------- | ---------- | ---------- | TTFFFTTFFF | TTFFFTTFFF | 2222222222 |
| 050 | ---------- | CC | DNC | FTTFFT-FFF | ---------- | ---------- | ---------- | ---------- | FTTFFT-FFF | FTTFFT?FFF | 2222220222 |
| 100 | ---------- | CC | DNC | DNF | ---------- | ---------- | ---------- | ---------- | TT-FTTFF-F | TT?FTTFF?F | 1101111101 |
| 200 | ---------- | CC | DNC | FTTFTTFFFT | ---------- | ---------- | ---------- | ---------- | FTTFTTFFFT | FTTFTTFFFT | 2222222222 |
| 500 | ---------- | CC | DNC | FFFFFFFTTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFTTT | FFFFFFFTTT | 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 | ---------- | TTFFFFTFFF | DNC | TTFFFFTFFF | ---------- | ---------- | ---------- | ---------- | TTFFFFTFFF | TTFFFFTFFF | 3333333333 |
| 005 | ---------- | FFFFTTFFFF | DNC | FFFFTTFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTTFFFF | FFFFTTFFFF | 3333333333 |
| 010 | ---------- | FTTFTFTFFT | DNC | FTTFTFTFFT | ---------- | ---------- | ---------- | ---------- | FTTFTFTFFT | FTTFTFTFFT | 3333333333 |
| 020 | ---------- | FFFTTFXFFF | DNC | FFFTTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFTTFFFFF | FFFTTFFFFF | 3333332333 |
| 050 | ---------- | FTTFFFFFFT | DNC | FTTFFFFFFT | ---------- | ---------- | ---------- | ---------- | FTTFFFFFFT | FTTFFFFFFT | 3333333333 |
| 100 | ---------- | TFFFFTTFFF | DNC | TFFFFTTFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFF | TFFFFTTFFF | 3333333333 |
| 200 | ---------- | FFFTTTTFFT | DNC | FFFTTTTFFT | ---------- | ---------- | ---------- | ---------- | FFFTTTTFFT | FFFTTTTFFT | 3333333333 |
| 500 | ---------- | DNF | DNC | FFFFFTFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFFF | FFFFFTFFFF | 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 | ---------- | FFTFTFFTFT | DNC | FFTFTFFTFT | ---------- | ---------- | ---------- | ---------- | FFTFTFFTFT | FFTFTFFTFT | 3333333333 |
| Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 002 | ---------- | TTXFFFTTTF | DNC | TTFFFFTTTF | ---------- | ---------- | ---------- | ---------- | TTFFFFTTTF | TTFFFFTTTF | 3323333333 |
| 005 | ---------- | TFFFXFXFFF | DNC | TFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFFFF | TFFFFFFFFF | 3333232333 |
| 010 | ---------- | FTFFXFXTXX | DNC | FTFFTFTTFF | ---------- | ---------- | ---------- | ---------- | FTFFTFTTFF | FTFFTFTTFF | 3333232322 |
| 020 | ---------- | FXTTFTFTFF | DNC | FFTTFTFTFF | ---------- | ---------- | ---------- | ---------- | FFTTFTFTFF | FFTTFTFTFF | 3233333333 |
| 050 | ---------- | CC | DNC | FFF?FFFFFT | ---------- | ---------- | ---------- | ---------- | FFF?FFFFFT | FFF?FFFFFT | 2220222222 |
| 100 | ---------- | MOVF | DNC | FFFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFTT | FFFFFFFFTT | 2222222222 |
| 200 | ---------- | DNF | DNC | FFTFTTTFFF | ---------- | ---------- | ---------- | ---------- | FFTFTTTFFF | FFTFTTTFFF | 2222222222 |
| 500 | ---------- | DNF | DNC | FFTFFFTTFF | ---------- | ---------- | ---------- | ---------- | FFTFFFTTFF | FFTFFFTTFF | 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 | ---------- | XXFXTXXXXF | DNC | FFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFTFFFFF | FFFFTFFFFF | 2232322223 |
| Correctness mask for Kanban (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 0005 | ---------- | FTTXTXTTTT | DNC | FTTFTFTTTT | ---------- | ---------- | ---------- | ---------- | FTTFTFTTTT | FTTFTFTTTT | 3332323333 |
| 0010 | ---------- | TFTTFFFFTF | DNC | TFTTFFFFTF | ---------- | ---------- | ---------- | ---------- | TFTTFFFFTF | TFTTFFFFTF | 3333333333 |
| 0020 | ---------- | TTFFFFTTTF | DNC | TTFFFFTTTF | ---------- | ---------- | ---------- | ---------- | TTFFFFTTTF | TTFFFFTTTF | 3333333333 |
| 0050 | ---------- | FFFTXTTXTF | DNC | FFFTFTTTTF | ---------- | ---------- | ---------- | ---------- | FFFTFTTTTF | FFFTFTTTTF | 3333233233 |
| 0100 | ---------- | TFFFFTFFTT | DNC | TFFFFTFFTT | ---------- | ---------- | ---------- | ---------- | TFFFFTFFTT | TFFFFTFFTT | 3333333333 |
| 0200 | ---------- | FTFTFFFFFF | DNC | FTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFTFFFFFF | FTFTFFFFFF | 3333333333 |
| 0500 | ---------- | DNF | DNC | FTFFTTTFTF | ---------- | ---------- | ---------- | ---------- | MOVF | FTFFTTTFTF | 1111111111 |
| 1000 | ---------- | DNF | DNC | FFFFFFFFFT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFT | FFFFFFFFFT | 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 | --FFFFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FFFFFFF? | 0011111110 |
| 3 | ---------- | DNC | F--F--TTF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F??TTF? | 1001001110 |
| 4 | ---------- | DNC | -F----FF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F????FF?F | 0100001101 |
| 5 | ---------- | DNC | F--FF--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??FF??F?F | 1001100101 |
| 6 | ---------- | DNC | -F-FF-F--F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FF?F??F | 0101101001 |
| 7 | ---------- | DNC | -F---FFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F???FFF?F | 0100011101 |
| 8 | ---------- | DNC | -F--F--F-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F??F??F?F | 0100100101 |
| Correctness mask for LamportFastMutEx (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | TTFFFFFFFT | DNC | TTFFFFFFFT | ---------- | ---------- | ---------- | ---------- | TTFFFFFFFT | TTFFFFFFFT | 3333333333 |
| 3 | ---------- | FTTFTTTTFF | DNC | FTTFTTTTFF | ---------- | ---------- | ---------- | ---------- | FTTFTTTTFF | FTTFTTTTFF | 3333333333 |
| 4 | ---------- | TFTTTTFFTF | DNC | TFTTTTFFTF | ---------- | ---------- | ---------- | ---------- | TFTTTTFFTF | TFTTTTFFTF | 3333333333 |
| 5 | ---------- | MOVF | DNC | FFTFFTTFTF | ---------- | ---------- | ---------- | ---------- | FFTFFTTFTF | FFTFFTTFTF | 2222222222 |
| 6 | ---------- | DNF | DNC | TFTFFFFFFF | ---------- | ---------- | ---------- | ---------- | TF-FF-FFFF | TFTFFFFFFF | 2212212222 |
| 7 | ---------- | DNF | DNC | TFTTTFFFTF | ---------- | ---------- | ---------- | ---------- | TFTTTF-FTF | TFTTTFFFTF | 2222221222 |
| 8 | ---------- | DNF | DNC | TFTFF-TFTF | ---------- | ---------- | ---------- | ---------- | -FTFF-T-TF | TFTFF?TFTF | 1222202122 |
| Correctness mask for MAPK (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 008 | ---------- | XXFXTFFTTF | DNC | FFFFTFFTTF | ---------- | ---------- | ---------- | ---------- | FFFFTFFTTF | FFFFTFFTTF | 2232333333 |
| 020 | ---------- | DNF | DNC | TFFFFFTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFT-FT | TFFFFFTFFT | 2222222122 |
| 040 | ---------- | DNF | DNC | TFFFFTFTFF | ---------- | ---------- | ---------- | ---------- | TFFFFTFTF- | TFFFFTFTFF | 2222222221 |
| 080 | ---------- | DNF | DNC | TTFTFFFTFF | ---------- | ---------- | ---------- | ---------- | T-FTFFFTFF | TTFTFFFTFF | 2122222222 |
| 160 | ---------- | DNF | DNC | TTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TTFF--FFFF | TTFFTFFFFF | 2222112222 |
| 320 | ---------- | DNF | DNC | FFTFTFFFFF | ---------- | ---------- | ---------- | ---------- | FFTFTFFFFF | FFTFTFFFFF | 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 | F-T-F-T--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?T?F?T??? | 1010101000 |
| 3 | ---------- | DNC | -T----FF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?T????FF?F | 0100001101 |
| 4 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 5 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | ---------- | DNC | F----F-FF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F????F?FF? | 1000010110 |
| 7 | ---------- | DNC | FFF--FF--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF??FF??? | 1110011000 |
| 8 | ---------- | DNC | FF--FFF--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF??FFF??? | 1100111000 |
| Correctness mask for NeoElection (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | FTTFFFTFTF | DNC | FTTFFFTFTF | ---------- | ---------- | ---------- | ---------- | FTTFFFTFTF | FTTFFFTFTF | 3333333333 |
| 3 | ---------- | FTTFTTFFFF | DNC | --TFTTFF-F | ---------- | ---------- | ---------- | ---------- | -TTFTTFFFF | FTTFTTFFFF | 1233333323 |
| 4 | ---------- | MOVF | DNC | -F-FF-F-FF | ---------- | ---------- | ---------- | ---------- | -F-FF-F-FF | ?F?FF?F?FF | 0202202022 |
| 5 | ---------- | MOVF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | TFF-F-F--F | TFF?F?F??F | 1110101001 |
| 6 | ---------- | DNF | DNC | F---TFF-F- | ---------- | ---------- | ---------- | ---------- | DNF | F???TFF?F? | 1000111010 |
| 7 | ---------- | DNF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| 8 | ---------- | DNF | DNC | ---------- | ---------- | ---------- | ---------- | ---------- | 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 | -F-FFFF-FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FFFF?FF | 0101111011 |
| 02 | ---------- | DNC | -------FFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ???????FFF | 0000000111 |
| 05 | ---------- | DNC | F-FFFFFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FFFFFFFF | 1011111111 |
| 10 | ---------- | DNC | F-F--FFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?F??FFFF? | 1010011110 |
| 20 | ---------- | DNC | -F-----F-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?????F?? | 0100000100 |
| 50 | ---------- | DNC | --F--F-FFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??F??F?FFF | 0010010111 |
| Correctness mask for PermAdmissibility (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 01 | ---------- | TFTFFFFTFF | DNC | TFTFFFFTFF | ---------- | ---------- | ---------- | ---------- | TFTFFFFTFF | TFTFFFFTFF | 3333333333 |
| 02 | ---------- | DNF | DNC | TTFFTTTFFF | ---------- | ---------- | ---------- | ---------- | TTFFTTTFFF | TTFFTTTFFF | 2222222222 |
| 05 | ---------- | DNF | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFF-FFFF-F | FFFFFFFFFF | 2221222212 |
| 10 | ---------- | DNF | DNC | FFFTTFFFFT | ---------- | ---------- | ---------- | ---------- | FFFTTFFFFT | FFFTTFFFFT | 2222222222 |
| 20 | ---------- | DNF | DNC | FFTTTFTFFT | ---------- | ---------- | ---------- | ---------- | FFTTTFTFFT | FFTTTFTFFT | 2222222222 |
| 50 | ---------- | DNF | DNC | FFFTTFTFFF | ---------- | ---------- | ---------- | ---------- | FFFTTFTFFF | FFFTTFTFFF | 2222222222 |
| Correctness mask for Peterson (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 2 | ---------- | DNC | -F-FFFFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FFFFFFF | 0101111111 |
| 3 | ---------- | DNC | FF---FF-FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF???FF?FF | 1100011011 |
| 4 | ---------- | DNC | -FFFFFF-FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?FFFFFF?FF | 0111111011 |
| 5 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 6 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 7 | ---------- | DNC | DNF | 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 | ---------- | TFTFFFFFFF | DNC | TFTFFFFFFF | ---------- | ---------- | ---------- | ---------- | TFTFFFFFFF | TFTFFFFFFF | 3333333333 |
| 3 | ---------- | FFTTTFFTFF | DNC | FFTTTFFTFF | ---------- | ---------- | ---------- | ---------- | FFTTTFFTFF | FFTTTFFTFF | 3333333333 |
| 4 | ---------- | MOVF | DNC | TFFFFFFTFF | ---------- | ---------- | ---------- | ---------- | TFFFFFFTFF | TFFFFFFTFF | 2222222222 |
| 5 | ---------- | MOVF | DNC | TTTFTFFTFF | ---------- | ---------- | ---------- | ---------- | TT-F-FFTFF | TTTFTFFTFF | 2212122222 |
| 6 | ---------- | DNF | DNC | TFFFTTFFFF | ---------- | ---------- | ---------- | ---------- | TFFFT-FFFF | TFFFTTFFFF | 2222212222 |
| 7 | ---------- | DNF | DNC | TFTFTTF-TT | ---------- | ---------- | ---------- | ---------- | TFTFT-F-TT | TFTFTTF?TT | 2222212022 |
| Correctness mask for Philosophers (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 000005 | ---------- | DNC | FFF-F-FF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF?F?FF?F | 1110101101 |
| 000010 | ---------- | DNC | --FF---FF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FF???FF? | 0011000110 |
| 000020 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000050 | ---------- | DNC | FFF---F-F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFF???F?F? | 1110001010 |
| 000100 | ---------- | DNC | -----FFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????FFF?F | 0000011101 |
| 000200 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | ---------- | DNC | DNF | 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 | ---------- | FFFTFTFFFF | DNC | FFFTFTFFFF | ---------- | ---------- | ---------- | ---------- | FFFTFTFFFF | FFFTFTFFFF | 3333333333 |
| 000010 | ---------- | TTFFFTTFFT | DNC | TTFFFTTFFT | ---------- | ---------- | ---------- | ---------- | TTFFFTTFFT | TTFFFTTFFT | 3333333333 |
| 000020 | ---------- | FFTF------ | DNC | FF-FFFFT-T | ---------- | ---------- | ---------- | ---------- | FF-FFF-T-T | FFTFFFFT?T | 3313221202 |
| 000050 | ---------- | MOVF | DNC | FFFTTTFTFT | ---------- | ---------- | ---------- | ---------- | FFFT-TF-FT | FFFTTTFTFT | 2222122122 |
| 000100 | ---------- | MOVF | DNC | TTTTTFFFTF | ---------- | ---------- | ---------- | ---------- | TTTTTFFFT- | TTTTTFFFTF | 2222222221 |
| 000200 | ---------- | MOVF | DNC | TTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | -TFTFFFFFF | TTFTFFFFFF | 1222222222 |
| 000500 | ---------- | MOVF | DNC | FT-TFFTTFF | ---------- | ---------- | ---------- | ---------- | FT-TFFTTFF | FT?TFFTTFF | 2202222222 |
| 001000 | ---------- | MOVF | DNC | FFFF---FFF | ---------- | ---------- | ---------- | ---------- | DNF | FFFF???FFF | 1111000111 |
| 002000 | ---------- | DNF | DNC | DNF | ---------- | ---------- | ---------- | ---------- | DNF | ?????????? | 0000000000 |
| Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 03 | ---------- | DNC | ---------- | 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 | ---------- | FTFFFFFTFT | DNC | FTFFFFFTFT | ---------- | ---------- | ---------- | ---------- | FTFFFFFTFT | FTFFFFFTFT | 3333333333 |
| 10 | ---------- | CC | DNC | FFTFFTFFFT | ---------- | ---------- | ---------- | ---------- | FFTFFTFFFT | FFTFFTFFFT | 2222222222 |
| 20 | ---------- | DNF | DNC | FTFFFF-FFF | ---------- | ---------- | ---------- | ---------- | DNF | FTFFFF?FFF | 1111110111 |
| Correctness mask for Planning (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | ??FFTTT??F | DNC | ??FFTTT??F | ---------- | ---------- | ---------- | ---------- | --FFTTT--F | ??FFTTT??F | 0033333003 |
| Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | F--F-F-F-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F?F?F?? | 1001010100 |
| 06 | ---------- | DNC | -FF--F--F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?FF??F??F? | 0110010010 |
| 10 | ---------- | DNC | FFFFFF--F- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FFFFFF??F? | 1111110010 |
| 18 | ---------- | DNC | FF--F----F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF??F????F | 1100100001 |
| 22 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 28 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 32 | ---------- | DNC | DNF | 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 | ---------- | FTTFTFFFFF | DNC | FTTFTFFFFF | ---------- | ---------- | ---------- | ---------- | FTTFTFFFFF | FTTFTFFFFF | 3333333333 |
| 06 | ---------- | FFFFTFTTFF | DNC | FFFFTFTTFF | ---------- | ---------- | ---------- | ---------- | FFFFTFTTFF | FFFFTFTTFF | 3333333333 |
| 10 | ---------- | MOVF | DNC | F-FFFFTTFF | ---------- | ---------- | ---------- | ---------- | --FFF-TTFF | F?FFFFTTFF | 1022212222 |
| 18 | ---------- | CC | DNC | FF-TFTTTTF | ---------- | ---------- | ---------- | ---------- | FF-TF-TTTF | FF?TFTTTTF | 2202212222 |
| 22 | ---------- | DNF | DNC | FTFFFTT-F- | ---------- | ---------- | ---------- | ---------- | FTFFF-T-F- | FTFFFTT?F? | 2222212020 |
| 28 | ---------- | DNF | DNC | TTTFTFFFFF | ---------- | ---------- | ---------- | ---------- | T-T-TFFF-F | TTTFTFFFFF | 2121222212 |
| 32 | ---------- | DNF | DNC | TFFFFFTFFF | ---------- | ---------- | ---------- | ---------- | T--FF-TFFF | TFFFFFTFFF | 2112212222 |
| Correctness mask for Railroad (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | FFFFXFFXTX | DNC | FFFFFFFTTF | ---------- | ---------- | ---------- | ---------- | FFFFFFFTTF | FFFFFFFTTF | 3333233232 |
| 010 | ---------- | MOVF | DNC | FFFFFTFTFT | ---------- | ---------- | ---------- | ---------- | FFFFFTFTFT | FFFFFTFTFT | 2222222222 |
| 020 | ---------- | DNF | DNC | FTTFFTTFTF | ---------- | ---------- | ---------- | ---------- | FTTFF-TFTF | FTTFFTTFTF | 2222212222 |
| 050 | ---------- | DNF | DNC | TFFFTTFTFF | ---------- | ---------- | ---------- | ---------- | -FFFTTFTFF | TFFFTTFTFF | 1222222222 |
| 100 | ---------- | DNF | DNC | F-TFTTFFFF | ---------- | ---------- | ---------- | ---------- | DNF | F?TFTTFFFF | 1011111111 |
| Correctness mask for ResAllocation (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| R002C002 | ---------- | CC | DNC | FTFTFTFTFT | ---------- | ---------- | ---------- | ---------- | FTFTFTFTFT | FTFTFTFTFT | 2222222222 |
| R003C002 | ---------- | CC | DNC | TFFFFFTFFT | ---------- | ---------- | ---------- | ---------- | TFFFFFTFFT | TFFFFFTFFT | 2222222222 |
| R003C003 | ---------- | CC | DNC | FFTTFFFFTF | ---------- | ---------- | ---------- | ---------- | FFTTFFFFTF | FFTTFFFFTF | 2222222222 |
| R003C005 | ---------- | CC | DNC | FFFFFFTFTF | ---------- | ---------- | ---------- | ---------- | FFFFFFTFTF | FFFFFFTFTF | 2222222222 |
| R003C010 | ---------- | CC | DNC | FTFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FTFFFTFFTF | FTFFFTFFTF | 2222222222 |
| R003C015 | ---------- | CC | DNC | FFFTFFTFFT | ---------- | ---------- | ---------- | ---------- | FFFTFFTFFT | FFFTFFTFFT | 2222222222 |
| R003C020 | ---------- | CC | DNC | FTFTFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFTFFFFFF | FTFTFFFFFF | 2222222222 |
| R003C050 | ---------- | CC | DNC | TFFFFTTFFF | ---------- | ---------- | ---------- | ---------- | TFFFFTTFFF | TFFFFTTFFF | 2222222222 |
| R003C100 | ---------- | CC | DNC | FTTFTFFFTF | ---------- | ---------- | ---------- | ---------- | FTTFTFFF-F | FTTFTFFFTF | 2222222212 |
| R005C002 | ---------- | CC | DNC | TFTTFFFFFF | ---------- | ---------- | ---------- | ---------- | TFTTFFFFFF | TFTTFFFFFF | 2222222222 |
| R010C002 | ---------- | CC | DNC | TFTFFFFFTF | ---------- | ---------- | ---------- | ---------- | TFTFFFFFTF | TFTFFFFFTF | 2222222222 |
| R015C002 | ---------- | CC | DNC | TTFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TTFFTFFFTF | TTFFTFFFTF | 2222222222 |
| R020C002 | ---------- | CC | DNC | FTFFTTFTFF | ---------- | ---------- | ---------- | ---------- | FTF-TTFTFF | FTFFTTFTFF | 2221222222 |
| R050C002 | ---------- | CC | DNC | FTFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFFFFF | FTFFFFFFFF | 2222222222 |
| R100C002 | ---------- | CC | DNC | TFFFTFFFTF | ---------- | ---------- | ---------- | ---------- | TF-FTFFFTF | TFFFTFFFTF | 2212222222 |
| Correctness mask for Ring (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | DNF | DNC | FTFFFTFTTF | ---------- | ---------- | ---------- | ---------- | FTFFFTFTTF | FTFFFTFTTF | 2222222222 |
| Correctness mask for RwMutex (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| r0010w0010 | ---------- | FFFFFTFFXT | DNC | FFFFFTFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTT | FFFFFTFFTT | 3333333323 |
| r0010w0020 | ---------- | FFFTFFFTTT | DNC | FFFTFFFTTT | ---------- | ---------- | ---------- | ---------- | FFFTXFFTTT | FFFTFFFTTT | 3333233333 |
| r0010w0050 | ---------- | FFTTTTFTFF | DNC | FFTTTTFTFF | ---------- | ---------- | ---------- | ---------- | FFTTTTFTFF | FFTTTTFTFF | 3333333333 |
| r0010w0100 | ---------- | FFFTTFTFFT | DNC | FFFTTFTFFT | ---------- | ---------- | ---------- | ---------- | FFFTTFTFFT | FFFTTFTFFT | 3333333333 |
| r0010w0500 | ---------- | TTTFFFFTXF | DNC | TTTFFFFTFF | ---------- | ---------- | ---------- | ---------- | TTTFFFFTFF | TTTFFFFTFF | 3333333323 |
| r0010w1000 | ---------- | FFFFFXFFTF | DNC | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 3333323333 |
| r0010w2000 | ---------- | MOVF | DNC | -----FTTT- | ---------- | ---------- | ---------- | ---------- | FFTFFFTTTF | FFTFFFTTTF | 1111122221 |
| r0020w0010 | ---------- | FFFFFTFFTF | DNC | FFFFFTFFTF | ---------- | ---------- | ---------- | ---------- | FFFFFTFFTF | FFFFFTFFTF | 3333333333 |
| r0100w0010 | ---------- | MOVF | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFF | FFFFFFFFFF | 2222222222 |
| r0500w0010 | ---------- | MOVF | DNC | FFTTFFFFTF | ---------- | ---------- | ---------- | ---------- | FFTTFFFFTF | FFTTFFFFTF | 2222222222 |
| r1000w0010 | ---------- | MOVF | DNC | FTFFTFFTFT | ---------- | ---------- | ---------- | ---------- | FTFFTFFTFT | FTFFTFFTFT | 2222222222 |
| r2000w0010 | ---------- | CC | DNC | -----TFTF- | ---------- | ---------- | ---------- | ---------- | DNF | ?????TFTF? | 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 | F-FF--F--- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F?FF??F??? | 1011001000 |
| 000010 | ---------- | DNC | --FF-F--FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FF?F??FF | 0011010011 |
| 000020 | ---------- | DNC | -F-FF---FF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?FF???FF | 0101100011 |
| 000050 | ---------- | DNC | ---FFFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ???FFFFFF? | 0001111110 |
| 000100 | ---------- | DNC | -----F-FF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????F?FF? | 0000010110 |
| 000200 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 000500 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 001000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 002000 | ---------- | DNC | ---------- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 005000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 010000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 020000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050000 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100000 | ---------- | DNC | DNF | 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 | ---------- | FTFFTFFFTT | DNC | FTFFTFFFTT | ---------- | ---------- | ---------- | ---------- | FTFFTFFFTT | FTFFTFFFTT | 3333333333 |
| 000010 | ---------- | XTFFFFTFFF | DNC | FTFFFFTFFF | ---------- | ---------- | ---------- | ---------- | FTFFFFTFFF | FTFFFFTFFF | 2333333333 |
| 000020 | ---------- | MOVF | DNC | TFTFFTTTFF | ---------- | ---------- | ---------- | ---------- | TFTFFTTTFF | TFTFFTTTFF | 2222222222 |
| 000050 | ---------- | CC | DNC | T--FFF-F-T | ---------- | ---------- | ---------- | ---------- | DNF | T??FFF?F?T | 1001110101 |
| 000100 | ---------- | DNF | DNC | F---TF-F-- | ---------- | ---------- | ---------- | ---------- | DNF | F???TF?F?? | 1000110100 |
| Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | DNC | F--F-FFF-F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | F??F?FFF?F | 1001011101 |
| 05 | ---------- | DNC | -F-F-FFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F?F?FFFFF | 0101011111 |
| 10 | ---------- | DNC | FF----F--F | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF????F??F | 1100001001 |
| 15 | ---------- | DNC | --FFFFFF-- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ??FFFFFF?? | 0011111100 |
| 20 | ---------- | DNC | FF-FFFFFFF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | FF?FFFFFFF | 1101111111 |
| Correctness mask for SimpleLoadBal (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 02 | ---------- | FTTFTFFFTF | DNC | FTTFTFFFTF | ---------- | ---------- | ---------- | ---------- | FTTFTFFFTF | FTTFTFFFTF | 3333333333 |
| 05 | ---------- | TFFFTFFFFF | DNC | TFFFTFFFFF | ---------- | ---------- | ---------- | ---------- | TFFFTFFFFF | TFFFTFFFFF | 3333333333 |
| 10 | ---------- | DNF | DNC | FFTTTFFTTF | ---------- | ---------- | ---------- | ---------- | FFTTTFFT-F | FFTTTFFTTF | 2222222212 |
| 15 | ---------- | DNF | DNC | FFFFFFFFTT | ---------- | ---------- | ---------- | ---------- | FFFFFFFFT- | FFFFFFFFTT | 2222222221 |
| 20 | ---------- | DNF | DNC | FFFFFFFFFF | ---------- | ---------- | ---------- | ---------- | FFFFFFFFFF | FFFFFFFFFF | 2222222222 |
| Correctness mask for TokenRing (Colored, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| 005 | ---------- | DNC | -TT-TT-T-T | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?TT?TT?T?T | 0110110101 |
| 010 | ---------- | DNC | -F--FF--TT | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?F??FF??TT | 0100110011 |
| 015 | ---------- | DNC | -TFFTFFFF- | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?TFFTFFFF? | 0111111110 |
| 020 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 030 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 040 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 050 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 100 | ---------- | DNC | DNF | DNC | ---------- | ---------- | ---------- | ---------- | DNC | ?????????? | 0000000000 |
| 200 | ---------- | DNC | DNF | 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 | ---------- | TTTFTTTTTT | DNC | TTTFTTTTTT | ---------- | ---------- | ---------- | ---------- | TTTFTTTTTT | TTTFTTTTTT | 3333333333 |
| 010 | ---------- | CC | DNC | FFFFFFTTTT | ---------- | ---------- | ---------- | ---------- | FFFFFFTTTT | FFFFFFTTTT | 2222222222 |
| 015 | ---------- | CC | DNC | FTFFTFFFFF | ---------- | ---------- | ---------- | ---------- | --FF-FFFF- | FTFFTFFFFF | 1122122221 |
| 020 | ---------- | CC | DNC | FFTFFTFFFT | ---------- | ---------- | ---------- | ---------- | FFTFF-FFF- | FFTFFTFFFT | 2222212221 |
| Correctness mask for Vasy2003 (P/T, Scrambled model) - result - score | |||||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
| none | ---------- | DNF | DNC | FTTTFFFFFF | ---------- | ---------- | ---------- | ---------- | -TTT-FFFFF | FTTTFFFFFF | 1222122222 |