fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Correctness Mask for the ctlcardinality 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 ctlcardinality
Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
25 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for CircularTrains (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
012 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
024 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
048 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
096 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
192 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
384 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
768 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
40 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
40 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N200 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N250 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N300 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N350 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N200 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for EnergyBus (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for MultiwaySync (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
1 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
2 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for PolyORBLF (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S02J04T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J04T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J04T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J06T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J06T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J06T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J04T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J04T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J04T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J06T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J06T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J06T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J04T04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J04T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J04T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J06T04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J06T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J06T08 ---------- 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 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J04T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J04T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J06T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J06T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J06T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J04T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J04T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J04T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J06T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J06T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J06T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J04T04 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J04T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J04T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J06T04 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J06T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J06T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for PolyORBNT (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S05J20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J30 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J40 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J60 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J80 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J30 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J40 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J60 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J80 ---------- 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 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J30 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J40 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J60 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S05J80 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J30 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J40 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J60 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J80 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for ProductionCell (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
EngNC7x7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
FrnCT7x7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
FrnNC7x7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
SqrCT5x5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
SqrNC5x5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for UtahNoC (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for CSRepetitions (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- 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 ---------- TTTTFTTFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTFTTFTT 1111111111
03 ---------- FFFTTTFFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFFTTTFFFF 1111111111
04 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Dekker (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 ---------- FFTTFTFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTFTFTTT 1111111111
015 ---------- TFTFTFTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTFTFTTTT 1111111111
020 ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
050 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- 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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
16 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
24 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
48 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
76 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
98 ---------- 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 ---------- TFFFFTTFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFFFTTFFF 1111111111
Correctness mask for Echo (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
d02r09 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r11 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r15 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r19 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r03 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r05 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r07 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d04r03 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d05r03 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Eratosthenes (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 ---------- FTFFTFTFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFFTFTFTT 1111111111
020 ---------- FTFFTFTTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFFTFTTTF 1111111111
050 ---------- TFTTTTFTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTTTFTTF 1111111111
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for FMS (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 ---------- FFTFFFTTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTFFFTTFF 1111111111
005 ---------- TFFFTTTTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFFTTTTFF 1111111111
010 ---------- TFTTFTTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTFTTFFT 1111111111
020 ---------- TTTFTFFTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTFTFFTTF 1111111111
050 ---------- TTTTTTTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTTTTTFT 1111111111
100 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- F--------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- F????????? 1000000000
Correctness mask for GlobalResAllocation (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
09 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
11 ---------- 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 ---------- FFFFTTFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFFFTTFFTT 1111111111
Correctness mask for HouseConstruction (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 ---------- TTFFFFTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFFFTFFT 1111111111
005 ---------- TFTFFTTTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTFFTTTFF 1111111111
010 ---------- FTTFFTFTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFTFTTF 1111111111
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for IBMB2S565S3960 (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Kanban (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0005 ---------- TTFFTTTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFTTTFTF 1111111111
0010 ---------- FTTTTFTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTTTFTFTF 1111111111
0020 ---------- FFTTTTFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTTTFTTT 1111111111
0050 ---------- TTTTTTTFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTTTTFTT 1111111111
0100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
1000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for LamportFastMutEx (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- 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 ---------- TTTFTFFTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTFTFFTFT 1111111111
3 ---------- FFTTFFFTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTFFFTFF 1111111111
4 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for MAPK (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 ---------- FTTFFTTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFTTTTT 1111111111
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
080 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
160 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
320 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for NeoElection (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- 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 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- 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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- 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 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
02 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Peterson (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- 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 ---------- TFTTTTTTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTTTTTTF 1111111111
3 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Philosophers (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- 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 ---------- TFTTTTFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTTTFTTT 1111111111
000010 ---------- TTFFTFTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFTFTFTF 1111111111
000020 ---------- FTTTTFFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTTTFFFTT 1111111111
000050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000500 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for PhilosophersDyn (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
80 ---------- 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 ---------- TTFTTFTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFTTFTTFT 1111111111
10 ---------- FT-------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- FT???????? 1100000000
20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
18 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
22 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
28 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
32 ---------- 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 ---------- FTFFTTTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFFTTTFFT 1111111111
06 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
18 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
22 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
28 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
32 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Railroad (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- FFFFTFFFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFFFTFFFTF 1111111111
010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for ResAllocation (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
R002C002 ---------- FTTTTTFTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTTTTFTFF 1111111111
R003C002 ---------- FFTTTTTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTTTTTFT 1111111111
R003C003 ---------- TTTTFFTFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTFFTFTT 1111111111
R003C005 ---------- FTTTTTFFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTTTTFFFF 1111111111
R003C010 ---------- FTFTTTFFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFTTTFFTF 1111111111
R003C015 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R005C002 ---------- FTTFFFTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFFTFFT 1111111111
R010C002 ---------- FFTTTTFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTTTFFTT 1111111111
R015C002 ---------- FTTFFFFTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFFFTFT 1111111111
R020C002 ---------- FFTFTTTTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTFTTTTFF 1111111111
R050C002 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R100C002 ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
Correctness mask for Ring (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for RwMutex (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
r0010w0010 ---------- TTFFTFTFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFTFTFFF 1111111111
r0010w0020 ---------- TTFFTFFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFTFFTTT 1111111111
r0010w0050 ---------- TTFTTFTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFTTFTFFT 1111111111
r0010w0100 ---------- TFFTTTFTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFTTTFTFF 1111111111
r0010w0500 ---------- F--------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- F????????? 1000000000
r0010w1000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w2000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0020w0010 ---------- FFTTTFTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTTFTTFT 1111111111
r0100w0010 ---------- TTTTTTFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTTTFTTT 1111111111
r0500w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r1000w0010 ---------- FFTFFTFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTFFTFFTT 1111111111
r2000w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SharedMemory (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- 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 ---------- FFTFTFFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTFTFFFTT 1111111111
000010 ---------- FTFFFTTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFFFTTFFT 1111111111
000020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SimpleLoadBal (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- 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 ---------- FTTFTTTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFTTTTTT 1111111111
05 ---------- TTFTTFTTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFTTFTTTF 1111111111
10 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for TokenRing (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
030 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- 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 ---------- FTTFFTFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFTFFTT 1111111111
010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Vasy2003 (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- 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 ---------- TTTTFTTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTFTTTTT 1111111111
03 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Dekker (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 ---------- FFTTFTTTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTFTTTTF 1111111111
015 ---------- TFTFTFTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTFTFTTTT 1111111111
020 ---------- TTTTTTTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTTTTTTT 1111111111
050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- 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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- 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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
16 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
24 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
48 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
76 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
98 ---------- 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 ---------- TFFFFTTFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFFFTTFFF 1111111111
Correctness mask for Echo (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
d02r09 ---------- FTFTTFTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFTTFTFFT 1111111111
d02r11 ---------- FTTTTTTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTTTTTTFT 1111111111
d02r15 ---------- TFFTTTTTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFTTTTTTF 1111111111
d02r19 ---------- TFTTFFTFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTFFTFFF 1111111111
d03r03 ---------- TFTTFTFFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTFTFFFT 1111111111
d03r05 ---------- FFFFTFTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFFFTFTTFT 1111111111
d03r07 ---------- TTTTFTTFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTFTTFTT 1111111111
d04r03 ---------- TFTTTTTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTTTTTTT 1111111111
d05r03 ---------- TFTFTFTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTFTFTTFT 1111111111
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for FMS (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 ---------- FFFFFFTTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFFFFFTTFF 1111111111
005 ---------- TFFFTTTTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFFTTTTFF 1111111111
010 ---------- TFTTFTTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTFTTFFT 1111111111
020 ---------- TTTFTFFTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTFTFFTTF 1111111111
050 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- TF-------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- TF???????? 1100000000
500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
09 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
11 ---------- 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 ---------- FFFFTTFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFFFTTFFTT 1111111111
Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 ---------- TTFFFFTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFFFTFFT 1111111111
005 ---------- TFTFFTTTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTFFTTTFF 1111111111
010 ---------- FTTFFTFTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFTFTTF 1111111111
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for IBMB2S565S3960 (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- TTFFTFTFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFTFTFFF 1111111111
Correctness mask for Kanban (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0005 ---------- TTFFTTTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFTTTFTF 1111111111
0010 ---------- FTTTTFTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTTTFTFTF 1111111111
0020 ---------- FFTTTTFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTTTFTTT 1111111111
0050 ---------- TTTTTTTFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTTTTTFTT 1111111111
0100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
1000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- 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 ---------- TTTFTFFTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTFTFFTFT 1111111111
3 ---------- FFTTFFFTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTFFFTFF 1111111111
4 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for MAPK (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 ---------- FTTFFTTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFTTTTT 1111111111
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
080 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
160 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
320 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for NeoElection (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- 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 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
8 ---------- 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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- 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 ---------- TFFTTFFFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFTTFFFTF 1111111111
02 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Peterson (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- 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 ---------- TFTTTTTTTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTTTTTTF 1111111111
3 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
6 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Philosophers (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- 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 ---------- TFTTTTFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFTTTTFTTT 1111111111
000010 ---------- TTTFTFTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTFTFTFTF 1111111111
000020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000500 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
80 ---------- 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 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Planning (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- TTFTFFFTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFTFFFTFT 1111111111
Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
18 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
22 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
28 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
32 ---------- 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 ---------- FTFFTTTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFFTTTFFT 1111111111
06 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
18 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
22 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
28 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
32 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Railroad (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- FFFFTFFFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFFFTFFFTF 1111111111
010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C003 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C005 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C015 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R005C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R010C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R015C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R020C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R050C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R100C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for RwMutex (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
r0010w0010 ---------- TTTFTFTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTTFTFTFTF 1111111111
r0010w0020 ---------- TTFFTFFTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFFTFFTTT 1111111111
r0010w0050 ---------- TTFTTFTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFTTFTFFT 1111111111
r0010w0100 ---------- TFFTTTFTFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TFFTTTFTFF 1111111111
r0010w0500 ---------- FTTTTFTFFF ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTTTFTFFF 1111111111
r0010w1000 ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
r0010w2000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0020w0010 ---------- FFTTFFTTFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTTFFTTFT 1111111111
r0100w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0500w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r1000w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r2000w0010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SharedMemory (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- 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 ---------- FFTFTFFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FFTFTFFFTT 1111111111
000010 ---------- FTFFFTTFFT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTFFFTTFFT 1111111111
000020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- 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 ---------- FTTFTTTTTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFTTTTTT 1111111111
05 ---------- TTFTTFTFTF ---------- ---------- ---------- ---------- ---------- ---------- ---------- TTFTTFTFTF 1111111111
10 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for TokenRing (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
030 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- 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 ---------- FTTFFTFFTT ---------- ---------- ---------- ---------- ---------- ---------- ---------- FTTFFTFFTT 1111111111
010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
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 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000