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