fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Correctness Mask for the ReachabilityComputeBounds 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 reachabilitycomputebounds
Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for Angiogenesis (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T F T T T T T T TTTFTTTTTT 1111111111
05 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
15 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
25 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
50 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for CircadianClock (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000001 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
000010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T BIG problem!!! BIG problem!!! T BIG problem!!! T BIG problem!!! T T T TBIG problem!!!BIG problem!!!TBIG problem!!!TBIG problem!!!TTT 1111111111
000100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
001000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
010000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
100000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
Correctness mask for CircularTrains (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
012 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! T T BIG problem!!! BIG problem!!! T T BIG problem!!! T BIG problem!!!BIG problem!!!TTBIG problem!!!BIG problem!!!TTBIG problem!!!T 1111111111
024 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T BIG problem!!! T T BIG problem!!! T T BIG problem!!! T TTBIG problem!!!TTBIG problem!!!TTBIG problem!!!T 1111111111
048 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
096 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
192 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
384 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
768 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
40 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
04 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
40 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Diffusion2D (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
D05N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D05N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D05N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D05N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D05N200 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D05N250 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D05N300 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
D05N350 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
D10N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D10N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D10N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D10N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
D10N200 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
D20N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D20N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D20N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D20N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D30N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D30N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D30N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D30N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D40N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D40N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D40N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D40N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D50N010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D50N050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D50N100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
D50N150 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for ERK (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000001 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
000010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
000100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
001000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
010000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
100000 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for EnergyBus (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for MultiwaySync (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for ParamProductionCell (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
1 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T F T T T T T T T TTFTTTTTTT 1111111111
2 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
3 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
4 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for PolyORBLF (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S02J04T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S02J04T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S02J04T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S02J06T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S02J06T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S02J06T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S04J04T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S04J04T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S04J04T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S04J06T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S04J06T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S04J06T10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S06J04T04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S06J04T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S06J04T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S06J06T04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S06J06T06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S06J06T08 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for PolyORBLF (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S02J04T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S02J04T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S02J04T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S02J06T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S02J06T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S02J06T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S04J04T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S04J04T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S04J04T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S04J06T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S04J06T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S04J06T10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S06J04T04 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S06J04T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S06J04T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S06J06T04 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S06J06T06 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S06J06T08 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for PolyORBNT (Colored, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S05J20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S05J30 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S05J40 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S05J60 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S05J80 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S10J20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S10J30 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S10J40 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S10J60 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
S10J80 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for PolyORBNT (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
S05J20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
S05J30 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S05J40 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
S05J60 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
S05J80 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
S10J20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
S10J30 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
S10J40 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
S10J60 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
S10J80 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for ProductionCell (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for Solitaire (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
EngCT7x7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
EngNC7x7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
FrnCT7x7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
FrnNC7x7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
SqrCT5x5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
SqrNC5x5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for UtahNoC (P/T, Surprise model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for CSRepetitions (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for CSRepetitions (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- - BIG problem!!! - - - - - - - - BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1211111111
03 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- - BIG problem!!! - - - BIG problem!!! - - - BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1211121112
04 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
05 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
07 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Dekker (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
015 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
020 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
050 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for DotAndBoxes (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
16 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
24 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
48 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
76 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
98 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for DrinkVendingMachine (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 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 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d02r11 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d02r15 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d02r19 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d03r03 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d03r05 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d03r07 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d04r03 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
d05r03 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 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 ---------- ? ? ? ? ? T ? T ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? T ? T ? ? ?????T?T?? 0000020200
020 ---------- T T ? ? ? T ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- T T ? ? ? T ? ? ? ? TT???T???? 2200020000
050 ---------- F T T F F T T F T F ---------- ---------- ---------- ---------- ---------- ---------- DNF FTTFFTTFTF 1111111111
100 ---------- F T F T F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FTFTFFFFFF 1111111111
200 ---------- F T F F T F F T F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FTFFTFFTFF 1111111111
500 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 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 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
005 ---------- T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! TBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
010 ---------- BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!!TBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TBIG problem!!!BIG problem!!! 2222222222
020 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
050 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
100 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
200 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
500 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
Correctness mask for GlobalResAllocation (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
09 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
11 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for GlobalResAllocation (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 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 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
005 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
010 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
020 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
050 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! - BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222212
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- - - BIG problem!!! BIG problem!!! - - - - - - ??BIG problem!!!BIG problem!!!?????? 0011000000
200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- - BIG problem!!! - - - - BIG problem!!! - - - ?BIG problem!!!????BIG problem!!!??? 0100001000
500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- - - - BIG problem!!! - - - - - - ???BIG problem!!!?????? 0001000000
Correctness mask for IBMB2S565S3960 (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for Kanban (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0005 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
0010 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
0020 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
0050 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
0100 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
0200 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
0500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
1000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
Correctness mask for LamportFastMutEx (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
8 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for LamportFastMutEx (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
3 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
4 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
5 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
6 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
8 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for MAPK (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
040 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
080 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
160 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
320 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for NeoElection (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
8 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for NeoElection (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
3 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
4 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
6 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
8 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for PermAdmissibility (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
50 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for PermAdmissibility (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 ---------- BIG problem!!! T BIG problem!!! T T BIG problem!!! T T BIG problem!!! T ---------- ---------- ---------- ---------- ---------- ---------- - T - T T - T T - - BIG problem!!!TBIG problem!!!TTBIG problem!!!TTBIG problem!!!T 1212212211
02 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
05 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
10 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
50 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
Correctness mask for Peterson (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for Peterson (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
3 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
4 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
5 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
6 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
7 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Philosophers (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
100000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for Philosophers (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000010 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000020 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000050 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000100 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000200 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000500 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
001000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
002000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for PhilosophersDyn (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
50 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
80 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for PhilosophersDyn (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
10 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
20 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Planning (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
18 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
22 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
28 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
32 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for QuasiCertifProtocol (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T T BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- T - - - - - - T T - TBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TTBIG problem!!! 2111111221
06 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
10 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
18 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
22 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
28 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
32 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Railroad (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- T F T T F T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T F T T F T T T T T TFTTFTTTTT 2222222222
010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T F T T T F T TTTTFTTTFT 1111111111
020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 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 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R003C002 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R003C003 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R003C005 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R003C010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R003C015 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
R003C020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R003C050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R003C100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R005C002 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R010C002 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R015C002 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
R020C002 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
R050C002 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
R100C002 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
Correctness mask for Ring (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
Correctness mask for RwMutex (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
r0010w0010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0020 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0050 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0100 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0500 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w1000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
r0010w2000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
r0020w0010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0100w0010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0500w0010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r1000w0010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r2000w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for SharedMemory (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
020000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
100000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for SharedMemory (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! T ---------- ---------- ---------- ---------- ---------- ---------- - - - - - - - - - T BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TBIG problem!!!T 1111111112
000010 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
000050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
000100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for SimpleLoadBal (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
15 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for SimpleLoadBal (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- BIG problem!!! T BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- - T - - T - - T - - BIG problem!!!TBIG problem!!!BIG problem!!!TBIG problem!!!BIG problem!!!TBIG problem!!!BIG problem!!! 1211211211
05 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T T BIG problem!!! BIG problem!!! T BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- - - - - T - - - T - BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TTBIG problem!!!BIG problem!!!TBIG problem!!! 1111211121
10 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
15 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
20 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for TokenRing (Colored, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
015 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
030 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
040 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for TokenRing (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
015 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Vasy2003 (P/T, Known model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
04 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for CSRepetitions (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- - BIG problem!!! - - - - - - - - BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1211111111
03 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- - BIG problem!!! - - - BIG problem!!! - - - BIG problem!!! ?BIG problem!!!???BIG problem!!!???BIG problem!!! 0100010001
04 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
05 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
07 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Dekker (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
015 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
020 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- DNF TTTTTTTTTT 1111111111
050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
200 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
16 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
24 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
48 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
76 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
98 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for DrinkVendingMachine (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 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 ---------- F F T F F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFTFFFFFFF 1111111111
d02r11 ---------- F F F F T F F F F T ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFTFFFFT 1111111111
d02r15 ---------- F F F F T F F F F T ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFTFFFFT 1111111111
d02r19 ---------- F F F F F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFFFFFFF 1111111111
d03r03 ---------- F F F F F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFFFFFFF 1111111111
d03r05 ---------- F F F F F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFFFFFFF 1111111111
d03r07 ---------- F F F F F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFFFFFFF 1111111111
d04r03 ---------- F F F F F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFFFFFFF 1111111111
d05r03 ---------- F F F F F T F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFFTFFFF 1111111111
Correctness mask for Eratosthenes (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
200 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
500 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 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 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
005 ---------- T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! TBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
010 ---------- BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!!TBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TBIG problem!!!BIG problem!!! 2222222222
020 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
050 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
100 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
200 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
07 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
09 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
11 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for GlobalResAllocation (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 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 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
005 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
010 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
020 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
050 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! - BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222212
100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- - - BIG problem!!! BIG problem!!! - - - - - - ??BIG problem!!!BIG problem!!!?????? 0011000000
200 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- - BIG problem!!! - - - - BIG problem!!! - - - ?BIG problem!!!????BIG problem!!!??? 0100001000
500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- - - - BIG problem!!! - - - - - - ???BIG problem!!!?????? 0001000000
Correctness mask for IBMB2S565S3960 (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- F F F F F F F F F F ---------- ---------- ---------- ---------- ---------- ---------- DNF FFFFFFFFFF 1111111111
Correctness mask for Kanban (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
0005 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
0010 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
0020 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
0050 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
0100 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
0200 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- MOVF BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 1111111111
0500 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
1000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
8 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for LamportFastMutEx (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
3 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
4 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
6 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
8 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for MAPK (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
008 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!! 2222222222
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
040 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
080 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
160 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
320 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for NeoElection (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
8 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for NeoElection (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
3 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
4 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
6 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
8 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for PermAdmissibility (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
50 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for PermAdmissibility (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
01 ---------- BIG problem!!! T BIG problem!!! T T BIG problem!!! T T BIG problem!!! T ---------- ---------- ---------- ---------- ---------- ---------- - T - T T - T T - - BIG problem!!!TBIG problem!!!TTBIG problem!!!TTBIG problem!!!T 1212212211
02 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
05 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
10 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
50 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- MOVF ?????????? 0000000000
Correctness mask for Peterson (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
3 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
4 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
5 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
6 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
7 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for Peterson (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
2 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
3 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
4 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
5 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
6 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
7 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Philosophers (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
100000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for Philosophers (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000010 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000020 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000050 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
000100 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
000200 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
000500 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
001000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
002000 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
50 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
80 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for PhilosophersDyn (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
03 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
10 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Planning (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
06 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
18 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
22 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
28 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
32 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for QuasiCertifProtocol (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- T T BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T T BIG problem!!! ---------- ---------- ---------- ---------- ---------- ---------- T - - - - - - T T - TTBIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TTBIG problem!!! 2111111221
06 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
10 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
18 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
22 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
28 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
32 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Railroad (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- T F T T F T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T F T T F T T T T T TFTTFTTTTT 2222222222
010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T F T T T F T TTTTFTTTFT 1111111111
020 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
050 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
100 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for ResAllocation (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
R002C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R003C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R003C003 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R003C005 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R003C010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R003C015 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R003C020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R003C050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R003C100 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R005C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R010C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R015C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
R020C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R050C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
R100C002 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for Ring (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for RwMutex (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
r0010w0010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0020 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0050 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0100 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w0500 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w1000 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0010w2000 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
r0020w0010 ---------- T T T T T T T T T T ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 2222222222
r0100w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
r0500w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
r1000w0010 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- T T T T T T T T T T TTTTTTTTTT 1111111111
r2000w0010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000
Correctness mask for SharedMemory (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
000500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
001000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
002000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
005000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
010000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
020000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
050000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
100000 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for SharedMemory (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
000005 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T ---------- ---------- ---------- ---------- ---------- ---------- - - - - - - - - - T BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!T 1111111112
000010 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
000020 ---------- MOVF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
000050 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
000100 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
05 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
10 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
15 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
20 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for SimpleLoadBal (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
02 ---------- BIG problem!!! T BIG problem!!! T T BIG problem!!! BIG problem!!! T T T ---------- ---------- ---------- ---------- ---------- ---------- - T - - T - - T - - BIG problem!!!TBIG problem!!!TTBIG problem!!!BIG problem!!!TTT 1211211211
05 ---------- BIG problem!!! BIG problem!!! BIG problem!!! BIG problem!!! T BIG problem!!! BIG problem!!! BIG problem!!! T T ---------- ---------- ---------- ---------- ---------- ---------- - - - - T - - - T - BIG problem!!!BIG problem!!!BIG problem!!!BIG problem!!!TBIG problem!!!BIG problem!!!BIG problem!!!TT 1111211121
10 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
15 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
20 ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for TokenRing (Colored, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
010 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
015 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
020 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
030 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
040 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
050 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
100 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
200 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
500 ---------- DNC ---------- ---------- ---------- ---------- ---------- ---------- DNC ?????????? 0000000000
Correctness mask for TokenRing (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
005 ---------- ? ? ? ? ? ? ? ? ? ? ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 0000000000
010 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
015 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
020 ---------- CC ---------- ---------- ---------- ---------- ---------- ---------- ? ? ? ? ? ? ? ? ? ? ?????????? 1111111111
Correctness mask for Vasy2003 (P/T, Scrambled model) - result - score
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal Computed solution Majority vector
none ---------- DNF ---------- ---------- ---------- ---------- ---------- ---------- DNF ?????????? 0000000000