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:
- green means that all points are counted there,
- orange means that only a part (this may means 0) of the points are scored here because:
- there are missing some results (not computed) or,
- no majority for the corresponding line could be computed, thus leaving the status of correctness undecided
- red means that no score was given because the status was considered to be false.
The results
They are displayed in the table below.
Summary of Correctness masks for statespace | |||||||||||
Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | X-?T | DNC | ---- | TT?T | T--- | DNF | DNF | DNF | 3.20568E+0008 2.23396E+0010 ? 1 | 2102 |
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 | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 110 288 8 1 | 5133 |
05 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 4.27349E+0007 4.86874E+0008 40 5 | 3122 |
10 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | CC | 8.22646E+0011 1.56359E+0013 80 10 | 3122 |
15 | ---- | CC | DNC | ---- | TTTT | DNF | DNF | DNF | CC | 1.11554E+0015 2.74737E+0016 120 15 | 1111 |
20 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
25 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
50 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | CC | ? ? ? ? | 0000 |
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 | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 128 624 7 1 | 5133 |
000010 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 644204 6.76632E+0006 52 10 | 5133 |
000100 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | CC | 4.20404E+0010 4.97433E+0011 502 100 | 3122 |
001000 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | CC | 4.02004E+0015 4.81722E+0016 5002 1000 | 2122 |
010000 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
100000 | ---- | CC | DNC | ---- | DNF | DNF | DNF | MOVF | CC | ? ? ? ? | 0000 |
Correctness mask for CircularTrains (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
012 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 195 496 12 2 | 6144 |
024 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 86515 411680 24 2 | 6144 |
048 | ---- | X-TX | DNC | ---- | TTTT | T-TT | T--- | DNF | CC | 2.39735E+0010 2.21244E+0011 48 2 | 3132 |
096 | ---- | X-?? | DNC | ---- | TT?? | DNF | T--- | DNF | MOVF | 2.59130E+0021 4.71208E+0022 ? ? | 2100 |
192 | ---- | DNF | DNC | ---- | TTTT | DNF | CC | DNF | MOVF | 4.27023E+0043 1.54164E+0045 192 2 | 1111 |
384 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
768 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
04 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
20 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
40 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 153 312 6 1 | 6134 |
04 | ---- | DNF | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 4.71789E+0009 3.96972E+0010 20 1 | 3122 |
10 | ---- | CC | DNC | ---- | CC | DNF | DNF | MOVF | DNF | ? ? ? ? | 0000 |
20 | ---- | CC | DNC | ---- | DNF | DNF | CC | MOVF | MOVF | ? ? ? ? | 0000 |
40 | ---- | DNF | DNC | ---- | DNF | CC | DNF | DNF | MOVF | ? ? ? ? | 0000 |
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 | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 1.31128E+0008 5.55366E+0009 10 10 | 4122 |
D05N050 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 1.75295E+0019 1.70557E+0021 50 50 | 2122 |
D05N100 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 2.60110E+0025 3.02063E+0027 100 100 | 2122 |
D05N150 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 1.81260E+0029 2.25013E+0031 150 150 | 2122 |
D05N200 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 1.14386E+0032 1.47068E+0034 200 200 | 2122 |
D05N250 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 1.83135E+0034 2.40615E+0036 250 250 | 2122 |
D05N300 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 1.20542E+0036 1.60722E+0038 300 300 | 2122 |
D05N350 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 4.25388E+0037 ? 350 350 | 1011 |
D10N010 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 4.26342E+0013 2.67539E+0015 10 10 | 3122 |
D10N050 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 1.34191E+0040 3.08009E+0042 50 50 | 2122 |
D10N100 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 4.52743E+0058 1.55616E+0061 100 100 | 2122 |
D10N150 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 2.42521E+0071 ? 150 150 | 1011 |
D10N200 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 1.38608E+0081 ? 200 200 | 1011 |
D20N010 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 3.23082E+0019 2.34136E+0021 10 10 | 3122 |
D20N050 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | DNF | 7.91133E+0066 2.61127E+0069 50 50 | 2122 |
D20N100 | ---- | CC | DNC | ---- | DNF | T-TT | CC | DNF | DNF | 1.63336E+0107 ? 100 100 | 1011 |
D20N150 | ---- | CC | DNC | ---- | DNF | T-TT | CC | DNF | DNF | 2.54238E+0138 ? 150 150 | 1011 |
D30N010 | ---- | CC | DNC | ---- | TTTT | T-TT | CC | MOVF | DNF | 1.00995E+0023 7.60408E+0024 10 10 | 2122 |
D30N050 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 6.45097E+0083 ? 50 50 | 1011 |
D30N100 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 5.74655E+0139 ? 100 100 | 1011 |
D30N150 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
D40N010 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 3.11621E+0025 ? 10 10 | 1011 |
D40N050 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 1.12734E+0096 ? 50 50 | 1011 |
D40N100 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
D40N150 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
D50N010 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 2.67574E+0027 ? 10 10 | 1011 |
D50N050 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
D50N100 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
D50N150 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
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 | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 13 30 5 1 | 5133 |
000010 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 47047 372372 50 10 | 5133 |
000100 | ---- | CC | DNC | ---- | TTTT | T-TT | DNF | DNF | CC | 1.59141E+0010 1.68445E+0011 500 100 | 2122 |
001000 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
010000 | ---- | CC | DNC | ---- | DNF | CC | DNF | DNF | CC | ? ? ? ? | 0000 |
100000 | ---- | CC | DNC | ---- | DNF | CC | DNF | MOVF | CC | ? ? ? ? | 0000 |
Correctness mask for EnergyBus (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | X-?T | DNC | ---- | TT?T | T--- | DNF | DNF | DNF | 2.13184E+0012 4.08587E+0013 ? 1 | 2102 |
Correctness mask for MultiwaySync (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | X-?T | DNC | ---- | TT?T | T--- | T--- | DNF | DNF | 5.25960E+0019 2.18920E+0021 ? 1 | 3102 |
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 | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 2.77694E+0006 1.31521E+0007 32 1 | 3122 |
1 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 25632 96722 36 1 | 4133 |
2 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 349874 1.38074E+0006 36 1 | 4133 |
3 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 1.46521E+0006 5.92265E+0006 36 1 | 4133 |
4 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 2.40974E+0006 9.82766E+0006 36 1 | 3122 |
5 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 1.65724E+0006 6.74638E+0006 36 1 | 4133 |
Correctness mask for PolyORBLF (Colored, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S02J04T06 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 104388 193716 ? ? | 1100 |
S02J04T08 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 104388 193716 ? ? | 1100 |
S02J04T10 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 104388 193716 ? ? | 1100 |
S02J06T06 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 201348 376596 ? ? | 1100 |
S02J06T08 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 201348 376596 ? ? | 1100 |
S02J06T10 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 201348 376596 ? ? | 1100 |
S04J04T06 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 5.89912E+0007 1.77957E+0008 ? ? | 1100 |
S04J04T08 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 5.89912E+0007 1.77957E+0008 ? ? | 1100 |
S04J04T10 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 5.89912E+0007 1.77957E+0008 ? ? | 1100 |
S04J06T06 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S04J06T08 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S04J06T10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S06J04T04 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S06J04T06 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S06J04T08 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S06J06T04 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S06J06T06 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S06J06T08 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for PolyORBLF (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S02J04T06 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | MOVF | 1 ? 57 10 | 1011 |
S02J04T08 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | MOVF | 1 ? 61 10 | 1011 |
S02J04T10 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | MOVF | 1 ? 65 10 | 1011 |
S02J06T06 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | MOVF | 1 ? 59 10 | 1011 |
S02J06T08 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | MOVF | 1 ? 54 10 | 1011 |
S02J06T10 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | MOVF | 1 ? 67 10 | 1011 |
S04J04T06 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | MOVF | 1 ? 61 10 | 1011 |
S04J04T08 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 65 10 | 1011 |
S04J04T10 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 69 10 | 1011 |
S04J06T06 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 63 10 | 1011 |
S04J06T08 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 67 10 | 1011 |
S04J06T10 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | DNF | 1 ? 71 10 | 1011 |
S06J04T04 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | DNF | 1 ? 61 10 | 1011 |
S06J04T06 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 65 10 | 1011 |
S06J04T08 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 69 10 | 1011 |
S06J06T04 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | DNF | 1 ? 54 10 | 1011 |
S06J06T06 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 67 10 | 1011 |
S06J06T08 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 71 10 | 1011 |
Correctness mask for PolyORBNT (Colored, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S05J20 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S05J30 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S05J40 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S05J60 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S05J80 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S10J20 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S10J30 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S10J40 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S10J60 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
S10J80 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for PolyORBNT (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
S05J20 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | DNF | 1 ? 57 10 | 1011 |
S05J30 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 67 10 | 1011 |
S05J40 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 68 10 | 1011 |
S05J60 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 97 10 | 1011 |
S05J80 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | MOVF | 1 ? 117 10 | 1011 |
S10J20 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 67 10 | 1011 |
S10J30 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 68 10 | 1011 |
S10J40 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | 1 ? 87 10 | 1011 |
S10J60 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | 1 ? 107 10 | 1011 |
S10J80 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | 1 ? 127 10 | 1011 |
Correctness mask for ProductionCell (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | T-TT | DNC | ---- | TTTT | T--- | T--- | DNF | DNF | 1.13293E+0013 1.53384E+0014 35 1 | 4122 |
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 | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
EngNC7x7 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
FrnCT7x7 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
FrnNC7x7 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
SqrCT5x5 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
SqrNC5x5 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 1.60984E+0007 2.13958E+0008 25 1 | 3122 |
Correctness mask for UtahNoC (P/T, Surprise model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | T-TT | DNC | ---- | TTTT | T--- | T--- | MOVF | DNF | 4.75992E+0009 7.72480E+0010 8 1 | 4122 |
Correctness mask for CSRepetitions (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T--- | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 7424 37088 ? ? | 2100 |
03 | ---- | T--- | CC | ---- | DNC | DNC | DNC | DNC | DNC | 1.34075E+0008 ? ? ? | 1000 |
04 | ---- | T--- | CC | ---- | DNC | DNC | DNC | DNC | DNC | 3.09482E+0013 ? ? ? | 1000 |
05 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
07 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for CSRepetitions (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 7424 37088 8 2 | 6144 |
03 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 1.34075E+0008 1.29390E+0009 15 3 | 5133 |
04 | ---- | MOVF | DNC | ---- | DNF | T-TT | CC | DNF | DNF | 3.09482E+0013 ? 24 4 | 1011 |
05 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
07 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
10 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
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-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6144 171530 20 1 | 6144 |
015 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 278528 1.68346E+0007 30 1 | 6144 |
020 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 1.15343E+0007 1.21635E+0009 40 1 | 4133 |
050 | ---- | DNF | DNC | ---- | DNF | T-TT | CC | DNF | DNF | 2.92734E+0016 ? 100 1 | 1011 |
100 | ---- | MOVF | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 6.46502E+0031 ? 200 1 | 1011 |
200 | ---- | MOVF | DNC | ---- | DNF | T-TT | DNF | DNF | DNF | 1.62301E+0062 ? 400 1 | 1011 |
Correctness mask for DotAndBoxes (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 11 14 ? ? | 1100 |
3 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 383 559 ? ? | 1100 |
4 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 220819 340193 ? ? | 1100 |
5 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T--- | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 1024 7680 ? ? | 2100 |
10 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
16 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
24 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
48 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
76 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
98 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for DrinkVendingMachine (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1024 7680 12 1 | 6144 |
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 | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
d02r11 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
d02r15 | ---- | MOVF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
d02r19 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | MOVF | DNF | ? ? ? ? | 0000 |
d03r03 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
d03r05 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | MOVF | DNF | ? ? ? ? | 0000 |
d03r07 | ---- | MOVF | DNC | ---- | DNF | DNF | DNF | MOVF | MOVF | ? ? ? ? | 0000 |
d04r03 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
d05r03 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | MOVF | MOVF | ? ? ? ? | 0000 |
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-XT | DNC | ---- | TTTT | T-XT | T--- | T--- | T-TT | 32 120 9 1 | 6124 |
020 | ---- | T-XT | DNC | ---- | TTTT | T-XT | T--- | T--- | T-TT | 2048 23040 19 1 | 6124 |
050 | ---- | T-?T | DNC | ---- | TT?T | T-?T | T--- | T--- | DNF | 1.71799E+0010 7.30144E+0011 ? 1 | 5103 |
100 | ---- | T-?T | DNC | ---- | TT?T | T-?T | T--- | T--- | DNF | 1.88895E+0022 2.02590E+0024 ? 1 | 5103 |
200 | ---- | T-?T | DNC | ---- | TT?T | T-?T | T--- | T--- | DNF | 1.14180E+0046 2.91729E+0048 ? 1 | 5103 |
500 | ---- | CC | DNC | ---- | TT?T | T-?T | T--- | DNF | DNF | 4.13160E+0121 3.20612E+0124 ? 1 | 3102 |
Correctness mask for FMS (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 3444 16311 12 3 | 6134 |
005 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 2.89502E+0006 2.35272E+0007 21 5 | 6134 |
010 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | MOVF | 2.50141E+0009 2.75678E+0010 36 10 | 5123 |
020 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | MOVF | 6.02917E+0012 8.14415E+0013 66 20 | 5123 |
050 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | DNF | MOVF | 4.24026E+0017 6.61354E+0018 156 50 | 4123 |
100 | ---- | T-?T | DNC | ---- | DNF | T-?T | DNF | DNF | MOVF | 2.70306E+0021 ? ? 100 | 2002 |
200 | ---- | T-?T | DNC | ---- | DNF | T-?T | DNF | DNF | MOVF | 1.95364E+0025 ? ? 200 | 2002 |
500 | ---- | T-?T | DNC | ---- | DNF | T-?T | DNF | DNF | MOVF | 2.70057E+0030 ? ? 500 | 2002 |
Correctness mask for GlobalResAllocation (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | T--- | CC | ---- | DNC | DNC | DNC | DNC | DNC | 6320 ? ? ? | 1000 |
05 | ---- | T--- | CC | ---- | DNC | DNC | DNC | DNC | DNC | 1.06604E+0008 ? ? ? | 1000 |
06 | ---- | T--- | CC | ---- | DNC | DNC | DNC | DNC | DNC | 2.57249E+0010 ? ? ? | 1000 |
07 | ---- | T--- | CC | ---- | DNC | DNC | DNC | DNC | DNC | 8.56976E+0012 ? ? ? | 1000 |
09 | ---- | T--- | CC | ---- | DNC | DNC | DNC | DNC | DNC | 2.11853E+0018 ? ? ? | 1000 |
10 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
11 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for GlobalResAllocation (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6320 116178 18 4 | 6144 |
Correctness mask for HouseConstruction (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1501 4780 12 2 | 6144 |
005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1.18798E+0006 7.19111E+0006 30 5 | 6144 |
010 | ---- | T-TT | DNC | ---- | TTTT | T-TT | DNF | DNF | CC | 1.66357E+0009 1.48075E+0010 60 10 | 3133 |
020 | ---- | T-TT | DNC | ---- | TTTT | T-TT | CC | DNF | CC | 1.36659E+0013 1.61442E+0014 120 20 | 3133 |
050 | ---- | T-TT | DNC | ---- | CC | DNF | DNF | DNF | CC | 1.56823E+0019 ? 300 50 | 1011 |
100 | ---- | MOVF | DNC | ---- | CC | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
200 | ---- | MOVF | DNC | ---- | CC | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
500 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
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 | DNC | ---- | TTTT | DNF | CC | DNF | DNF | 1.55106E+0016 2.01128E+0017 60 7 | 1111 |
Correctness mask for Kanban (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
0005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 2.54643E+0006 2.44600E+0007 20 5 | 6144 |
0010 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | CC | 1.00593E+0009 1.20322E+0010 40 10 | 5133 |
0020 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | CC | 8.05422E+0011 1.10119E+0013 80 20 | 5133 |
0050 | ---- | T-TT | DNC | ---- | TTTT | T-TT | DNF | T--- | CC | 1.04259E+0016 1.56123E+0017 200 50 | 4133 |
0100 | ---- | T-TT | DNC | ---- | TTTT | T-TT | DNF | DNF | CC | 1.72630E+0019 2.67046E+0020 400 100 | 3133 |
0200 | ---- | T-TT | DNC | ---- | DNF | T-TT | DNF | DNF | CC | 3.17317E+0022 ? 800 200 | 2022 |
0500 | ---- | DNF | DNC | ---- | DNF | T-TT | DNF | DNF | CC | 7.08602E+0026 ? 2000 500 | 1011 |
1000 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
Correctness mask for LamportFastMutEx (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | T--- | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 380 716 ? ? | 2100 |
3 | ---- | T--- | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 19742 58272 ? ? | 2100 |
4 | ---- | T--- | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 1.91478E+0006 9.04605E+0006 ? ? | 2100 |
5 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
6 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
7 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
8 | ---- | DNF | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for LamportFastMutEx (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 380 716 8 1 | 6144 |
3 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 19742 58272 14 1 | 6144 |
4 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 1.91478E+0006 9.04605E+0006 22 1 | 4133 |
5 | ---- | DNF | DNC | ---- | DNF | T-TT | T--- | DNF | DNF | 5.30682E+0008 ? 32 1 | 2011 |
6 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
7 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
8 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for MAPK (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
008 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6.11064E+0006 7.89489E+0007 36 8 | 6134 |
020 | ---- | DNF | DNC | ---- | TTTT | T-TT | T--- | DNF | MOVF | 8.81258E+0010 1.68902E+0012 90 20 | 3122 |
040 | ---- | DNF | DNC | ---- | TTTT | T-TT | T--- | DNF | MOVF | 4.78293E+0014 1.10986E+0016 180 40 | 3122 |
080 | ---- | DNF | DNC | ---- | TTTT | T-TT | DNF | DNF | MOVF | 5.63490E+0018 1.47037E+0020 360 80 | 2122 |
160 | ---- | DNF | DNC | ---- | DNF | T-TT | DNF | DNF | MOVF | 1.06396E+0023 ? 720 160 | 1011 |
320 | ---- | DNF | DNC | ---- | CC | T-TT | DNF | DNF | MOVF | 2.61626E+0027 ? 1440 320 | 1011 |
Correctness mask for NeoElection (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 241 448 ? ? | 1100 |
3 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 974325 3.59911E+0006 ? ? | 1100 |
4 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
5 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
6 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
7 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
8 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for NeoElection (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 241 448 14 1 | 6144 |
3 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 974325 3.59911E+0006 30 1 | 4123 |
4 | ---- | MOVF | DNC | ---- | DNF | T-TT | T--- | MOVF | DNF | 2.91912E+0011 ? 52 1 | 2011 |
5 | ---- | MOVF | DNC | ---- | DNF | DNF | T--- | DNF | DNF | 6.35695E+0018 ? ? ? | 1000 |
6 | ---- | MOVF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
7 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
8 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for PermAdmissibility (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 52537 54600 ? ? | 1100 |
02 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
05 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
20 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
50 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for PermAdmissibility (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 52537 54600 9 1 | 5144 |
02 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
05 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
10 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
20 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
50 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for Peterson (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 20754 62262 ? ? | 1100 |
3 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 3.40795E+0006 1.36318E+0007 ? ? | 1100 |
4 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
5 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
6 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
7 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for Peterson (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 20754 62262 8 1 | 6144 |
3 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 3.40795E+0006 1.36318E+0007 11 1 | 4133 |
4 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
5 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
6 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
7 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for Philosophers (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 243 945 ? ? | 1100 |
000010 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 59049 459270 ? ? | 1100 |
000020 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000050 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000100 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000200 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000500 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
001000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
002000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
005000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
010000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
050000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
100000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for Philosophers (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 243 945 10 1 | 6134 |
000010 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 59049 459270 20 1 | 6134 |
000020 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 3.48678E+0009 5.42389E+0010 40 1 | 5123 |
000050 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 7.17898E+0023 2.79183E+0025 100 1 | 5123 |
000100 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 5.15378E+0047 4.00849E+0049 200 1 | 5123 |
000200 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 2.65614E+0095 4.13177E+0097 400 1 | 4123 |
000500 | ---- | T-XT | DNC | ---- | TTTT | T-TT | CC | T--- | DNF | 3.63603E+0238 1.41401E+0241 1000 1 | 4123 |
001000 | ---- | MOVF | DNC | ---- | TTTT | T-TT | CC | T--- | MOVF | 1.32207E+0477 1.02828E+0480 2000 1 | 3122 |
002000 | ---- | DNF | DNC | ---- | DNF | T-TT | DNF | T--- | MOVF | 1.74787E+0954 ? 4000 1 | 2011 |
Correctness mask for PhilosophersDyn (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
20 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
50 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
80 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for PhilosophersDyn (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 325 768 11 1 | 6144 |
10 | ---- | T-TT | DNC | ---- | DNF | T-TT | T--- | DNF | T-TT | 199051 ? 20 1 | 4033 |
20 | ---- | CC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for Planning (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | DNC | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 4158 14748 ? ? | 1100 |
06 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
18 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
22 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
28 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
32 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
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-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1029 3084 20 1 | 6144 |
06 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 2.27196E+0006 1.60080E+0007 74 3 | 5144 |
10 | ---- | MOVF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
18 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
22 | ---- | MOVF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
28 | ---- | MOVF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
32 | ---- | MOVF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
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-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1838 7699 16 1 | 6144 |
010 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 2.03817E+0006 1.63246E+0007 26 1 | 4122 |
020 | ---- | MOVF | DNC | ---- | DNF | T-TT | T--- | DNF | DNF | 2.19554E+0012 ? 46 1 | 2011 |
050 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
100 | ---- | MOVF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
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-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 8 12 4 1 | 6134 |
R003C002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 20 34 6 1 | 6134 |
R003C003 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 92 257 9 1 | 6134 |
R003C005 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1200 4960 15 1 | 6134 |
R003C010 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 823552 6.28672E+0006 30 1 | 6134 |
R003C015 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 5.78878E+0008 6.48569E+0009 45 1 | 5123 |
R003C020 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 4.06455E+0011 6.00286E+0012 60 1 | 3122 |
R003C050 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 4.87175E+0028 1.76164E+0030 150 1 | 3122 |
R003C100 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 1.41951E+0057 1.01939E+0059 300 1 | 3122 |
R005C002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 112 240 10 1 | 6134 |
R010C002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6144 20480 20 1 | 6134 |
R015C002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 278528 1.26976E+0006 30 1 | 6134 |
R020C002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 1.15343E+0007 6.68467E+0007 40 1 | 5123 |
R050C002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 2.92734E+0016 3.88435E+0017 100 1 | 4123 |
R100C002 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 6.46502E+0031 1.66538E+0033 200 1 | 4123 |
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-XT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 9.02652E+0011 9.66280E+0012 61 1 | 4123 |
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-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1034 10260 30 1 | 6134 |
r0010w0020 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1044 10280 40 1 | 6134 |
r0010w0050 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1074 10340 70 1 | 6134 |
r0010w0100 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1124 10440 120 1 | 6134 |
r0010w0500 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | MOVF | T-TT | 1524 11240 520 1 | 5134 |
r0010w1000 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 2024 12240 1020 1 | 4133 |
r0010w2000 | ---- | MOVF | DNC | ---- | DNF | T-TT | T--- | DNF | T-TT | 3024 ? 2020 1 | 3022 |
r0020w0010 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 1.04859E+0006 2.09715E+0007 50 1 | 5134 |
r0100w0010 | ---- | T-TT | DNC | ---- | CC | DNF | CC | DNF | DNF | 1.26765E+0030 ? 209 1 | 1011 |
r0500w0010 | ---- | T-TT | DNC | ---- | CC | DNF | CC | DNF | MOVF | 3.27339E+0150 ? 1009 1 | 1011 |
r1000w0010 | ---- | T-TT | DNC | ---- | CC | DNF | CC | DNF | MOVF | 1.07151E+0301 ? 2009 1 | 1011 |
r2000w0010 | ---- | MOVF | DNC | ---- | CC | DNF | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for SharedMemory (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 1863 10395 ? ? | 1100 |
000010 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000020 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000050 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000100 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000200 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000500 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
001000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
002000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
005000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
010000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
020000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
050000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
100000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for SharedMemory (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1863 10395 11 1 | 6134 |
000010 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 1.83052E+0006 1.94862E+0007 21 1 | 5123 |
000020 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 4.45146E+0011 9.19736E+0012 41 1 | 4122 |
000050 | ---- | CC | DNC | ---- | DNF | T-TT | CC | DNF | DNF | 5.87001E+0026 ? 101 1 | 1011 |
000100 | ---- | CC | DNC | ---- | DNF | T-TT | DNF | DNF | MOVF | 1.70126E+0051 ? 201 1 | 1011 |
Correctness mask for SimpleLoadBal (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 916 2918 ? ? | 1100 |
05 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 116176 566332 ? ? | 1100 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
15 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
20 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for SimpleLoadBal (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 832 2650 11 1 | 6144 |
05 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 116176 566332 17 1 | 6144 |
10 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | MOVF | DNF | 4.06034E+0008 3.05120E+0009 27 1 | 4133 |
15 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
20 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | MOVF | DNF | ? ? ? ? | 0000 |
Correctness mask for TokenRing (Colored, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 166 365 ? ? | 1100 |
010 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 58905 294050 ? ? | 1100 |
015 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 3.53579E+0007 2.65183E+0008 ? ? | 1100 |
020 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
030 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
040 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
050 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
100 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
200 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
500 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for TokenRing (P/T, Known model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 166 365 6 1 | 6144 |
010 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 58905 294050 11 1 | 5133 |
015 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 3.53579E+0007 2.65183E+0008 16 1 | 3122 |
020 | ---- | CC | DNC | ---- | DNF | T-TT | T--- | DNF | DNF | 2.44663E+0010 ? 21 1 | 2011 |
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 | DNC | ---- | TTTT | T--- | CC | DNF | DNF | 9.79474E+0021 3.40028E+0023 60 1 | 2111 |
Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 7424 37088 ? ? | 1100 |
03 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
04 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
05 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
07 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for CSRepetitions (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 7424 37088 8 2 | 6144 |
03 | ---- | DNF | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 1.34075E+0008 1.29390E+0009 15 3 | 3122 |
04 | ---- | DNF | DNC | ---- | DNF | T-TT | CC | DNF | DNF | 3.09482E+0013 ? 24 4 | 1011 |
05 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
07 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
10 | ---- | CC | DNC | ---- | DNF | DNF | CC | MOVF | DNF | ? ? ? ? | 0000 |
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-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6144 171530 20 1 | 6144 |
015 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 278528 1.68346E+0007 30 1 | 5144 |
020 | ---- | T-TT | DNC | ---- | TTTT | DNF | T--- | DNF | DNF | 1.15343E+0007 1.21635E+0009 40 1 | 3122 |
050 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
100 | ---- | MOVF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
200 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 11 14 ? ? | 1100 |
3 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 383 559 ? ? | 1100 |
4 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 220819 340193 ? ? | 1100 |
5 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 1024 7680 ? ? | 1100 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
16 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
24 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
48 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
76 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
98 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for DrinkVendingMachine (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1024 7680 12 1 | 6144 |
Correctness mask for Echo (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
d02r09 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 80 1 | 1011 |
d02r11 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | DNF | 1 ? 120 1 | 1011 |
d02r15 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 224 1 | 1011 |
d02r19 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1 ? 360 1 | 1011 |
d03r03 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | DNF | 1 ? 26 1 | 1011 |
d03r05 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | MOVF | DNF | 1 ? 124 1 | 1011 |
d03r07 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | 1 ? 342 1 | 1011 |
d04r03 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | DNF | 1 ? 80 1 | 1011 |
d05r03 | ---- | T-TT | DNC | ---- | DNF | DNF | CC | DNF | MOVF | 1 ? 242 1 | 1011 |
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 | DNC | ---- | TTTT | T-XT | T--- | T--- | T-TT | 32 120 9 1 | 5123 |
020 | ---- | CC | DNC | ---- | TTTT | T-XT | T--- | T--- | T-TT | 2048 23040 19 1 | 5123 |
050 | ---- | CC | DNC | ---- | TT?T | T-?T | T--- | T--- | DNF | 1.71799E+0010 7.30144E+0011 ? 1 | 4102 |
100 | ---- | CC | DNC | ---- | TT?T | T-?T | T--- | T--- | DNF | 1.88895E+0022 2.02590E+0024 ? 1 | 4102 |
200 | ---- | CC | DNC | ---- | TT?T | T-?T | T--- | DNF | DNF | 1.14180E+0046 2.91729E+0048 ? 1 | 3102 |
500 | ---- | CC | DNC | ---- | TT?T | T-?T | T--- | DNF | DNF | 4.13160E+0121 3.20612E+0124 ? 1 | 3102 |
Correctness mask for FMS (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 3444 16311 12 3 | 6144 |
005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 2.89502E+0006 2.35272E+0007 21 5 | 6144 |
010 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | MOVF | 2.50141E+0009 2.75678E+0010 36 10 | 5133 |
020 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | MOVF | 6.02917E+0012 8.14415E+0013 66 20 | 5133 |
050 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | MOVF | 4.24026E+0017 6.61354E+0018 156 50 | 4133 |
100 | ---- | T-TT | DNC | ---- | DNF | T-TT | DNF | DNF | MOVF | 2.70306E+0021 ? 306 100 | 2022 |
200 | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | 1.95364E+0025 ? 606 200 | 1011 |
500 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
05 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
06 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
07 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
09 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
11 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for GlobalResAllocation (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6320 116178 18 4 | 6144 |
Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
002 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1501 4780 12 2 | 6144 |
005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1.18798E+0006 7.19111E+0006 30 5 | 6144 |
010 | ---- | T-TT | DNC | ---- | TTTT | T-TT | DNF | DNF | CC | 1.66357E+0009 1.48075E+0010 60 10 | 3133 |
020 | ---- | T-TT | DNC | ---- | TTTT | T-TT | CC | DNF | CC | 1.36659E+0013 1.61442E+0014 120 20 | 3133 |
050 | ---- | T-TT | DNC | ---- | CC | DNF | DNF | DNF | CC | 1.56823E+0019 ? 300 50 | 1011 |
100 | ---- | MOVF | DNC | ---- | CC | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
200 | ---- | DNF | DNC | ---- | CC | DNF | DNF | DNF | CC | ? ? ? ? | 0000 |
500 | ---- | DNF | DNC | ---- | DNF | CC | DNF | DNF | CC | ? ? ? ? | 0000 |
Correctness mask for IBMB2S565S3960 (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | ?-?? | DNC | ---- | ?T?? | DNF | CC | DNF | DNF | ? 2.01128E+0017 ? ? | 0100 |
Correctness mask for Kanban (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
0005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 2.54643E+0006 2.44600E+0007 20 5 | 6144 |
0010 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | CC | 1.00593E+0009 1.20322E+0010 40 10 | 5133 |
0020 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | CC | 8.05422E+0011 1.10119E+0013 80 20 | 5133 |
0050 | ---- | T-TT | DNC | ---- | TTTT | T-TT | DNF | DNF | CC | 1.04259E+0016 1.56123E+0017 200 50 | 3133 |
0100 | ---- | T-TT | DNC | ---- | TTTT | T-TT | DNF | DNF | CC | 1.72630E+0019 2.67046E+0020 400 100 | 3133 |
0200 | ---- | ?-TT | DNC | ---- | DNF | ?-TT | DNF | DNF | CC | ? ? 800 200 | 0022 |
0500 | ---- | DNF | DNC | ---- | DNF | T-TT | DNF | DNF | CC | 1 ? 2000 500 | 1011 |
1000 | ---- | DNF | DNC | ---- | DNF | CC | DNF | DNF | CC | ? ? ? ? | 0000 |
Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 380 716 ? ? | 1100 |
3 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 19742 58272 ? ? | 1100 |
4 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 1.91478E+0006 9.04605E+0006 ? ? | 1100 |
5 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
6 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
7 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
8 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for LamportFastMutEx (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 380 716 8 1 | 6144 |
3 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 19742 58272 14 1 | 6144 |
4 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 1.91478E+0006 9.04605E+0006 22 1 | 4133 |
5 | ---- | MOVF | DNC | ---- | DNF | DNF | T--- | DNF | DNF | 5.30682E+0008 ? ? ? | 1000 |
6 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
7 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
8 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for MAPK (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
008 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6.11064E+0006 7.89489E+0007 36 8 | 6134 |
020 | ---- | DNF | DNC | ---- | TTTT | T-TT | T--- | DNF | MOVF | 8.81258E+0010 1.68902E+0012 90 20 | 3122 |
040 | ---- | DNF | DNC | ---- | TTTT | T-TT | T--- | DNF | MOVF | 4.78293E+0014 1.10986E+0016 180 40 | 3122 |
080 | ---- | DNF | DNC | ---- | TTTT | T-TT | DNF | DNF | MOVF | 5.63490E+0018 1.47037E+0020 360 80 | 2122 |
160 | ---- | DNF | DNC | ---- | DNF | T-TT | DNF | DNF | MOVF | 1.06396E+0023 ? 720 160 | 1011 |
320 | ---- | DNF | DNC | ---- | CC | DNF | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for NeoElection (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 241 448 ? ? | 1100 |
3 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 974325 3.59911E+0006 ? ? | 1100 |
4 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
5 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
6 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
7 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
8 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for NeoElection (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 241 448 14 1 | 6144 |
3 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 974325 3.59911E+0006 30 1 | 4133 |
4 | ---- | MOVF | DNC | ---- | DNF | T-TT | T--- | DNF | DNF | 2.91912E+0011 ? 52 1 | 2011 |
5 | ---- | MOVF | DNC | ---- | DNF | DNF | T--- | DNF | DNF | 6.35695E+0018 ? ? ? | 1000 |
6 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
7 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
8 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for PermAdmissibility (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 52537 54600 ? ? | 1100 |
02 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
05 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
20 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
50 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for PermAdmissibility (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
01 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 52537 54600 9 1 | 5144 |
02 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
05 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
10 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
20 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
50 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for Peterson (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 20754 62262 ? ? | 1100 |
3 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 3.40795E+0006 1.36318E+0007 ? ? | 1100 |
4 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
5 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
6 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
7 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for Peterson (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
2 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 20754 62262 8 1 | 6144 |
3 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 3.40795E+0006 1.36318E+0007 11 1 | 4133 |
4 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
5 | ---- | MOVF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
6 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
7 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for Philosophers (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 243 945 ? ? | 1100 |
000010 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 59049 459270 ? ? | 1100 |
000020 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000050 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000100 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000200 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000500 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
001000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
002000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
005000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
010000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
050000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
100000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for Philosophers (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 243 945 10 1 | 6134 |
000010 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 59049 459270 20 1 | 6134 |
000020 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 3.48678E+0009 5.42389E+0010 40 1 | 5123 |
000050 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 7.17898E+0023 2.79183E+0025 100 1 | 4122 |
000100 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 5.15378E+0047 4.00849E+0049 200 1 | 3122 |
000200 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 2.65614E+0095 4.13177E+0097 400 1 | 3122 |
000500 | ---- | MOVF | DNC | ---- | TTTT | T-TT | CC | DNF | DNF | 3.63603E+0238 1.41401E+0241 1000 1 | 2122 |
001000 | ---- | MOVF | DNC | ---- | TTTT | DNF | CC | DNF | MOVF | 1.32207E+0477 1.02828E+0480 2000 1 | 1111 |
002000 | ---- | DNF | DNC | ---- | DNF | CC | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
20 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
50 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
80 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for PhilosophersDyn (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
03 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 325 768 11 1 | 6134 |
10 | ---- | CC | DNC | ---- | DNF | DNF | T--- | DNF | T-TT | 199051 ? 20 1 | 2011 |
20 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
Correctness mask for Planning (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
none | ---- | T-TT | DNC | ---- | DNF | DNF | DNF | DNF | DNF | 1.93274E+0010 ? 54 1 | 1011 |
Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 4158 14748 ? ? | 1100 |
06 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
18 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
22 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
28 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
32 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
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-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1029 3084 20 1 | 6144 |
06 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 2.27196E+0006 1.60080E+0007 74 3 | 4133 |
10 | ---- | MOVF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
18 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
22 | ---- | DNF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
28 | ---- | DNF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
32 | ---- | DNF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
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-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1838 7699 16 1 | 6144 |
010 | ---- | MOVF | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 2.03817E+0006 1.63246E+0007 26 1 | 4122 |
020 | ---- | DNF | DNC | ---- | DNF | DNF | T--- | DNF | DNF | 2.19554E+0012 ? ? ? | 1000 |
050 | ---- | DNF | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
100 | ---- | DNF | DNC | ---- | DNF | DNF | DNF | DNF | DNF | ? ? ? ? | 0000 |
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 | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 8 12 4 1 | 5133 |
R003C002 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 20 34 6 1 | 5133 |
R003C003 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 92 257 9 1 | 5133 |
R003C005 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1200 4960 15 1 | 5133 |
R003C010 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 823552 6.28672E+0006 30 1 | 5133 |
R003C015 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 5.78878E+0008 6.48569E+0009 45 1 | 4122 |
R003C020 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 4.06455E+0011 6.00286E+0012 60 1 | 3122 |
R003C050 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 4.87175E+0028 1.76164E+0030 150 1 | 3122 |
R003C100 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | MOVF | DNF | 1.41951E+0057 1.01939E+0059 300 1 | 3122 |
R005C002 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 112 240 10 1 | 5133 |
R010C002 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 6144 20480 20 1 | 5133 |
R015C002 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 278528 1.26976E+0006 30 1 | 5133 |
R020C002 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 1.15343E+0007 6.68467E+0007 40 1 | 4122 |
R050C002 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 2.92734E+0016 3.88435E+0017 100 1 | 3122 |
R100C002 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 6.46502E+0031 1.66538E+0033 200 1 | 3122 |
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 | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 9.02652E+0011 9.66280E+0012 61 1 | 3122 |
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-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1034 10260 30 1 | 6134 |
r0010w0020 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1044 10280 40 1 | 6134 |
r0010w0050 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1074 10340 70 1 | 6134 |
r0010w0100 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1124 10440 120 1 | 6134 |
r0010w0500 | ---- | T-XT | DNC | ---- | TTTT | T-TT | T--- | MOVF | T-TT | 1524 11240 520 1 | 5134 |
r0010w1000 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 2024 12240 1020 1 | 5144 |
r0010w2000 | ---- | MOVF | DNC | ---- | DNF | DNF | T--- | DNF | T-TT | 3024 ? 2020 1 | 2011 |
r0020w0010 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | DNF | T-TT | 1.04859E+0006 2.09715E+0007 50 1 | 5144 |
r0100w0010 | ---- | MOVF | DNC | ---- | CC | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
r0500w0010 | ---- | MOVF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
r1000w0010 | ---- | MOVF | DNC | ---- | CC | DNF | CC | DNF | MOVF | ? ? ? ? | 0000 |
r2000w0010 | ---- | CC | DNC | ---- | CC | DNF | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for SharedMemory (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 1863 10395 ? ? | 1100 |
000010 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000020 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000050 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000100 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000200 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
000500 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
001000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
002000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
005000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
010000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
020000 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
050000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
100000 | ---- | DNC | DNF | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for SharedMemory (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
000005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 1863 10395 11 1 | 6144 |
000010 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | DNF | 1.83052E+0006 1.94862E+0007 21 1 | 5133 |
000020 | ---- | MOVF | DNC | ---- | TTTT | DNF | T--- | T--- | DNF | 4.45146E+0011 9.19736E+0012 41 1 | 3111 |
000050 | ---- | CC | DNC | ---- | DNF | DNF | CC | DNF | DNF | ? ? ? ? | 0000 |
000100 | ---- | DNF | DNC | ---- | DNF | CC | DNF | DNF | MOVF | ? ? ? ? | 0000 |
Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 916 2918 ? ? | 1100 |
05 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 116176 566332 ? ? | 1100 |
10 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
15 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
20 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for SimpleLoadBal (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
02 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 832 2650 11 1 | 6144 |
05 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 116176 566332 17 1 | 6144 |
10 | ---- | DNF | DNC | ---- | TTTT | T-TT | T--- | MOVF | DNF | 4.06034E+0008 3.05120E+0009 27 1 | 3122 |
15 | ---- | DNF | DNC | ---- | DNF | DNF | CC | MOVF | DNF | ? ? ? ? | 0000 |
20 | ---- | DNF | DNC | ---- | DNF | DNF | CC | MOVF | DNF | ? ? ? ? | 0000 |
Correctness mask for TokenRing (Colored, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 166 365 ? ? | 1100 |
010 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 58905 294050 ? ? | 1100 |
015 | ---- | DNC | TT-- | ---- | DNC | DNC | DNC | DNC | DNC | 3.53579E+0007 2.65183E+0008 ? ? | 1100 |
020 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
030 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
040 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
050 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
100 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
200 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
500 | ---- | DNC | CC | ---- | DNC | DNC | DNC | DNC | DNC | ? ? ? ? | 0000 |
Correctness mask for TokenRing (P/T, Scrambled model) - result - score | |||||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | Computed solution | Majority vector | |
005 | ---- | T-TT | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 166 365 6 1 | 6144 |
010 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | T--- | T-TT | 58905 294050 11 1 | 5133 |
015 | ---- | CC | DNC | ---- | TTTT | T-TT | T--- | DNF | DNF | 3.53579E+0007 2.65183E+0008 16 1 | 3122 |
020 | ---- | CC | DNC | ---- | DNF | T-TT | T--- | DNF | DNF | 2.44663E+0010 ? 21 1 | 2011 |
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 | DNC | ---- | TTTT | T--- | CC | DNF | DNF | 9.79474E+0021 3.40028E+0023 60 1 | 2111 |