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 reachabilityfireability | |||||||||
| Results for ARMCacheCoherence (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
 |
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| Results for Angiogenesis (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 01 | FFFTFFTFFF
|
CC
|
DNC | FFFTFFTFFF
|
DNC | DNC | DNC | DNC | FFFTFFTFFF
|
| 05 | DNC | CC
|
DNC | TTTFFFTTTF
|
DNC | DNC | DNC | DNC | TTTFFFTTTF
|
| 10 | DNC | CC
|
DNC | FFFFFFFFFT
|
DNC | DNC | DNC | DNC | FFFFFFFFFT
|
| 15 | DNC | CC
|
DNC | FFFFFTTFTT
|
DNC | DNC | DNC | DNC | FFFFFTTFTT
|
| 20 | DNC | CC
|
DNC | FTTTTFFTTF
|
DNC | DNC | DNC | DNC | FTTTTFFT_F
|
| 25 | DNC | CC
|
DNC | TTFFFTFTFF
|
DNC | DNC | DNC | DNC | TTFFFTFTFF
|
| 50 | DNC | CC
|
DNC | FFTTTFFTTF
|
DNC | DNC | DNC | DNC | FF_TTFF__F
|
| Results for CircadianClock (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000001 | FFTFFFFFTT
|
CC
|
DNC | FFTFFFFFTT
|
DNC | DNC | DNC | DNC | FFTFFFFFTT
|
| 000010 | DNC | CC
|
DNC | FTFFFTFTFT
|
DNC | DNC | DNC | DNC | FTFFFTFTFT
|
| 000100 | DNC | CC
|
DNC | FFFFTTTFFT
|
DNC | DNC | DNC | DNC | FFFFTTTFFT
|
| 001000 | DNC | CC
|
DNC | FTTTFFFTFF
|
DNC | DNC | DNC | DNC | FTTTFFFTFF
|
| 010000 | DNC | CC
|
DNC | FTFFFFTFFF
|
DNC | DNC | DNC | DNC | FTFFFFTFFF
|
| 100000 | DNC | CC
|
DNC | FTFFTTFTFF
|
DNC | DNC | DNC | DNC | FTFFTTFTFF
|
| Results for CircularTrains (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 012 | DNC | CC
|
DNC | FFFTFFFFTF
|
DNC | DNC | DNC | DNC | FFFTFFFFTF
|
| 024 | DNC | CC
|
DNC | TFTFTTFFTF
|
DNC | DNC | DNC | DNC | TFTFTTFFTF
|
| 048 | DNC | CC
|
DNC | FTFFFFFTFF
|
DNC | DNC | DNC | DNC | FTFFFFFTFF
|
| 096 | DNC | CC
|
DNC | FFFFTFFFFF
|
DNC | DNC | DNC | DNC | FFFFTFFFFF
|
| 192 | DNC | DNF
|
DNC | TFTTFFFFFT
|
DNC | DNC | DNC | DNC | TFTTFFFFFT
|
| 384 | DNC | DNF
|
DNC | FFTFTFFFTT
|
DNC | DNC | DNC | DNC | FFTFTFFFTT
|
| 768 | DNC | DNF
|
DNC | FTFTFFFFFF
|
DNC | DNC | DNC | DNC | FTFTFFFFFF
|
| Results for DatabaseWithMutex (Colored, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 04 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 40 | DNC | DNC | DNC | 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 | TFFFFTTFTF
|
CC
|
DNC | TFFFFTTFTF
|
DNC | DNC | DNC | DNC | TFFFFTTFTF
|
| 04 | TFFFTFFFTT
|
DNF
|
DNC | TFFFTFFFTT
|
DNC | DNC | DNC | DNC | TFFFTFF_TT
|
| 10 | CC
|
CC
|
DNC | FTTFFFFFTF
|
DNC | DNC | DNC | DNC | FTTFFFF_TF
|
| 20 | CC
|
CC
|
DNC | FFFTTFFFTT
|
DNC | DNC | DNC | DNC | FF_TTFFFTT
|
| 40 | CC
|
DNF
|
DNC | FTTTF_FFFF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for Diffusion2D (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| D05N010 | DNC | CC
|
DNC | FFFFFFTTFF
|
DNC | DNC | DNC | DNC | FFFFFFTTFF
|
| D05N050 | DNC | CC
|
DNC | FTFFFFTTFF
|
DNC | DNC | DNC | DNC | FTFFFFTTFF
|
| D05N100 | DNC | CC
|
DNC | FTFFFTFFTF
|
DNC | DNC | DNC | DNC | FTFFFTFFTF
|
| D05N150 | DNC | CC
|
DNC | FFFFTTTTFF
|
DNC | DNC | DNC | DNC | FFFFTTTTFF
|
| D05N200 | DNC | CC
|
DNC | FFTFFFFFFT
|
DNC | DNC | DNC | DNC | FFTFFFFFFT
|
| D05N250 | DNC | CC
|
DNC | FFTFFFFFFF
|
DNC | DNC | DNC | DNC | FFTFFFFFFF
|
| D05N300 | DNC | CC
|
DNC | FFTTTFFTFT
|
DNC | DNC | DNC | DNC | FFTTTFFTFT
|
| D05N350 | DNC | CC
|
DNC | FFTFFFFFFF
|
DNC | DNC | DNC | DNC | FFTFFFFFFF
|
| D10N010 | DNC | CC
|
DNC | TFFTFFFFFF
|
DNC | DNC | DNC | DNC | TFFTFFFFFF
|
| D10N050 | DNC | CC
|
DNC | FTFFFFFFFF
|
DNC | DNC | DNC | DNC | FTFFFFFFFF
|
| D10N100 | DNC | CC
|
DNC | FFTFFTFFTT
|
DNC | DNC | DNC | DNC | FFTFFTFFTT
|
| D10N150 | DNC | CC
|
DNC | TFTFFFFTTF
|
DNC | DNC | DNC | DNC | TFTFFF__TF
|
| D10N200 | DNC | CC
|
DNC | FFFFTTFFFT
|
DNC | DNC | DNC | DNC | F_FFTT_FFT
|
| D20N010 | DNC | CC
|
DNC | FFTTFTFTTF
|
DNC | DNC | DNC | DNC | _FT_F____F
|
| D20N050 | DNC | CC
|
DNC | FFTTFTFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| D20N100 | DNC | CC
|
DNC | TTFTFFFTFF
|
DNC | DNC | DNC | DNC | __F_FF__FF
|
| D20N150 | DNC | CC
|
DNC | FFFFTTTTFF
|
DNC | DNC | DNC | DNC | FFFF__TTFF
|
| D30N010 | DNC | CC
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | F_F__F_FFF
|
| D30N050 | DNC | CC
|
DNC | FFFTTFFFFF
|
DNC | DNC | DNC | DNC | F_F___FF_F
|
| D30N100 | DNC | CC
|
DNC | TFFFFTFFFT
|
DNC | DNC | DNC | DNC | __FF__FFF_
|
| D30N150 | DNC | CC
|
DNC | TFFFFTFTTT
|
DNC | DNC | DNC | DNC | DNF
|
| D40N010 | DNC | CC
|
DNC | FFTTFFFTFF
|
DNC | DNC | DNC | DNC | DNF
|
| D40N050 | DNC | CC
|
DNC | FFFFFTFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| D40N100 | DNC | CC
|
DNC | FTTTFTTFFF
|
DNC | DNC | DNC | DNC | DNF
|
| D40N150 | DNC | CC
|
DNC | FFTFFFFTFT
|
DNC | DNC | DNC | DNC | DNF
|
| D50N010 | DNC | CC
|
DNC | FFTFFTTFTT
|
DNC | DNC | DNC | DNC | DNF
|
| D50N050 | DNC | CC
|
DNC | TFFFFTTTFT
|
DNC | DNC | DNC | DNC | DNF
|
| D50N100 | DNC | CC
|
DNC | TTFFTFTFFT
|
DNC | DNC | DNC | DNC | DNF
|
| D50N150 | DNC | CC
|
DNC | FFFTFFFTFT
|
DNC | DNC | DNC | DNC | DNF
|
| Results for ERK (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000001 | FFFFFFFFTT
|
CC
|
DNC | FFFFFFFFTT
|
DNC | DNC | DNC | DNC | FFFFFFFFTT
|
| 000010 | DNC | CC
|
DNC | FFFTFFFTTT
|
DNC | DNC | DNC | DNC | FFFTFFFTTT
|
| 000100 | DNC | CC
|
DNC | TFFFFFFTFT
|
DNC | DNC | DNC | DNC | TFFFFFFTFT
|
| 001000 | DNC | CC
|
DNC | FFFFTFFFTT
|
DNC | DNC | DNC | DNC | FFFFTFFFTT
|
| 010000 | DNC | CC
|
DNC | TFFTTFFFTF
|
DNC | DNC | DNC | DNC | TFFTTFFFTF
|
| 100000 | DNC | CC
|
DNC | TFFTFTTTFT
|
DNC | DNC | DNC | DNC | TFFTFTTTFT
|
| Results for EnergyBus (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
|
DNC | T__TF_F_T_
|
DNC | DNC | DNC | DNC | DNF
|
| Results for MultiwaySync (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
|
DNC | FTFFFFFFTF
|
DNC | DNC | DNC | DNC | FTFFFFFFTF
|
| Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 0 | TFFFFFTFFF
|
CC
|
DNC | TFFFFFTFFF
|
DNC | DNC | DNC | DNC | TFFFFFTFFF
|
| 1 | TFFFFTFFFF
|
CC
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TFFFFTFFFF
|
| 2 | FFFFFFTFFF
|
CC
|
DNC | FFFFFFTFFF
|
DNC | DNC | DNC | DNC | FFFFFFTFFF
|
| 3 | TFFTFTFTFF
|
CC
|
DNC | TFFTFTFTFF
|
DNC | DNC | DNC | DNC | TFFTFTFTFF
|
| 4 | FFFFFFTTTT
|
CC
|
DNC | FFFFFFTTTT
|
DNC | DNC | DNC | DNC | FFFFFFTTTT
|
| 5 | FTFFFFFFFT
|
CC
|
DNC | FTFFFFFFFT
|
DNC | DNC | DNC | DNC | FTFFFFFFFT
|
| Results for PolyORBLF (Colored, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| S02J04T06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S02J04T08 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S02J04T10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S02J06T06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S02J06T08 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S02J06T10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S04J04T06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S04J04T08 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S04J04T10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S04J06T06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S04J06T08 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S04J06T10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S06J04T04 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S06J04T06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S06J04T08 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S06J06T04 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S06J06T06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S06J06T08 | DNC | DNC | DNC | 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 | CC
|
DNC | _FFFFFFFFF
|
DNC | DNC | DNC | DNC | _FF_FFFF_F
|
| S02J04T08 | DNC | CC
|
DNC | FTFFFTFFTF
|
DNC | DNC | DNC | DNC | FTFFFT_FTF
|
| S02J04T10 | DNC | CC
|
DNC | TTTFTFTFTT
|
DNC | DNC | DNC | DNC | TTTFTFTFTT
|
| S02J06T06 | DNC | CC
|
DNC | FFTFFTTFTF
|
DNC | DNC | DNC | DNC | FFTF_TTFT_
|
| S02J06T08 | DNC | CC
|
DNC | FTFFFFFFTT
|
DNC | DNC | DNC | DNC | FTFFFFFFTT
|
| S02J06T10 | DNC | CC
|
DNC | FTTFFFFFFF
|
DNC | DNC | DNC | DNC | FTTF__FFFF
|
| S04J04T06 | DNC | CC
|
DNC | FFFFTTFFFF
|
DNC | DNC | DNC | DNC | FFFFTTFF_F
|
| S04J04T08 | DNC | CC
|
DNC | FFFTTTFTFF
|
DNC | DNC | DNC | DNC | FFFTTTFTFF
|
| S04J04T10 | DNC | CC
|
DNC | TFTFFFTFTT
|
DNC | DNC | DNC | DNC | TFTFFFTFTT
|
| S04J06T06 | DNC | CC
|
DNC | TFFTFFFTFF
|
DNC | DNC | DNC | DNC | TFFTF___FF
|
| S04J06T08 | DNC | CC
|
DNC | FFFTFFTFTF
|
DNC | DNC | DNC | DNC | FFFTFFTFTF
|
| S04J06T10 | DNC | CC
|
DNC | FFFFTFFFTT
|
DNC | DNC | DNC | DNC | _FFFT_FFTT
|
| S06J04T04 | DNC | CC
|
DNC | FFFFFTTFFF
|
DNC | DNC | DNC | DNC | FFFFFTT_FF
|
| S06J04T06 | DNC | CC
|
DNC | TTFFTFTFFT
|
DNC | DNC | DNC | DNC | DNF
|
| S06J04T08 | DNC | CC
|
DNC | TTTFTTFTTF
|
DNC | DNC | DNC | DNC | DNF
|
| S06J06T04 | DNC | CC
|
DNC | FTTFTFFTFF
|
DNC | DNC | DNC | DNC | _TTFTFFTFF
|
| S06J06T06 | DNC | CC
|
DNC | FTFFFTFFTF
|
DNC | DNC | DNC | DNC | DNF
|
| S06J06T08 | DNC | CC
|
DNC | FFFTTFTFFT
|
DNC | DNC | DNC | DNC | DNF
|
| Results for PolyORBNT (Colored, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| S05J20 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S05J30 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S05J40 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S05J60 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S05J80 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S10J20 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S10J30 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S10J40 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S10J60 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| S10J80 | DNC | DNC | DNC | 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 | CC
|
DNC | FTTFFT_F_F
|
DNC | DNC | DNC | DNC | ___FFTF___
|
| S05J30 | DNC | CC
|
DNC | FFFFFFFFFT
|
DNC | DNC | DNC | DNC | FFFFFFF_F_
|
| S05J40 | DNC | CC
|
DNC | TFFFFF_FTF
|
DNC | DNC | DNC | DNC | __FF__TFTF
|
| S05J60 | DNC | CC
|
DNC | _TT_FFTF_F
|
DNC | DNC | DNC | DNC | F_T___T_T_
|
| S05J80 | DNC | CC
|
DNC | FTFF_F_TTF
|
DNC | DNC | DNC | DNC | _T_F__FT__
|
| S10J20 | DNC | CC
|
DNC | F_F_FFFTTT
|
DNC | DNC | DNC | DNC | DNF
|
| S10J30 | DNC | CC
|
DNC | FTF_FFF_TT
|
DNC | DNC | DNC | DNC | DNF
|
| S10J40 | DNC | CC
|
DNC | F__FT_FTTT
|
DNC | DNC | DNC | DNC | DNF
|
| S10J60 | DNC | CC
|
DNC | F_TFFFF__T
|
DNC | DNC | DNC | DNC | DNF
|
| S10J80 | DNC | CC
|
DNC | FFFFFFTFFF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for ProductionCell (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
|
DNC | FTTTFTFFTT
|
DNC | DNC | DNC | DNC | F__TFTFFTT
|
| Results for Solitaire (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| EngCT7x7 | DNC | CC
|
DNC | FFFFTFFFFF
|
DNC | DNC | DNC | DNC | FFFFTFFFFF
|
| EngNC7x7 | CC
|
CC
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | FFFFFFFFTF
|
| FrnCT7x7 | DNC | CC
|
DNC | TFFTFFFFTT
|
DNC | DNC | DNC | DNC | TFFTFFFFTT
|
| FrnNC7x7 | CC
|
CC
|
DNC | FFFFFFFFFT
|
DNC | DNC | DNC | DNC | FFFFFFFFFT
|
| SqrCT5x5 | DNC | CC
|
DNC | FFFFTTTFFT
|
DNC | DNC | DNC | DNC | FFFFTTTFFT
|
| SqrNC5x5 | CC
|
CC
|
DNC | FFFFFTFTFT
|
DNC | DNC | DNC | DNC | FFFFFTFTFT
|
| Results for UtahNoC (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
|
DNC | FTFTFFTFFF
|
DNC | DNC | DNC | DNC | FTFTFF_FFF
|
| Results for CSRepetitions (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 03 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 04 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | 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 | TTFFFFFFFF
|
DNC | TTFFFFFFFF
|
DNC | DNC | DNC | DNC | TTFFFFFFFF
|
| 03 | DNC | FFTTTFFTFT
|
DNC | FFTTTFFTFT
|
DNC | DNC | DNC | DNC | FFTTTFFTFT
|
| 04 | DNC | MOVF
|
DNC | FFFTFTTFFF
|
DNC | DNC | DNC | DNC | FFFTFTTFFF
|
| 05 | DNC | MOVF
|
DNC | FFFTFFFTFF
|
DNC | DNC | DNC | DNC | FF_T__FT_F
|
| 07 | DNC | MOVF
|
DNC | FFTFFTFFTF
|
DNC | DNC | DNC | DNC | F_TFFTFFT_
|
| 10 | DNC | CC
|
DNC | FTTTFFTTTT
|
DNC | DNC | DNC | DNC | FTTTFFTTTT
|
| Results for Dekker (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | TTTFFTFTFF
|
TTFFFFFTFF
|
DNC | TTTFFTFTFF
|
DNC | DNC | DNC | DNC | TTTFFTFTFF
|
| 015 | FTTFFFTFFF
|
FTTFFFTFFF
|
DNC | FTTFFFTFFF
|
DNC | DNC | DNC | DNC | FTTFFFTFFF
|
| 020 | FTTFFFFFTT
|
FTTFFFFFTF
|
DNC | FTTFFFFFTT
|
DNC | DNC | DNC | DNC | FTTFFFFFTT
|
| 050 | DNF
|
DNF
|
DNC | FTTTTTTFFT
|
DNC | DNC | DNC | DNC | FTTTTTTFFT
|
| 100 | CC
|
MOVF
|
DNC | FTFTTFTFTT
|
DNC | DNC | DNC | DNC | FTFTTFTFTT
|
| 200 | CC
|
MOVF
|
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| Results for DotAndBoxes (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | 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 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 16 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 24 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 48 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 76 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 98 | DNC | DNC | DNC | 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 | TFFFTFFFFT
|
TTFFTFTFFT
|
DNC | TTFFTFFFFT
|
DNC | DNC | DNC | DNC | TT_FTFFFFT
|
| Results for Echo (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| d02r09 | CC
|
MOVF
|
DNC | TFFFFTFTTT
|
DNC | DNC | DNC | DNC | TFFFFTF_TT
|
| d02r11 | CC
|
MOVF
|
DNC | FTFFFFFTFF
|
DNC | DNC | DNC | DNC | FTFFFFFTFF
|
| d02r15 | CC
|
MOVF
|
DNC | FFFTTFTFFF
|
DNC | DNC | DNC | DNC | FFFTTFTFFF
|
| d02r19 | CC
|
MOVF
|
DNC | FFFFTFFFFF
|
DNC | DNC | DNC | DNC | FFFFTFFFFF
|
| d03r03 | CC
|
MOVF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| d03r05 | CC
|
MOVF
|
DNC | TFFTFFTFTF
|
DNC | DNC | DNC | DNC | TFFTFFTFTF
|
| d03r07 | CC
|
MOVF
|
DNC | TFFTFFFFFF
|
DNC | DNC | DNC | DNC | TFFTFFFFFF
|
| d04r03 | CC
|
MOVF
|
DNC | TFTFTTFTTF
|
DNC | DNC | DNC | DNC | TFTFTTFTTF
|
| d05r03 | CC
|
MOVF
|
DNC | FFFFFFFTFT
|
DNC | DNC | DNC | DNC | FFFFFFFTFT
|
| Results for Eratosthenes (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | FTFFTTTTFT
|
FFFFFFFFTF
|
DNC | FFFFTTTTFT
|
DNC | DNC | DNC | DNC | FFFFTTTTFT
|
| 020 | TFFFFFFFTT
|
FTTFTTTFFF
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | TFFFFFFFFT
|
| 050 | TFFTFTTFTT
|
TTTFFFTTTF
|
DNC | TFFTFFFFTF
|
DNC | DNC | DNC | DNC | TFFTFFFFTF
|
| 100 | FFTTFFTFFF
|
TTFFFFFTTT
|
DNC | FFTTFFFFFF
|
DNC | DNC | DNC | DNC | FFTTFFFFFF
|
| 200 | FTFTFFTTTF
|
FFTFTFFFFT
|
DNC | FFFTFFTFTF
|
DNC | DNC | DNC | DNC | FFFTFFTFTF
|
| 500 | CC
|
CC
|
DNC | FFFFFTFTFF
|
DNC | DNC | DNC | DNC | FFFFFTFTFF
|
| Results for FMS (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | FFFTFFFTFT
|
DNC | FFFTFFFTFT
|
DNC | DNC | DNC | DNC | FFFTFFFTFT
|
| 005 | DNC | FFTFFFFFFT
|
DNC | FFTFFFFFFT
|
DNC | DNC | DNC | DNC | FFTFFFFFFT
|
| 010 | DNC | FTFFTFFTFF
|
DNC | FTFFTFFTFF
|
DNC | DNC | DNC | DNC | FTFFTFFTFF
|
| 020 | DNC | TTFFFTTFTF
|
DNC | TTFFFTTFTF
|
DNC | DNC | DNC | DNC | TTFFFTTFTF
|
| 050 | DNC | TFFFTFFFTF
|
DNC | TFFFTFFFTF
|
DNC | DNC | DNC | DNC | TFFFTFFFTF
|
| 100 | DNC | TFFFFTTFFT
|
DNC | TFFFFTTFFT
|
DNC | DNC | DNC | DNC | TFFFFTTFFT
|
| 200 | DNC | TFFFTFTTTF
|
DNC | TFFFTFTTTF
|
DNC | DNC | DNC | DNC | TFFFTFTTTF
|
| 500 | DNC | FFTFTFTFFT
|
DNC | FFTFTFTFFT
|
DNC | DNC | DNC | DNC | FFTFTFTFFT
|
| Results for GlobalResAllocation (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 03 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 09 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 11 | DNC | DNC | DNC | 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 | FFFFFFFFFF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | F_FFFFFF_F
|
| Results for HouseConstruction (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | FTFFFTFTFF
|
DNC | FTFFFTFTFF
|
DNC | DNC | DNC | DNC | FTFFFTFTFF
|
| 005 | DNC | TFFFFTFFFF
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TFFFFTFFFF
|
| 010 | DNC | FFFFFTFFTF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| 020 | DNC | FTFFTTFFFF
|
DNC | FTFFTTFFFF
|
DNC | DNC | DNC | DNC | FTFFTTFFFF
|
| 050 | DNC | FFFFFTTFTT
|
DNC | FFFFFTTFTT
|
DNC | DNC | DNC | DNC | FFFFFTTFTT
|
| 100 | DNC | MOVF
|
DNC | FFFFTTFFTT
|
DNC | DNC | DNC | DNC | FFFFTTFFTT
|
| 200 | DNC | MOVF
|
DNC | FTTFTFFFTT
|
DNC | DNC | DNC | DNC | FTTFTFFFTT
|
| 500 | DNC | DNF
|
DNC | FFFTFFTFFT
|
DNC | DNC | DNC | DNC | FFFTFFTFFT
|
| Results for IBMB2S565S3960 (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FTTTFFTTFF
|
DNC | DNC | DNC | DNC | FTTTFFTTFF
|
| Results for Kanban (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 0005 | DNC | FFFFTFTFTT
|
DNC | FFFFTFTFTT
|
DNC | DNC | DNC | DNC | FFFFTFTFTT
|
| 0010 | DNC | FTFTTTFTFT
|
DNC | FTFTTTFTFT
|
DNC | DNC | DNC | DNC | FTFTTTFTFT
|
| 0020 | DNC | FFFTFFFTTF
|
DNC | FFFTFFFTTF
|
DNC | DNC | DNC | DNC | FFFTFFFTTF
|
| 0050 | DNC | TFFFTFFFFF
|
DNC | TFFFTFFFFF
|
DNC | DNC | DNC | DNC | TFFFTFFFFF
|
| 0100 | DNC | TFFFFFFFFT
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | TFFFFFFFFT
|
| 0200 | DNC | FTFTTTFFTF
|
DNC | FTFTTTFFTF
|
DNC | DNC | DNC | DNC | FTFTTTFFTF
|
| 0500 | DNC | DNF
|
DNC | TTFFTFFFFF
|
DNC | DNC | DNC | DNC | TTFFTFFFFF
|
| 1000 | DNC | DNF
|
DNC | TFTFFFTTFF
|
DNC | DNC | DNC | DNC | TFTFFFTTFF
|
| Results for LamportFastMutEx (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | DNC | 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 | FTFFFTFFFF
|
FTFFFTFTTF
|
DNC | FTFFFTFFFF
|
DNC | DNC | DNC | DNC | FTFFFTFFFF
|
| 3 | FFTFFFFFTF
|
FFTFFFFFTF
|
DNC | FFTFFFFFTF
|
DNC | DNC | DNC | DNC | FFTFFFFFTF
|
| 4 | TFFFTTFFFT
|
TFFFTTFFFT
|
DNC | TFFFTTFFFT
|
DNC | DNC | DNC | DNC | TFFFTTFF_T
|
| 5 | DNF
|
DNF
|
DNC | FFFFFTFTFF
|
DNC | DNC | DNC | DNC | FFFFFTFTFF
|
| 6 | DNF
|
DNF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFT_FTF
|
| 7 | DNF
|
DNF
|
DNC | TFFTFFTTFF
|
DNC | DNC | DNC | DNC | T_FT_FTTF_
|
| 8 | DNF
|
DNF
|
DNC | TTFFTFTFFF
|
DNC | DNC | DNC | DNC | T___TFTFFF
|
| Results for MAPK (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 008 | DNC | FTFTTTTFTF
|
DNC | FTFTTTTFTF
|
DNC | DNC | DNC | DNC | FTFTTTTFTF
|
| 020 | DNC | DNF
|
DNC | FTTFFTFTFT
|
DNC | DNC | DNC | DNC | FTTFFTFTFT
|
| 040 | DNC | DNF
|
DNC | FFTTFTFFFT
|
DNC | DNC | DNC | DNC | FFTTFTFFFT
|
| 080 | DNC | DNF
|
DNC | FFFFFFTTFF
|
DNC | DNC | DNC | DNC | FFFFFFTTFF
|
| 160 | DNC | DNF
|
DNC | FFFTTFFTFT
|
DNC | DNC | DNC | DNC | FFFTTFFTFT
|
| 320 | DNC | DNF
|
DNC | TFFFTFFFFT
|
DNC | DNC | DNC | DNC | TFFFTFFFFT
|
| Results for NeoElection (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | DNC | 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 | FTFFFFTTFT
|
FFFFFFTTFT
|
DNC | FTFFFFTTFT
|
DNC | DNC | DNC | DNC | FTFF__TTFT
|
| 3 | FTFFFFFFFF
|
TFFFFFFFFF
|
DNC | FTFFF_FFFF
|
DNC | DNC | DNC | DNC | FTFFFFF_F_
|
| 4 | DNF
|
MOVF
|
DNC | F_FT_____F
|
DNC | DNC | DNC | DNC | _FFTFTFFTF
|
| 5 | CC
|
MOVF
|
DNC | __________
|
DNC | DNC | DNC | DNC | FFF_TT_FT_
|
| 6 | CC
|
MOVF
|
DNC | FT____F_F_
|
DNC | DNC | DNC | DNC | DNF
|
| 7 | CC
|
DNF
|
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| 8 | CC
|
DNF
|
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| Results for PermAdmissibility (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 01 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | DNC | 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 | TTFTTTTFFT
|
TTTTTFTFFT
|
DNC | TTFTTTTFFT
|
DNC | DNC | DNC | DNC | TTFTTTT__T
|
| 02 | DNC | DNF
|
DNC | FTFTFTFTFF
|
DNC | DNC | DNC | DNC | _TFT_TFTF_
|
| 05 | DNC | DNF
|
DNC | TFFFFFTFTF
|
DNC | DNC | DNC | DNC | T___FFTFTF
|
| 10 | DNC | DNF
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | T__FF_F__T
|
| 20 | DNC | DNF
|
DNC | TFTTFTFFTT
|
DNC | DNC | DNC | DNC | TFTTFTFFTT
|
| 50 | DNC | DNF
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TF_FFTFFFF
|
| Results for Peterson (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | DNC | 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 | FFFFTFTTFT
|
FFFFTFTTFT
|
DNC | FFFFTFTTFT
|
DNC | DNC | DNC | DNC | FFFFTFTTFT
|
| 3 | FFFTTFFTFF
|
FFFTTTFTFF
|
DNC | FFFTTFFTFF
|
DNC | DNC | DNC | DNC | FFFTTFFTFF
|
| 4 | DNF
|
CC
|
DNC | TTTFFTFFFF
|
DNC | DNC | DNC | DNC | TTT_FTFFFF
|
| 5 | DNF
|
CC
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | _FFFFFFFTF
|
| 6 | DNF
|
CC
|
DNC | TTFTFFFFFF
|
DNC | DNC | DNC | DNC | TTFT_FF_FF
|
| 7 | DNF
|
CC
|
DNC | FFFTTFFFFT
|
DNC | DNC | DNC | DNC | FFFTTFFF_T
|
| Results for Philosophers (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 010000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 050000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 100000 | DNC | DNC | DNC | 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 | TFFFFFFFFT
|
TFFFFFFFFT
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | TFFFFFFFFT
|
| 000010 | TTFTTFTFFT
|
TTFTTFTFFT
|
DNC | TTFTTFTFFT
|
DNC | DNC | DNC | DNC | TTFTTFTFFT
|
| 000020 | TFTFTFFFFF
|
TFTFTFFFFF
|
DNC | TFTFTFFFFF
|
DNC | DNC | DNC | DNC | T_T_TFF_FF
|
| 000050 | FFFTFFFFFT
|
MOVF
|
DNC | FFFTFFFFFT
|
DNC | DNC | DNC | DNC | FF_TF_F__T
|
| 000100 | FTTFFFFFFF
|
MOVF
|
DNC | FTTFFFFFFF
|
DNC | DNC | DNC | DNC | _TTFF_FF_F
|
| 000200 | TFTTFTFTTF
|
MOVF
|
DNC | TFTTFTFTTF
|
DNC | DNC | DNC | DNC | T_TT_T_TTF
|
| 000500 | FTTTFFFFFF
|
T_________
|
DNC | FTTTFFFFFF
|
DNC | DNC | DNC | DNC | FTTT__F_FF
|
| 001000 | FFTTFFFFFF
|
MOVF
|
DNC | FFTTFFFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| 002000 | FFFFFFTFFF
|
DNF
|
DNC | FFFFFFTFFF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for PhilosophersDyn (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 03 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 80 | DNC | DNC | DNC | 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 | FFTFTFFFFF
|
DNC | TTTFTTFFFF
|
DNC | DNC | DNC | DNC | TTTFTTFFFF
|
| 10 | DNF
|
FFFFTFTFFF
|
DNC | FFFFTFFFTF
|
DNC | DNC | DNC | DNC | F_FFTFFFTF
|
| 20 | DNF
|
CC
|
DNC | TTFFFFF_FF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for Planning (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNC | DNC | TTFTFFFFTF
|
DNC | DNC | DNC | DNC | TTFTFFFFTF
|
| Results for QuasiCertifProtocol (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 18 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 22 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 28 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 32 | DNC | DNC | DNC | 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 | FFTFFTFTTF
|
FFTTFTFTTF
|
DNC | FFTFFTFTTF
|
DNC | DNC | DNC | DNC | FFTFFTFTTF
|
| 06 | DNC | FTTTFFFTTF
|
DNC | TFTTFFFTFT
|
DNC | DNC | DNC | DNC | TFTTFFFTFT
|
| 10 | DNC | MOVF
|
DNC | TFTFFTTTTF
|
DNC | DNC | DNC | DNC | TFTFFTTTTF
|
| 18 | DNC | MOVF
|
DNC | FFTFTFFFFF
|
DNC | DNC | DNC | DNC | _FT__F__F_
|
| 22 | DNC | MOVF
|
DNC | TFFFFTTFFT
|
DNC | DNC | DNC | DNC | T_______FT
|
| 28 | DNC | MOVF
|
DNC | FTTTFFFFFT
|
DNC | DNC | DNC | DNC | DNF
|
| 32 | DNC | MOVF
|
DNC | TFTFTFTFFT
|
DNC | DNC | DNC | DNC | _FTF____FT
|
| Results for Railroad (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | TTFFTFFFTF
|
TFTFFFTFFF
|
DNC | TTFFTFFFTF
|
DNC | DNC | DNC | DNC | TTFFTFFFTF
|
| 010 | DNF
|
MOVF
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TFFFFTFFFF
|
| 020 | DNF
|
MOVF
|
DNC | TFFFFFFTFF
|
DNC | DNC | DNC | DNC | TFFFFFFTF_
|
| 050 | CC
|
MOVF
|
DNC | TFTFTTTFTT
|
DNC | DNC | DNC | DNC | DNF
|
| 100 | DNF
|
MOVF
|
DNC | TFFFFTFFTF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for ResAllocation (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| R002C002 | FTTFFTTFFF
|
FTTFFTFTFF
|
DNC | FTTFFTTFFF
|
DNC | DNC | DNC | DNC | FTTFFTTFFF
|
| R003C002 | FTTTFFFFFT
|
FTTTTTFFFT
|
DNC | FTTTFFFFFT
|
DNC | DNC | DNC | DNC | FTTTFFFFFT
|
| R003C003 | FTFFFTFTFF
|
FTFFFFTTTT
|
DNC | FTFFFTFTFF
|
DNC | DNC | DNC | DNC | FTFFFTFTFF
|
| R003C005 | TTFFFFFFFF
|
TTFFFFFFFF
|
DNC | TTFFFFFFFF
|
DNC | DNC | DNC | DNC | TTFFFFFFFF
|
| R003C010 | TFFFFTFTTF
|
FFFFTTFTTF
|
DNC | TFFFFTFTTF
|
DNC | DNC | DNC | DNC | TFFFFTFTTF
|
| R003C015 | TTTFFFTTFF
|
TTTFFFTTFF
|
DNC | TTTFFFTTFF
|
DNC | DNC | DNC | DNC | TTTFFFTTFF
|
| R003C020 | FFFFFFTTFT
|
MOVF
|
DNC | FFFFFFTTFT
|
DNC | DNC | DNC | DNC | FFF_FF_TFT
|
| R003C050 | FTFTTFFFFT
|
MOVF
|
DNC | FTFTTFFFFT
|
DNC | DNC | DNC | DNC | F_F_TFFFFT
|
| R003C100 | FFFFFFTFFT
|
MOVF
|
DNC | FFFFFFTFFT
|
DNC | DNC | DNC | DNC | FFFFFFTFFT
|
| R005C002 | FFTTFFTTTT
|
FFTTFFTTTT
|
DNC | FFTTFFTTTT
|
DNC | DNC | DNC | DNC | FFTTFFTTTT
|
| R010C002 | FFFTTFFFTT
|
FFFTTFTFTF
|
DNC | FFFTTFFFTT
|
DNC | DNC | DNC | DNC | FFFTTFFFTT
|
| R015C002 | TFTFFTFTTF
|
TFTFFTFTTF
|
DNC | TFTFFTFTTF
|
DNC | DNC | DNC | DNC | TFTFFTFTTF
|
| R020C002 | FTFFTFTFFT
|
FTFTTFTTFT
|
DNC | FTFFTFTFFT
|
DNC | DNC | DNC | DNC | FTFFTFTFFT
|
| R050C002 | TTTFTFFFTF
|
TTTFTFFFTF
|
DNC | TTTFTFFFTF
|
DNC | DNC | DNC | DNC | TTTFTFFFTF
|
| R100C002 | TFTFTFFTFT
|
TFTTTFFTFT
|
DNC | TFTFTFFTFT
|
DNC | DNC | DNC | DNC | TFTFTFFTFT
|
| Results for Ring (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | CC
|
FFTFFFFTFF
|
DNC | FFTFFFFTFF
|
DNC | DNC | DNC | DNC | FFTF_FFTFF
|
| Results for RwMutex (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| r0010w0010 | FTFFFTFTTF
|
FTFFTTFTFF
|
DNC | FTFFFTFTTF
|
DNC | DNC | DNC | DNC | FTFFFTFTTF
|
| r0010w0020 | TFFFTTFTFF
|
FFFFFFFFFF
|
DNC | TFFFTTFTFF
|
DNC | DNC | DNC | DNC | TFFFTTFTFF
|
| r0010w0050 | TFFTFTTTFF
|
TFFTFTTTFF
|
DNC | TFFTFTTTFF
|
DNC | DNC | DNC | DNC | TFFTFTTTFF
|
| r0010w0100 | FFFFFFFFTF
|
FFFFTTFFTT
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | FFFFFFFFTF
|
| r0010w0500 | TFFFFTTFFT
|
TTFFFFFFFT
|
DNC | TFFFFTTFFT
|
DNC | DNC | DNC | DNC | TFFFFTTFFT
|
| r0010w1000 | TTFFTFFFFF
|
MOVF
|
DNC | TTFFTFFFFF
|
DNC | DNC | DNC | DNC | TTFFTFFFFF
|
| r0010w2000 | FFFFFTFTFF
|
MOVF
|
DNC | FFF______F
|
DNC | DNC | DNC | DNC | DNF
|
| r0020w0010 | FFFFTFFFTF
|
FFFTTFFFTF
|
DNC | FFFFTFFFTF
|
DNC | DNC | DNC | DNC | FFFFTFFFTF
|
| r0100w0010 | TFFFTTTTTT
|
TFFFTTTTTT
|
DNC | TFFFTTTTTT
|
DNC | DNC | DNC | DNC | TFFFTTTTTT
|
| r0500w0010 | FFFFFFFFTF
|
FFFFFFFFTF
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | FFFFFFFFTF
|
| r1000w0010 | FFTFFFFTFT
|
FFTFFFFTFT
|
DNC | FFTFFFFTFT
|
DNC | DNC | DNC | DNC | FFTFFFFTFT
|
| r2000w0010 | FFTFFTTFFF
|
MOVF
|
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| Results for SharedMemory (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 010000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 020000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 050000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 100000 | DNC | DNC | DNC | 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 | FFFTTFFTFF
|
FFFTTFFTFF
|
DNC | FFFTTFFTFF
|
DNC | DNC | DNC | DNC | FFFTTFFTFF
|
| 000010 | FFFFFFTFTT
|
FFFFFFTFTT
|
DNC | FFFFFFTFTT
|
DNC | DNC | DNC | DNC | FFFFF_TFTT
|
| 000020 | FTTFFTFFFF
|
MOVF
|
DNC | FTTFFTFFFF
|
DNC | DNC | DNC | DNC | FTTFFT_FFF
|
| 000050 | TFFFTTFFFF
|
CC
|
DNC | TFFFTTFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| 000100 | FFTTFFTTFF
|
CC
|
DNC | _F_T_FTTFF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for SimpleLoadBal (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 15 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | DNC | 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 | TFTFTFTTFF
|
TFTFTTTFFF
|
DNC | TFTFTFTTFF
|
DNC | DNC | DNC | DNC | TFTFTFTTFF
|
| 05 | FFFTFFTTFF
|
FFFTFFFTFF
|
DNC | FFFTFFTTFF
|
DNC | DNC | DNC | DNC | FFFTFFTTFF
|
| 10 | DNF
|
FFTFTFTFTF
|
DNC | FFTFTFTFTF
|
DNC | DNC | DNC | DNC | FFT_TFTFTF
|
| 15 | DNF
|
DNF
|
DNC | FTFTFTFFFF
|
DNC | DNC | DNC | DNC | FTFT_TF_F_
|
| 20 | CC
|
MOVF
|
DNC | FFTFTTFFTT
|
DNC | DNC | DNC | DNC | F_TFTT_F_T
|
| Results for TokenRing (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 010 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 015 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 020 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 030 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 040 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 050 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 100 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 200 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 500 | DNC | DNC | DNC | 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 | TFTTFTTFTF
|
TFTTFTTFTF
|
DNC | TFTTFTTFTF
|
DNC | DNC | DNC | DNC | TFTTFTT_T_
|
| 010 | TFTFFTFFFF
|
CC
|
DNC | TFTFFTFFFF
|
DNC | DNC | DNC | DNC | TFTFFTFF__
|
| 015 | CC
|
CC
|
DNC | TTFFTTFFFF
|
DNC | DNC | DNC | DNC | TTF_TTFFFF
|
| 020 | CC
|
CC
|
DNC | FFTFFFFFFT
|
DNC | DNC | DNC | DNC | _FTF_____T
|
| Results for Vasy2003 (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FFFTFTTTTF
|
DNC | DNC | DNC | DNC | F_FTFTT___
|
| Results for CSRepetitions (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 03 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 04 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | 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 | TTFFFFFFFF
|
DNC | TTFFFFFFFF
|
DNC | DNC | DNC | DNC | TTFFFFFFFF
|
| 03 | DNC | DNF
|
DNC | FFTTTFFTFT
|
DNC | DNC | DNC | DNC | FFTTTFFTFT
|
| 04 | DNC | DNF
|
DNC | FFFTFTTFFF
|
DNC | DNC | DNC | DNC | FFFTFTTFFF
|
| 05 | DNC | DNF
|
DNC | FFFTFFFTFF
|
DNC | DNC | DNC | DNC | FF_T__FT_F
|
| 07 | DNC | CC
|
DNC | FFTFFTFFTF
|
DNC | DNC | DNC | DNC | F_TFFTFFT_
|
| 10 | DNC | CC
|
DNC | FTTTFFTTTT
|
DNC | DNC | DNC | DNC | FTTTFFTTTT
|
| Results for Dekker (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | DNC | TTFFFTFTTF
|
DNC | TTTFFTFTFF
|
DNC | DNC | DNC | DNC | TTTFFTFTFF
|
| 015 | DNC | FTTFFFTFFF
|
DNC | FTTFFFTFFF
|
DNC | DNC | DNC | DNC | FTTFFFTFFF
|
| 020 | DNC | FTTFFFFFTT
|
DNC | FTTFFFFFTT
|
DNC | DNC | DNC | DNC | FTTFFFFFTT
|
| 050 | DNC | MOVF
|
DNC | FTTTTTTFFT
|
DNC | DNC | DNC | DNC | FTTTTTTFFT
|
| 100 | DNC | MOVF
|
DNC | FTFTTFTFTT
|
DNC | DNC | DNC | DNC | FTFTTFTFTT
|
| 200 | DNC | DNF
|
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| Results for DotAndBoxes (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | 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 | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 16 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 24 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 48 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 76 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 98 | DNC | DNC | DNC | 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 | FTFFTFFFFT
|
DNC | TTFFTFFFFT
|
DNC | DNC | DNC | DNC | TT_FTFFFFT
|
| Results for Echo (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| d02r09 | DNC | FFFTFFFFFF
|
DNC | TFFFFTFTTT
|
DNC | DNC | DNC | DNC | TFFFFTF_TT
|
| d02r11 | DNC | TFFFFFTFTF
|
DNC | FTFFFFFTFF
|
DNC | DNC | DNC | DNC | FTFFFF_TFF
|
| d02r15 | DNC | TFFFFFFFTF
|
DNC | FFFTTFTFFF
|
DNC | DNC | DNC | DNC | FFFTTFTFFF
|
| d02r19 | DNC | TFTFFFTTFF
|
DNC | FFFFTFFFFF
|
DNC | DNC | DNC | DNC | FFFFTFFFFF
|
| d03r03 | DNC | TFTFTFFFFT
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| d03r05 | DNC | FFFFTTFFFF
|
DNC | TFFTFFTFTF
|
DNC | DNC | DNC | DNC | TFFTFFTFTF
|
| d03r07 | DNC | FFFFFTFTFT
|
DNC | TFFTFFFFFF
|
DNC | DNC | DNC | DNC | TFFTFFFFFF
|
| d04r03 | DNC | FTFTFFTFFT
|
DNC | TFTFTTFTTF
|
DNC | DNC | DNC | DNC | TFTFTTFTTF
|
| d05r03 | DNC | TFFTFTTFFF
|
DNC | FFFFFFFTFT
|
DNC | DNC | DNC | DNC | FFFFFFFTFT
|
| Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | DNC | CC
|
DNC | FFFFTTTTFT
|
DNC | DNC | DNC | DNC | FFFFTTTTFT
|
| 020 | DNC | CC
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | TFFFFFFFFT
|
| 050 | DNC | CC
|
DNC | TFFTFFFFTF
|
DNC | DNC | DNC | DNC | TFFTFFFFTF
|
| 100 | DNC | CC
|
DNC | FFTTFFFFFF
|
DNC | DNC | DNC | DNC | FFTTFFFFFF
|
| 200 | DNC | CC
|
DNC | FFFTFFTFTF
|
DNC | DNC | DNC | DNC | FFFTFFTFTF
|
| 500 | DNC | CC
|
DNC | FFFFFTFTFF
|
DNC | DNC | DNC | DNC | FFFFFTFTFF
|
| Results for FMS (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | FFFTFFFTFT
|
DNC | FFFTFFFTFT
|
DNC | DNC | DNC | DNC | FFFTFFFTFT
|
| 005 | DNC | FFTFFFFFFT
|
DNC | FFTFFFFFFT
|
DNC | DNC | DNC | DNC | FFTFFFFFFT
|
| 010 | DNC | FTFFTFFTFF
|
DNC | FTFFTFFTFF
|
DNC | DNC | DNC | DNC | FTFFTFFTFF
|
| 020 | DNC | TTFFFTTFTF
|
DNC | TTFFFTTFTF
|
DNC | DNC | DNC | DNC | TTFFFTTFTF
|
| 050 | DNC | TFFFTFFFTF
|
DNC | TFFFTFFFTF
|
DNC | DNC | DNC | DNC | TFFFTFFFTF
|
| 100 | DNC | TFFFFTTFFT
|
DNC | TFFFFTTFFT
|
DNC | DNC | DNC | DNC | TFFFFTTFFT
|
| 200 | DNC | TFFFTFTTTF
|
DNC | TFFFTFTTTF
|
DNC | DNC | DNC | DNC | TFFFTFTTTF
|
| 500 | DNC | DNF
|
DNC | FFTFTFTFFT
|
DNC | DNC | DNC | DNC | FFTFTFTFFT
|
| Results for GlobalResAllocation (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 03 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 09 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 11 | DNC | DNC | DNC | 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 | FFFFFFFFFF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | F_FFFFFF_F
|
| Results for HouseConstruction (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | FTFFFTFTFF
|
DNC | FTFFFTFTFF
|
DNC | DNC | DNC | DNC | FTFFFTFTFF
|
| 005 | DNC | TFFFFTFFFF
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TFFFFTFFFF
|
| 010 | DNC | FFFFFTFFTF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| 020 | DNC | FTFFTTFFFF
|
DNC | FTFFTTFFFF
|
DNC | DNC | DNC | DNC | FTFFTTFFFF
|
| 050 | DNC | FFFFFTTFTT
|
DNC | FFFFFTTFTT
|
DNC | DNC | DNC | DNC | FFFFFTTFTT
|
| 100 | DNC | MOVF
|
DNC | FFFFTTFFTT
|
DNC | DNC | DNC | DNC | FFFFTTFFTT
|
| 200 | DNC | DNF
|
DNC | FTTFTFFFTT
|
DNC | DNC | DNC | DNC | FTTFTFFFTT
|
| 500 | DNC | DNF
|
DNC | FFFTFFTFFT
|
DNC | DNC | DNC | DNC | FFFTFFTFFT
|
| Results for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | TFFFFTFFFF
|
DNC | FTTTFFTTFF
|
DNC | DNC | DNC | DNC | FTTTFFTTFF
|
| Results for Kanban (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 0005 | DNC | FFFFTFTFTT
|
DNC | FFFFTFTFTT
|
DNC | DNC | DNC | DNC | FFFFTFTFTT
|
| 0010 | DNC | FTFTTTFTFT
|
DNC | FTFTTTFTFT
|
DNC | DNC | DNC | DNC | FTFTTTFTFT
|
| 0020 | DNC | FFFTFFFTTF
|
DNC | FFFTFFFTTF
|
DNC | DNC | DNC | DNC | FFFTFFFTTF
|
| 0050 | DNC | TFFFTFFFFF
|
DNC | TFFFTFFFFF
|
DNC | DNC | DNC | DNC | TFFFTFFFFF
|
| 0100 | DNC | TFFFFFFFFT
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | TFFFFFFFFT
|
| 0200 | DNC | FTFTTTFFTF
|
DNC | FTFTTTFFTF
|
DNC | DNC | DNC | DNC | FTFTTTFFTF
|
| 0500 | DNC | DNF
|
DNC | TTFFTFFFFF
|
DNC | DNC | DNC | DNC | TTFFTFFFFF
|
| 1000 | DNC | DNF
|
DNC | TFTFFFTTFF
|
DNC | DNC | DNC | DNC | TFTFFFTTFF
|
| Results for LamportFastMutEx (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | DNC | 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 | FTTFFFFFTF
|
DNC | FTFFFTFFFF
|
DNC | DNC | DNC | DNC | FTFFFTFFFF
|
| 3 | DNC | TFTFFFFFTT
|
DNC | FFTFFFFFTF
|
DNC | DNC | DNC | DNC | FFTFFFFFTF
|
| 4 | DNC | TFFFTTFFFT
|
DNC | TFFFTTFFFT
|
DNC | DNC | DNC | DNC | TFFFTTFF_T
|
| 5 | DNC | MOVF
|
DNC | FFFFFTFTFF
|
DNC | DNC | DNC | DNC | FFFFFTFTFF
|
| 6 | DNC | DNF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFT_FTF
|
| 7 | DNC | DNF
|
DNC | TFFTFFTTFF
|
DNC | DNC | DNC | DNC | T_FT_FTTF_
|
| 8 | DNC | DNF
|
DNC | TTFFTFTFFF
|
DNC | DNC | DNC | DNC | T___TFTFFF
|
| Results for MAPK (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 008 | DNC | FTFTTTTFTF
|
DNC | FTFTTTTFTF
|
DNC | DNC | DNC | DNC | FTFTTTTFTF
|
| 020 | DNC | DNF
|
DNC | FTTFFTFTFT
|
DNC | DNC | DNC | DNC | FTTFFTFTFT
|
| 040 | DNC | DNF
|
DNC | FFTTFTFFFT
|
DNC | DNC | DNC | DNC | FFTTFTFFFT
|
| 080 | DNC | DNF
|
DNC | FFFFFFTTFF
|
DNC | DNC | DNC | DNC | FFFFFFTTFF
|
| 160 | DNC | DNF
|
DNC | FFFTTFFTFT
|
DNC | DNC | DNC | DNC | FFFTTFFTFT
|
| 320 | DNC | DNF
|
DNC | TFFFTFFFFT
|
DNC | DNC | DNC | DNC | TFFFTFFFFT
|
| Results for NeoElection (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | DNC | 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 | FFFFFFTTFT
|
DNC | FTFFFFTTFT
|
DNC | DNC | DNC | DNC | FTFF__TTFT
|
| 3 | DNC | TFFFFFFFFF
|
DNC | FTFFF_FFFF
|
DNC | DNC | DNC | DNC | FTFFFFF_F_
|
| 4 | DNC | MOVF
|
DNC | DNF
|
DNC | DNC | DNC | DNC | _FFTFTFFTF
|
| 5 | DNC | MOVF
|
DNC | __________
|
DNC | DNC | DNC | DNC | FFF_TT_FT_
|
| 6 | DNC | CC
|
DNC | FT____F_F_
|
DNC | DNC | DNC | DNC | DNF
|
| 7 | DNC | DNF
|
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| 8 | DNC | DNF
|
DNC | __________
|
DNC | DNC | DNC | DNC | DNF
|
| Results for PermAdmissibility (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 01 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | DNC | 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 | TTTTTFTFFT
|
DNC | TTFTTTTFFT
|
DNC | DNC | DNC | DNC | TTFTTTT__T
|
| 02 | DNC | DNF
|
DNC | FTFTFTFTFF
|
DNC | DNC | DNC | DNC | _TFT_TFTF_
|
| 05 | DNC | DNF
|
DNC | TFFFFFTFTF
|
DNC | DNC | DNC | DNC | T___FFTFTF
|
| 10 | DNC | DNF
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | T__FF_F__T
|
| 20 | DNC | DNF
|
DNC | TFTTFTFFTT
|
DNC | DNC | DNC | DNC | TFTTFTFFTT
|
| 50 | DNC | DNF
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TF_FFTFFFF
|
| Results for Peterson (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | DNC | 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 | FFFFTFTTFT
|
DNC | FFFFTFTTFT
|
DNC | DNC | DNC | DNC | FFFFTFTTFT
|
| 3 | DNC | TFFTTFFTFF
|
DNC | FFFTTFFTFF
|
DNC | DNC | DNC | DNC | FFFTTFFTFF
|
| 4 | DNC | MOVF
|
DNC | TTTFFTFFFF
|
DNC | DNC | DNC | DNC | TTT_FTFFFF
|
| 5 | DNC | MOVF
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | _FFFFFFFTF
|
| 6 | DNC | DNF
|
DNC | TTFTFFFFFF
|
DNC | DNC | DNC | DNC | TTFT_FF_FF
|
| 7 | DNC | DNF
|
DNC | FFFTTFFFFT
|
DNC | DNC | DNC | DNC | FFFTTFFF_T
|
| Results for Philosophers (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 010000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 050000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 100000 | DNC | DNC | DNC | 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 | TFFFFFFFFT
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | TFFFFFFFFT
|
| 000010 | DNC | TTFTTFTFFT
|
DNC | TTFTTFTFFT
|
DNC | DNC | DNC | DNC | TTFTTFTFFT
|
| 000020 | DNC | TFTFTFFFFF
|
DNC | TFTFTFFFFF
|
DNC | DNC | DNC | DNC | T_T_TFF_FF
|
| 000050 | DNC | MOVF
|
DNC | FFFTFFFFFT
|
DNC | DNC | DNC | DNC | FF_TF_F__T
|
| 000100 | DNC | MOVF
|
DNC | FTTFFFFFFF
|
DNC | DNC | DNC | DNC | _TTFF_FF_F
|
| 000200 | DNC | MOVF
|
DNC | TFTTFTFTTF
|
DNC | DNC | DNC | DNC | T_TT_T_TTF
|
| 000500 | DNC | MOVF
|
DNC | FTTTFFFFFF
|
DNC | DNC | DNC | DNC | FTTT__F_FF
|
| 001000 | DNC | MOVF
|
DNC | FFTTFFFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| 002000 | DNC | DNF
|
DNC | FFFFFFTFFF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for PhilosophersDyn (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 03 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 80 | DNC | DNC | DNC | 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 | FFTFTFFFFF
|
DNC | TTTFTTFFFF
|
DNC | DNC | DNC | DNC | TTTFTTFFFF
|
| 10 | DNC | CC
|
DNC | FFFFTFFFTF
|
DNC | DNC | DNC | DNC | F_FFTFFFTF
|
| 20 | DNC | DNF
|
DNC | TTFFFFFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for Planning (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | FFTFFTFFFF
|
DNC | TTFTFFFFTF
|
DNC | DNC | DNC | DNC | TTFTFFFFTF
|
| Results for QuasiCertifProtocol (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 18 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 22 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 28 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 32 | DNC | DNC | DNC | 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 | FFFFFFFTTF
|
DNC | FFTFFTFTTF
|
DNC | DNC | DNC | DNC | FFTFFTFTTF
|
| 06 | DNC | FTTTFFFTTF
|
DNC | TFTTFFFTFT
|
DNC | DNC | DNC | DNC | TFTTFFFTFT
|
| 10 | DNC | MOVF
|
DNC | TFTFFTTTTF
|
DNC | DNC | DNC | DNC | TFTFFTTTTF
|
| 18 | DNC | CC
|
DNC | FFTFTFFFFF
|
DNC | DNC | DNC | DNC | _FT__F__F_
|
| 22 | DNC | DNF
|
DNC | TFFFFTTFFT
|
DNC | DNC | DNC | DNC | T_______FT
|
| 28 | DNC | DNF
|
DNC | FTTTFFFFFT
|
DNC | DNC | DNC | DNC | DNF
|
| 32 | DNC | DNF
|
DNC | TFTFTFTFFT
|
DNC | DNC | DNC | DNC | _FTF____FT
|
| Results for Railroad (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | DNC | TFTFFFTFFF
|
DNC | TTFFTFFFTF
|
DNC | DNC | DNC | DNC | TTFFTFFFTF
|
| 010 | DNC | MOVF
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TFFFFTFFFF
|
| 020 | DNC | DNF
|
DNC | TFFFFFFTFF
|
DNC | DNC | DNC | DNC | TFFFFFFTF_
|
| 050 | DNC | DNF
|
DNC | TFTFTTTFTT
|
DNC | DNC | DNC | DNC | DNF
|
| 100 | DNC | DNF
|
DNC | TFFFFTFFTF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for ResAllocation (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| R002C002 | DNC | CC
|
DNC | FTTFFTTFFF
|
DNC | DNC | DNC | DNC | FTTFFTTFFF
|
| R003C002 | DNC | CC
|
DNC | FTTTFFFFFT
|
DNC | DNC | DNC | DNC | FTTTFFFFFT
|
| R003C003 | DNC | CC
|
DNC | FTFFFTFTFF
|
DNC | DNC | DNC | DNC | FTFFFTFTFF
|
| R003C005 | DNC | CC
|
DNC | TTFFFFFFFF
|
DNC | DNC | DNC | DNC | TTFFFFFFFF
|
| R003C010 | DNC | CC
|
DNC | TFFFFTFTTF
|
DNC | DNC | DNC | DNC | TFFFFTFTTF
|
| R003C015 | DNC | CC
|
DNC | TTTFFFTTFF
|
DNC | DNC | DNC | DNC | TTTFFFTTFF
|
| R003C020 | DNC | CC
|
DNC | FFFFFFTTFT
|
DNC | DNC | DNC | DNC | FFF_FF_TFT
|
| R003C050 | DNC | CC
|
DNC | FTFTTFFFFT
|
DNC | DNC | DNC | DNC | F_F_TFFFFT
|
| R003C100 | DNC | CC
|
DNC | FFFFFFTFFT
|
DNC | DNC | DNC | DNC | FFFFFFTFFT
|
| R005C002 | DNC | CC
|
DNC | FFTTFFTTTT
|
DNC | DNC | DNC | DNC | FFTTFFTTTT
|
| R010C002 | DNC | CC
|
DNC | FFFTTFFFTT
|
DNC | DNC | DNC | DNC | FFFTTFFFTT
|
| R015C002 | DNC | CC
|
DNC | TFTFFTFTTF
|
DNC | DNC | DNC | DNC | TFTFFTFTTF
|
| R020C002 | DNC | CC
|
DNC | FTFFTFTFFT
|
DNC | DNC | DNC | DNC | FTFFTFTFFT
|
| R050C002 | DNC | CC
|
DNC | TTTFTFFFTF
|
DNC | DNC | DNC | DNC | TTTFTFFFTF
|
| R100C002 | DNC | CC
|
DNC | TFTFTFFTFT
|
DNC | DNC | DNC | DNC | TFTFTFFTFT
|
| Results for Ring (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FFTFFFFTFF
|
DNC | DNC | DNC | DNC | FFTF_FFTFF
|
| Results for RwMutex (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| r0010w0010 | DNC | FTFFFTFTFF
|
DNC | FTFFFTFTTF
|
DNC | DNC | DNC | DNC | FTFFFTFTTF
|
| r0010w0020 | DNC | FFFFFFTFFF
|
DNC | TFFFTTFTFF
|
DNC | DNC | DNC | DNC | TFFFTTFTFF
|
| r0010w0050 | DNC | TFFTFTTTFF
|
DNC | TFFTFTTTFF
|
DNC | DNC | DNC | DNC | TFFTFTTTFF
|
| r0010w0100 | DNC | FFFFTTFFTT
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | FFFFFFFFTF
|
| r0010w0500 | DNC | TTFFFFFFFT
|
DNC | TFFFFTTFFT
|
DNC | DNC | DNC | DNC | TFFFFTTFFT
|
| r0010w1000 | DNC | FFFFTTTTFF
|
DNC | TTFFTFFFFF
|
DNC | DNC | DNC | DNC | TTFFTFFFFF
|
| r0010w2000 | DNC | MOVF
|
DNC | _____TFTF_
|
DNC | DNC | DNC | DNC | DNF
|
| r0020w0010 | DNC | FFFFTFFFTF
|
DNC | FFFFTFFFTF
|
DNC | DNC | DNC | DNC | FFFFTFFFTF
|
| r0100w0010 | DNC | MOVF
|
DNC | TFFFTTTTTT
|
DNC | DNC | DNC | DNC | TFFFTTTTTT
|
| r0500w0010 | DNC | MOVF
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | FFFFFFFFTF
|
| r1000w0010 | DNC | MOVF
|
DNC | FFTFFFFTFT
|
DNC | DNC | DNC | DNC | FFTFFFFTFT
|
| r2000w0010 | DNC | CC
|
DNC | _____TTFF_
|
DNC | DNC | DNC | DNC | DNF
|
| Results for SharedMemory (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 010000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 020000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 050000 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 100000 | DNC | DNC | DNC | 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 | FFFTTFFTFF
|
DNC | FFFTTFFTFF
|
DNC | DNC | DNC | DNC | FFFTTFFTFF
|
| 000010 | DNC | FFFFTFFFTT
|
DNC | FFFFFFTFTT
|
DNC | DNC | DNC | DNC | FFFFF_TFTT
|
| 000020 | DNC | MOVF
|
DNC | FTTFFTFFFF
|
DNC | DNC | DNC | DNC | FTTFFT_FFF
|
| 000050 | DNC | CC
|
DNC | TFFFTTFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| 000100 | DNC | DNF
|
DNC | __TTFFTTFF
|
DNC | DNC | DNC | DNC | DNF
|
| Results for SimpleLoadBal (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 15 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | DNC | 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 | TFTFTFTFFF
|
DNC | TFTFTFTTFF
|
DNC | DNC | DNC | DNC | TFTFTFTTFF
|
| 05 | DNC | FFFTFFTTFF
|
DNC | FFFTFFTTFF
|
DNC | DNC | DNC | DNC | FFFTFFTTFF
|
| 10 | DNC | DNF
|
DNC | FFTFTFTFTF
|
DNC | DNC | DNC | DNC | FFT_TFTFTF
|
| 15 | DNC | DNF
|
DNC | FTFTFTFFFF
|
DNC | DNC | DNC | DNC | FTFT_TF_F_
|
| 20 | DNC | DNF
|
DNC | FFTFTTFFTT
|
DNC | DNC | DNC | DNC | F_TFTT_F_T
|
| Results for TokenRing (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 010 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 015 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 020 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 030 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 040 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 050 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 100 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 200 | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC | DNC |
| 500 | DNC | DNC | DNC | 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 | TFTTFTTTTT
|
DNC | TFTTFTTFTF
|
DNC | DNC | DNC | DNC | TFTTFTT_T_
|
| 010 | DNC | CC
|
DNC | TFTFFTFFFF
|
DNC | DNC | DNC | DNC | TFTFFTFF__
|
| 015 | DNC | CC
|
DNC | TTFFTTFFFF
|
DNC | DNC | DNC | DNC | TTF_TTFFFF
|
| 020 | DNC | CC
|
DNC | FFTFFFFFFT
|
DNC | DNC | DNC | DNC | _FTF_____T
|
| Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FFFTFTTTTF
|
DNC | DNC | DNC | DNC | F_FTFTT___
|