fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Correctness Mask for the ReachabilityCardinality Examination
Last Updated
Sept. 1, 2014

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:

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