fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Correctness Mask for the ltlcardinality 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 ltlcardinality
Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
25 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
024 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
048 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
096 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
192 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
384 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
768 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
40 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
40 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N150 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N250 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N300 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D05N350 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N150 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D10N200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D20N150 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D30N150 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D40N150 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
D50N150 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
1 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
2 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
3 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
4 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
5 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for PolyORBLF (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S02J04T06 ---------- ---------- ---T----T- ---------- ---------- ---------- ---------- ---------- ---------- ???T????T? 0001000010
S02J04T08 ---------- ---------- --T------- ---------- ---------- ---------- ---------- ---------- ---------- ??T??????? 0010000000
S02J04T10 ---------- ---------- -T--T--T-- ---------- ---------- ---------- ---------- ---------- ---------- ?T??T??T?? 0100100100
S02J06T06 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S02J06T08 ---------- ---------- T---FF---- ---------- ---------- ---------- ---------- ---------- ---------- T???FF???? 1000110000
S02J06T10 ---------- ---------- -----T---- ---------- ---------- ---------- ---------- ---------- ---------- ?????T???? 0000010000
S04J04T06 ---------- ---------- -F-F-----T ---------- ---------- ---------- ---------- ---------- ---------- ?F?F?????T 0101000001
S04J04T08 ---------- ---------- T---F-F-T- ---------- ---------- ---------- ---------- ---------- ---------- T???F?F?T? 1000101010
S04J04T10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S04J06T06 ---------- ---------- --T--T---F ---------- ---------- ---------- ---------- ---------- ---------- ??T??T???F 0010010001
S04J06T08 ---------- ---------- --F-F----- ---------- ---------- ---------- ---------- ---------- ---------- ??F?F????? 0010100000
S04J06T10 ---------- ---------- T------T-- ---------- ---------- ---------- ---------- ---------- ---------- T??????T?? 1000000100
S06J04T04 ---------- ---------- ------F-F- ---------- ---------- ---------- ---------- ---------- ---------- ??????F?F? 0000001010
S06J04T06 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J04T08 ---------- ---------- ---T------ ---------- ---------- ---------- ---------- ---------- ---------- ???T?????? 0001000000
S06J06T04 ---------- ---------- -----F---- ---------- ---------- ---------- ---------- ---------- ---------- ?????F???? 0000010000
S06J06T06 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S06J06T08 ---------- ---------- ---F---F-- ---------- ---------- ---------- ---------- ---------- ---------- ???F???F?? 0001000100
Correctness mask for PolyORBLF (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S02J04T06 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 PolyORBNT (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S05J20 ---------- ---------- -F------T- ---------- ---------- ---------- ---------- ---------- ---------- ?F??????T? 0100000010
S05J30 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
S05J40 ---------- ---------- ---------F ---------- ---------- ---------- ---------- ---------- ---------- ?????????F 0000000001
S05J60 ---------- ---------- F--F------ ---------- ---------- ---------- ---------- ---------- ---------- F??F?????? 1001000000
S05J80 ---------- ---------- F--------- ---------- ---------- ---------- ---------- ---------- ---------- F????????? 1000000000
S10J20 ---------- ---------- T------TF- ---------- ---------- ---------- ---------- ---------- ---------- T??????TF? 1000000110
S10J30 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
S10J40 ---------- ---------- ----FFF--T ---------- ---------- ---------- ---------- ---------- ---------- ????FFF??T 0000111001
S10J60 ---------- ---------- --FT-F-F-- ---------- ---------- ---------- ---------- ---------- ---------- ??FT?F?F?? 0011010100
S10J80 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for PolyORBNT (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S05J20 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ProductionCell (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
EngNC7x7 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
FrnCT7x7 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
FrnNC7x7 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
SqrCT5x5 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
SqrNC5x5 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for CSRepetitions (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- F-T-F-F--- ---------- ---------- ---------- ---------- ---------- ---------- F?T?F?F??? 1010101000
03 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- ---------- ---T-F--F- ---------- ---------- ---------- ---------- ---------- ---------- ???T?F??F? 0001010010
05 ---------- ---------- F----TT-F- ---------- ---------- ---------- ---------- ---------- ---------- F????TT?F? 1000011010
07 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
10 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for CSRepetitions (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for DotAndBoxes (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
3 ---------- ---------- ------F--T ---------- ---------- ---------- ---------- ---------- ---------- ??????F??T 0000001001
4 ---------- ---------- F------T-- ---------- ---------- ---------- ---------- ---------- ---------- F??????T?? 1000000100
5 ---------- ---------- ------T-T- ---------- ---------- ---------- ---------- ---------- ---------- ??????T?T? 0000001010
Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
16 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
24 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
48 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
76 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
98 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Echo (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
d02r09 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r11 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r15 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r19 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r05 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r07 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d04r03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d05r03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for GlobalResAllocation (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
06 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
09 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
11 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for GlobalResAllocation (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for HouseConstruction (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
1000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for LamportFastMutEx (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- ------F-FF ---------- ---------- ---------- ---------- ---------- ---------- ??????F?FF 0000001011
3 ---------- ---------- -----F-F-F ---------- ---------- ---------- ---------- ---------- ---------- ?????F?F?F 0000010101
4 ---------- ---------- F--F---TF- ---------- ---------- ---------- ---------- ---------- ---------- F??F???TF? 1001000110
5 ---------- ---------- F-----FF-- ---------- ---------- ---------- ---------- ---------- ---------- F?????FF?? 1000001100
6 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- ---------- T------TTT ---------- ---------- ---------- ---------- ---------- ---------- T??????TTT 1000000111
8 ---------- ---------- -----T--T- ---------- ---------- ---------- ---------- ---------- ---------- ?????T??T? 0000010010
Correctness mask for LamportFastMutEx (P/T, 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 MAPK (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
080 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
160 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
320 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for NeoElection (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- TTT--T---- ---------- ---------- ---------- ---------- ---------- ---------- TTT??T???? 1110010000
3 ---------- ---------- ---T---T-- ---------- ---------- ---------- ---------- ---------- ---------- ???T???T?? 0001000100
4 ---------- ---------- -F-F------ ---------- ---------- ---------- ---------- ---------- ---------- ?F?F?????? 0101000000
5 ---------- ---------- ---------T ---------- ---------- ---------- ---------- ---------- ---------- ?????????T 0000000001
6 ---------- ---------- -T--T----- ---------- ---------- ---------- ---------- ---------- ---------- ?T??T????? 0100100000
7 ---------- ---------- ------FF-- ---------- ---------- ---------- ---------- ---------- ---------- ??????FF?? 0000001100
8 ---------- ---------- ------T--- ---------- ---------- ---------- ---------- ---------- ---------- ??????T??? 0000001000
Correctness mask for NeoElection (P/T, 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 PermAdmissibility (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 ---------- ---------- F-------T- ---------- ---------- ---------- ---------- ---------- ---------- F???????T? 1000000010
02 ---------- ---------- -FT-----F- ---------- ---------- ---------- ---------- ---------- ---------- ?FT?????F? 0110000010
05 ---------- ---------- -F-------- ---------- ---------- ---------- ---------- ---------- ---------- ?F???????? 0100000000
10 ---------- ---------- ---F---TT- ---------- ---------- ---------- ---------- ---------- ---------- ???F???TT? 0001000110
20 ---------- ---------- -----T-F-- ---------- ---------- ---------- ---------- ---------- ---------- ?????T?F?? 0000010100
50 ---------- ---------- ----F----T ---------- ---------- ---------- ---------- ---------- ---------- ????F????T 0000100001
Correctness mask for PermAdmissibility (P/T, 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 Peterson (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- -----F---- ---------- ---------- ---------- ---------- ---------- ---------- ?????F???? 0000010000
3 ---------- ---------- -T------F- ---------- ---------- ---------- ---------- ---------- ---------- ?T??????F? 0100000010
4 ---------- ---------- ----F----F ---------- ---------- ---------- ---------- ---------- ---------- ????F????F 0000100001
5 ---------- ---------- --F------- ---------- ---------- ---------- ---------- ---------- ---------- ??F??????? 0010000000
6 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
Correctness mask for Peterson (P/T, 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 Philosophers (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- ---------- -F-------F ---------- ---------- ---------- ---------- ---------- ---------- ?F???????F 0100000001
000010 ---------- ---------- F-F--F--F- ---------- ---------- ---------- ---------- ---------- ---------- F?F??F??F? 1010010010
000020 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- ---------- --FF-----F ---------- ---------- ---------- ---------- ---------- ---------- ??FF?????F 0011000001
000500 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- 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
Correctness mask for PhilosophersDyn (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
80 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for PhilosophersDyn (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- F-FF------ ---------- ---------- ---------- ---------- ---------- ---------- F?FF?????? 1011000000
06 ---------- ---------- --F------- ---------- ---------- ---------- ---------- ---------- ---------- ??F??????? 0010000000
10 ---------- ---------- -----F---- ---------- ---------- ---------- ---------- ---------- ---------- ?????F???? 0000010000
18 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
22 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
28 ---------- ---------- ------F--T ---------- ---------- ---------- ---------- ---------- ---------- ??????F??T 0000001001
32 ---------- ---------- -F-------- ---------- ---------- ---------- ---------- ---------- ---------- ?F???????? 0100000000
Correctness mask for QuasiCertifProtocol (P/T, 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 Railroad (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C003 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C015 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R005C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R010C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R015C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R020C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R050C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R100C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Ring (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 RwMutex (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
r0010w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w1000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w2000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0020w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0100w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0500w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r1000w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r2000w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SharedMemory (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- ---------- F-FFTF---- ---------- ---------- ---------- ---------- ---------- ---------- F?FFTF???? 1011110000
000010 ---------- ---------- --------F- ---------- ---------- ---------- ---------- ---------- ---------- ????????F? 0000000010
000020 ---------- ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
000050 ---------- ---------- ------T--- ---------- ---------- ---------- ---------- ---------- ---------- ??????T??? 0000001000
000100 ---------- ---------- -T---T---- ---------- ---------- ---------- ---------- ---------- ---------- ?T???T???? 0100010000
000200 ---------- ---------- ----FF---- ---------- ---------- ---------- ---------- ---------- ---------- ????FF???? 0000110000
000500 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
001000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SimpleLoadBal (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- -T-T------ ---------- ---------- ---------- ---------- ---------- ---------- ?T?T?????? 0101000000
05 ---------- ---------- ----F-F--- ---------- ---------- ---------- ---------- ---------- ---------- ????F?F??? 0000101000
10 ---------- ---------- F--------- ---------- ---------- ---------- ---------- ---------- ---------- F????????? 1000000000
15 ---------- ---------- F----FF-TF ---------- ---------- ---------- ---------- ---------- ---------- F????FF?TF 1000011011
20 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for TokenRing (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- ---------- -F-TT----- ---------- ---------- ---------- ---------- ---------- ---------- ?F?TT????? 0101100000
010 ---------- ---------- ---FTF---- ---------- ---------- ---------- ---------- ---------- ---------- ???FTF???? 0001110000
015 ---------- ---------- ----T----- ---------- ---------- ---------- ---------- ---------- ---------- ????T????? 0000100000
020 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
030 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- ---------- F-F----F-T ---------- ---------- ---------- ---------- ---------- ---------- F?F????F?T 1010000101
050 ---------- ---------- FFT------- ---------- ---------- ---------- ---------- ---------- ---------- FFT??????? 1110000000
100 ---------- ---------- ---T-T--T- ---------- ---------- ---------- ---------- ---------- ---------- ???T?T??T? 0001010010
200 ---------- ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
500 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- F-T-F-F--- ---------- ---------- ---------- ---------- ---------- ---------- F?T?F?F??? 1010101000
03 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- ---------- ---T-F--F- ---------- ---------- ---------- ---------- ---------- ---------- ???T?F??F? 0001010010
05 ---------- ---------- F----TT-F- ---------- ---------- ---------- ---------- ---------- ---------- F????TT?F? 1000011010
07 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
10 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
04 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
3 ---------- ---------- ------F--T ---------- ---------- ---------- ---------- ---------- ---------- ??????F??T 0000001001
4 ---------- ---------- F------T-- ---------- ---------- ---------- ---------- ---------- ---------- F??????T?? 1000000100
5 ---------- ---------- ------T-T- ---------- ---------- ---------- ---------- ---------- ---------- ??????T?T? 0000001010
Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
16 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
24 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
48 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
76 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
98 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Echo (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
d02r09 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r11 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r15 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d02r19 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r05 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d03r07 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d04r03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
d05r03 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Eratosthenes (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
06 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
07 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
09 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
11 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for Kanban (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0200 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
0500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
1000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- ------F-FF ---------- ---------- ---------- ---------- ---------- ---------- ??????F?FF 0000001011
3 ---------- ---------- -----F-F-F ---------- ---------- ---------- ---------- ---------- ---------- ?????F?F?F 0000010101
4 ---------- ---------- F--F---TF- ---------- ---------- ---------- ---------- ---------- ---------- F??F???TF? 1001000110
5 ---------- ---------- F-----FF-- ---------- ---------- ---------- ---------- ---------- ---------- F?????FF?? 1000001100
6 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- ---------- T------TTT ---------- ---------- ---------- ---------- ---------- ---------- T??????TTT 1000000111
8 ---------- ---------- -----T--T- ---------- ---------- ---------- ---------- ---------- ---------- ?????T??T? 0000010010
Correctness mask for LamportFastMutEx (P/T, 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 MAPK (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
080 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
160 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
320 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for NeoElection (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- TTT--T---- ---------- ---------- ---------- ---------- ---------- ---------- TTT??T???? 1110010000
3 ---------- ---------- ---T---T-- ---------- ---------- ---------- ---------- ---------- ---------- ???T???T?? 0001000100
4 ---------- ---------- -F-F------ ---------- ---------- ---------- ---------- ---------- ---------- ?F?F?????? 0101000000
5 ---------- ---------- ---------T ---------- ---------- ---------- ---------- ---------- ---------- ?????????T 0000000001
6 ---------- ---------- -T--T----- ---------- ---------- ---------- ---------- ---------- ---------- ?T??T????? 0100100000
7 ---------- ---------- ------FF-- ---------- ---------- ---------- ---------- ---------- ---------- ??????FF?? 0000001100
8 ---------- ---------- ------T--- ---------- ---------- ---------- ---------- ---------- ---------- ??????T??? 0000001000
Correctness mask for NeoElection (P/T, 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 PermAdmissibility (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 ---------- ---------- F-------T- ---------- ---------- ---------- ---------- ---------- ---------- F???????T? 1000000010
02 ---------- ---------- -FT-----F- ---------- ---------- ---------- ---------- ---------- ---------- ?FT?????F? 0110000010
05 ---------- ---------- -F-------- ---------- ---------- ---------- ---------- ---------- ---------- ?F???????? 0100000000
10 ---------- ---------- ---F---TT- ---------- ---------- ---------- ---------- ---------- ---------- ???F???TT? 0001000110
20 ---------- ---------- -----T-F-- ---------- ---------- ---------- ---------- ---------- ---------- ?????T?F?? 0000010100
50 ---------- ---------- ----F----T ---------- ---------- ---------- ---------- ---------- ---------- ????F????T 0000100001
Correctness mask for PermAdmissibility (P/T, 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 Peterson (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ---------- -----F---- ---------- ---------- ---------- ---------- ---------- ---------- ?????F???? 0000010000
3 ---------- ---------- -T------F- ---------- ---------- ---------- ---------- ---------- ---------- ?T??????F? 0100000010
4 ---------- ---------- ----F----F ---------- ---------- ---------- ---------- ---------- ---------- ????F????F 0000100001
5 ---------- ---------- --F------- ---------- ---------- ---------- ---------- ---------- ---------- ??F??????? 0010000000
6 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
7 ---------- ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
Correctness mask for Peterson (P/T, 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 Philosophers (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- ---------- -F-------F ---------- ---------- ---------- ---------- ---------- ---------- ?F???????F 0100000001
000010 ---------- ---------- F-F--F--F- ---------- ---------- ---------- ---------- ---------- ---------- F?F??F??F? 1010010010
000020 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000200 ---------- ---------- --FF-----F ---------- ---------- ---------- ---------- ---------- ---------- ??FF?????F 0011000001
000500 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
001000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- 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
Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
50 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
80 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- F-FF------ ---------- ---------- ---------- ---------- ---------- ---------- F?FF?????? 1011000000
06 ---------- ---------- --F------- ---------- ---------- ---------- ---------- ---------- ---------- ??F??????? 0010000000
10 ---------- ---------- -----F---- ---------- ---------- ---------- ---------- ---------- ---------- ?????F???? 0000010000
18 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
22 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
28 ---------- ---------- ------F--T ---------- ---------- ---------- ---------- ---------- ---------- ??????F??T 0000001001
32 ---------- ---------- -F-------- ---------- ---------- ---------- ---------- ---------- ---------- ?F???????? 0100000000
Correctness mask for QuasiCertifProtocol (P/T, 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 Railroad (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C003 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C005 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C015 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R003C100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R005C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R010C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R015C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R020C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R050C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
R100C002 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w0500 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w1000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0010w2000 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0020w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0100w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r0500w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r1000w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
r2000w0010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SharedMemory (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- ---------- F-FFTF---- ---------- ---------- ---------- ---------- ---------- ---------- F?FFTF???? 1011110000
000010 ---------- ---------- --------F- ---------- ---------- ---------- ---------- ---------- ---------- ????????F? 0000000010
000020 ---------- ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
000050 ---------- ---------- ------T--- ---------- ---------- ---------- ---------- ---------- ---------- ??????T??? 0000001000
000100 ---------- ---------- -T---T---- ---------- ---------- ---------- ---------- ---------- ---------- ?T???T???? 0100010000
000200 ---------- ---------- ----FF---- ---------- ---------- ---------- ---------- ---------- ---------- ????FF???? 0000110000
000500 ---------- ---------- ------F--- ---------- ---------- ---------- ---------- ---------- ---------- ??????F??? 0000001000
001000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
002000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
005000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
050000 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
100000 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000050 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
000100 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ---------- -T-T------ ---------- ---------- ---------- ---------- ---------- ---------- ?T?T?????? 0101000000
05 ---------- ---------- ----F-F--- ---------- ---------- ---------- ---------- ---------- ---------- ????F?F??? 0000101000
10 ---------- ---------- F--------- ---------- ---------- ---------- ---------- ---------- ---------- F????????? 1000000000
15 ---------- ---------- F----FF-TF ---------- ---------- ---------- ---------- ---------- ---------- F????FF?TF 1000011011
20 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
05 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
10 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
15 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
20 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
Correctness mask for TokenRing (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- ---------- -F-TT----- ---------- ---------- ---------- ---------- ---------- ---------- ?F?TT????? 0101100000
010 ---------- ---------- ---FTF---- ---------- ---------- ---------- ---------- ---------- ---------- ???FTF???? 0001110000
015 ---------- ---------- ----T----- ---------- ---------- ---------- ---------- ---------- ---------- ????T????? 0000100000
020 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
030 ---------- ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
040 ---------- ---------- F-F----F-T ---------- ---------- ---------- ---------- ---------- ---------- F?F????F?T 1010000101
050 ---------- ---------- FFT------- ---------- ---------- ---------- ---------- ---------- ---------- FFT??????? 1110000000
100 ---------- ---------- ---T-T--T- ---------- ---------- ---------- ---------- ---------- ---------- ???T?T??T? 0001010010
200 ---------- ---------- T--------- ---------- ---------- ---------- ---------- ---------- ---------- T????????? 1000000000
500 ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
010 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
015 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000
020 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 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 ---------- ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ?????????? 0000000000