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