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