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 reachabilitycardinality | |||||||||
| Results for ARMCacheCoherence (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
 |
DNC | _F_F______
|
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 | DNC | CC
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFFFFFFFFF
|
| 05 | DNC | CC
|
DNC | FTTTFFFTTF
|
DNC | DNC | DNC | DNC | FTTTFFFTTF
|
| 10 | DNC | CC
|
DNC | TFFFFTFFTF
|
DNC | DNC | DNC | DNC | TFFFFTFFTF
|
| 15 | DNC | CC
|
DNC | TFFFFFFFFT
|
DNC | DNC | DNC | DNC | TFFFFFFFFT
|
| 20 | DNC | CC
|
DNC | FTFFFFFTFF
|
DNC | DNC | DNC | DNC | FTFFFFFTFF
|
| 25 | DNC | CC
|
DNC | FFTFFFTFFT
|
DNC | DNC | DNC | DNC | _FTFFFTFFT
|
| 50 | DNC | CC
|
DNC | _FFFFFTFFF
|
DNC | DNC | DNC | DNC | _FFFF_T_FF
|
| Results for CircadianClock (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000001 | DNC | CC
|
DNC | FFFTFFFFFF
|
DNC | DNC | DNC | DNC | FFFTFFFFFF
|
| 000010 | DNC | CC
|
DNC | TFTFTFFTFT
|
DNC | DNC | DNC | DNC | TFTFTFFTFT
|
| 000100 | DNC | CC
|
DNC | FTFFTTFFFF
|
DNC | DNC | DNC | DNC | FTFFTTFFFF
|
| 001000 | DNC | CC
|
DNC | TTFFFTFFFF
|
DNC | DNC | DNC | DNC | TTFFFTFFFF
|
| 010000 | DNC | CC
|
DNC | TFFFTFFFTF
|
DNC | DNC | DNC | DNC | TFFFTFFFTF
|
| 100000 | DNC | CC
|
DNC | TTFFFTTFTT
|
DNC | DNC | DNC | DNC | TTFFFTTFTT
|
| Results for CircularTrains (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 012 | DNC | CC
|
DNC | TTTFTFFTFF
|
DNC | DNC | DNC | DNC | TTTFTFFTFF
|
| 024 | DNC | CC
|
DNC | FFFTFFFFTF
|
DNC | DNC | DNC | DNC | FFFTFFFFTF
|
| 048 | DNC | CC
|
DNC | TFFFFFFTFT
|
DNC | DNC | DNC | DNC | TFFFFFFTF_
|
| 096 | DNC | CC
|
DNC | TTFFFFFFTT
|
DNC | DNC | DNC | DNC | TTFFFFFFTT
|
| 192 | DNC | DNF
|
DNC | FFFTFFFFFF
|
DNC | DNC | DNC | DNC | FFFTFFFFFF
|
| 384 | DNC | DNF
|
DNC | TFFFTFFFTF
|
DNC | DNC | DNC | DNC | TFFFTFFFTF
|
| 768 | DNC | DNF
|
DNC | TFTFFFFTFT
|
DNC | DNC | DNC | DNC | TFTFFFFTFT
|
| 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 |
| 04 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 40 | 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 | DNC | CC
|
DNC | TTFTFFFFTF
|
DNC | DNC | DNC | DNC | TTFTFFFFTF
|
| 04 | DNC | DNF
|
DNC | FTFFTFTTFF
|
DNC | DNC | DNC | DNC | FTFFTFTTFF
|
| 10 | DNC | CC
|
DNC | TFFTFFTFFF
|
DNC | DNC | DNC | DNC | TFFTF_TFFF
|
| 20 | DNC | CC
|
DNC | TTTTTFFFFT
|
DNC | DNC | DNC | DNC | TTTTTFFFFT
|
| 40 | DNC | DNF
|
DNC | T_________
|
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 | TTFFFTFFFF
|
DNC | DNC | DNC | DNC | _TFFFTFFFF
|
| D05N050 | DNC | CC
|
DNC | FFTTFFFFTT
|
DNC | DNC | DNC | DNC | FFTTFFFFTT
|
| D05N100 | DNC | CC
|
DNC | FTTFTFFFFT
|
DNC | DNC | DNC | DNC | FTTFTFFFFT
|
| D05N150 | DNC | CC
|
DNC | FFFFTFFFTF
|
DNC | DNC | DNC | DNC | FFFFTFFFTF
|
| D05N200 | DNC | CC
|
DNC | FFFTTFTTTF
|
DNC | DNC | DNC | DNC | FFFTTFTTTF
|
| D05N250 | DNC | CC
|
DNC | TFFFTFFTTT
|
DNC | DNC | DNC | DNC | TFFFTFFTTT
|
| D05N300 | DNC | CC
|
DNC | TFFFTFFTFT
|
DNC | DNC | DNC | DNC | TFFFTFFTFT
|
| D05N350 | DNC | CC
|
DNC | FFTFFFFTFT
|
DNC | DNC | DNC | DNC | F_TFFFFTFT
|
| D10N010 | DNC | CC
|
DNC | TTFTFFTTFT
|
DNC | DNC | DNC | DNC | TTFTF_TTFT
|
| D10N050 | DNC | CC
|
DNC | FFFFFFFTTF
|
DNC | DNC | DNC | DNC | FFFFFFFTTF
|
| D10N100 | DNC | CC
|
DNC | FFFTTFFFFF
|
DNC | DNC | DNC | DNC | FFFTTFFFFF
|
| D10N150 | DNC | CC
|
DNC | FTFFTTT_FF
|
DNC | DNC | DNC | DNC | FTFFTTTTFF
|
| D10N200 | DNC | CC
|
DNC | FTTFFFFFFF
|
DNC | DNC | DNC | DNC | FTTFFFFFFF
|
| D20N010 | DNC | CC
|
DNC | FTTFFFFTFF
|
DNC | DNC | DNC | DNC | FTTFF_FTFF
|
| D20N050 | DNC | CC
|
DNC | FTFTFF_FFF
|
DNC | DNC | DNC | DNC | __FT_F__F_
|
| D20N100 | DNC | CC
|
DNC | TFTFFFFTFT
|
DNC | DNC | DNC | DNC | T_TFFFFTFT
|
| D20N150 | DNC | CC
|
DNC | FTFFFFFTFF
|
DNC | DNC | DNC | DNC | FTFFFFFTFF
|
| D30N010 | DNC | CC
|
DNC | FFFFFFFFTT
|
DNC | DNC | DNC | DNC | FFF__FF__T
|
| D30N050 | DNC | CC
|
DNC | TTFFTFFFFF
|
DNC | DNC | DNC | DNC | T_FF_FFFF_
|
| D30N100 | DNC | CC
|
DNC | ___FFTTFFF
|
DNC | DNC | DNC | DNC | ___FFT_FFF
|
| D30N150 | DNC | CC
|
DNC | _TTFFF__FT
|
DNC | DNC | DNC | DNC | FTTFFF_F_T
|
| D40N010 | DNC | CC
|
DNC | TTTFTT_TTF
|
DNC | DNC | DNC | DNC | DNF
|
| D40N050 | DNC | CC
|
DNC | FT_TFFFTTF
|
DNC | DNC | DNC | DNC | DNF
|
| D40N100 | DNC | CC
|
DNC | TTTTFTTFTT
|
DNC | DNC | DNC | DNC | DNF
|
| D40N150 | DNC | CC
|
DNC | FFFTFTTFTF
|
DNC | DNC | DNC | DNC | DNF
|
| D50N010 | DNC | CC
|
DNC | FTTFF_TFT_
|
DNC | DNC | DNC | DNC | DNF
|
| D50N050 | DNC | CC
|
DNC | FFTFFTF_F_
|
DNC | DNC | DNC | DNC | DNF
|
| D50N100 | DNC | CC
|
DNC | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | DNF
|
| D50N150 | DNC | CC
|
DNC | FFTTTTTTTF
|
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 | DNC | CC
|
DNC | FTTFTFTFFF
|
DNC | DNC | DNC | DNC | FTTFTFTFFF
|
| 000010 | DNC | CC
|
DNC | FTFTTFFFTF
|
DNC | DNC | DNC | DNC | FTFTTFFFTF
|
| 000100 | DNC | CC
|
DNC | FFTTTTTFTF
|
DNC | DNC | DNC | DNC | FF_TTTTFTF
|
| 001000 | DNC | CC
|
DNC | FFFFTTTFFF
|
DNC | DNC | DNC | DNC | _FFFT_TFFF
|
| 010000 | DNC | CC
|
DNC | TFFFTFFFTF
|
DNC | DNC | DNC | DNC | TFFFTFFFTF
|
| 100000 | DNC | CC
|
DNC | TFFFFFFFFF
|
DNC | DNC | DNC | DNC | TFFFFFFFFF
|
| Results for EnergyBus (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
|
DNC | TTFTTTTTFF
|
DNC | DNC | DNC | DNC | TTFTT_TTFF
|
| Results for MultiwaySync (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
|
DNC | FFTTTFFFFF
|
DNC | DNC | DNC | DNC | FF_TTFFFFF
|
| Results for ParamProductionCell (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 0 | DNC | CC
|
DNC | TTTFTFTTTT
|
DNC | DNC | DNC | DNC | TTTFTFTTTT
|
| 1 | DNC | CC
|
DNC | TTFTTTFFFF
|
DNC | DNC | DNC | DNC | TTFTTTFFFF
|
| 2 | DNC | CC
|
DNC | FFTFTFTTFF
|
DNC | DNC | DNC | DNC | FFTFTFTTFF
|
| 3 | DNC | CC
|
DNC | FFTTFTFFFF
|
DNC | DNC | DNC | DNC | FFTTFTFFFF
|
| 4 | DNC | CC
|
DNC | FFTFTFFFFF
|
DNC | DNC | DNC | DNC | FFTFTFFFFF
|
| 5 | DNC | CC
|
DNC | FFFFFFFFTF
|
DNC | DNC | DNC | DNC | FFFFFFFFTF
|
| Results for PolyORBLF (Colored, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| S02J04T06 | DNC | DNC | _F_T_FF_FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S02J04T08 | DNC | DNC | FFF_FTFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S02J04T10 | DNC | DNC | F_FFF__F_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S02J06T06 | DNC | DNC | FFF__F_F_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S02J06T08 | DNC | DNC | F___FFFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S02J06T10 | DNC | DNC | F___F__F_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S04J04T06 | DNC | DNC | _FFFFFFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S04J04T08 | DNC | DNC | F_FFFFFFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S04J04T10 | DNC | DNC | FFF_F_T_F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S04J06T06 | DNC | DNC | __FFFF___F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S04J06T08 | DNC | DNC | F__F__FFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S04J06T10 | DNC | DNC | FFF__F____
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S06J04T04 | DNC | DNC | __F_F_FFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S06J04T06 | DNC | DNC | ___FF__F_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S06J04T08 | DNC | DNC | F__F_FF_F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S06J06T04 | DNC | DNC | FFFFFF_FF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S06J06T06 | DNC | DNC | FF__F_FFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S06J06T08 | DNC | DNC | _FFFFFFF_F
|
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 | TFF_TFFTFF
|
DNC | DNC | DNC | DNC | TFF_TFFTFF
|
| S02J04T08 | DNC | CC
|
DNC | FFFFF_FF_F
|
DNC | DNC | DNC | DNC | FFFFF_FF_F
|
| S02J04T10 | DNC | CC
|
DNC | FTFFFTTFTF
|
DNC | DNC | DNC | DNC | FTFFFTTFTF
|
| S02J06T06 | DNC | CC
|
DNC | FFF_TF_FTF
|
DNC | DNC | DNC | DNC | FFF_TF_FTF
|
| S02J06T08 | DNC | CC
|
DNC | FTFTFFFFTF
|
DNC | DNC | DNC | DNC | FTFTFFFFTF
|
| S02J06T10 | DNC | CC
|
DNC | FTTTFTFFFF
|
DNC | DNC | DNC | DNC | FTTTFTFFFF
|
| S04J04T06 | DNC | CC
|
DNC | FFF_FFFFTF
|
DNC | DNC | DNC | DNC | FFF_FFFFTF
|
| S04J04T08 | DNC | CC
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFFFFFFFFF
|
| S04J04T10 | DNC | CC
|
DNC | FFFTFT_TFT
|
DNC | DNC | DNC | DNC | FFFTFT_TFT
|
| S04J06T06 | DNC | CC
|
DNC | FTFFFFFTTF
|
DNC | DNC | DNC | DNC | FTFFFFFTTF
|
| S04J06T08 | DNC | CC
|
DNC | FT_F_TFFFF
|
DNC | DNC | DNC | DNC | FTFF_TFF_F
|
| S04J06T10 | DNC | CC
|
DNC | FFFT_FT_FT
|
DNC | DNC | DNC | DNC | FFF__FT_FT
|
| S06J04T04 | DNC | CC
|
DNC | FTFTFTFFFF
|
DNC | DNC | DNC | DNC | FTFT_TF_FF
|
| S06J04T06 | DNC | CC
|
DNC | T_TFF__FTF
|
DNC | DNC | DNC | DNC | DNF
|
| S06J04T08 | DNC | CC
|
DNC | FTTF_FFTFT
|
DNC | DNC | DNC | DNC | DNF
|
| S06J06T04 | DNC | CC
|
DNC | FFFFFFTFFT
|
DNC | DNC | DNC | DNC | FFFFFF_FFT
|
| S06J06T06 | DNC | CC
|
DNC | FFTFFTFFF_
|
DNC | DNC | DNC | DNC | DNF
|
| S06J06T08 | DNC | CC
|
DNC | _FFFFFFFTF
|
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 | ____FF_FFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S05J30 | DNC | DNC | __F_F_____
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S05J40 | DNC | DNC | __FF__F_F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S05J60 | DNC | DNC | F_____FF__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S05J80 | DNC | DNC | __F__F__FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S10J20 | DNC | DNC | F__F___FFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S10J30 | DNC | DNC | _FF_F__F__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S10J40 | DNC | DNC | FFFFFF__FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S10J60 | DNC | DNC | F_F__FFF__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| S10J80 | DNC | DNC | _F__F__F_F
|
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 | T_TFFF_FF_
|
DNC | DNC | DNC | DNC | T_TFFFFFFF
|
| S05J30 | DNC | CC
|
DNC | _TF_FFFFTF
|
DNC | DNC | DNC | DNC | _TFFFFFFTF
|
| S05J40 | DNC | CC
|
DNC | TTFFTTF_FT
|
DNC | DNC | DNC | DNC | TTFFTTF_FT
|
| S05J60 | DNC | CC
|
DNC | F__FTTFFFT
|
DNC | DNC | DNC | DNC | F_T__TFFFT
|
| S05J80 | DNC | CC
|
DNC | FFFTTFT_FF
|
DNC | DNC | DNC | DNC | F_FTTFT_FF
|
| S10J20 | DNC | CC
|
DNC | FTTFT_FFFF
|
DNC | DNC | DNC | DNC | DNF
|
| S10J30 | DNC | CC
|
DNC | TFF_FT_FTF
|
DNC | DNC | DNC | DNC | DNF
|
| S10J40 | DNC | CC
|
DNC | FFFF_FF__F
|
DNC | DNC | DNC | DNC | DNF
|
| S10J60 | DNC | CC
|
DNC | FTFFTFFFTT
|
DNC | DNC | DNC | DNC | DNF
|
| S10J80 | DNC | CC
|
DNC | FFTFFTTF_F
|
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 | TFFFFTFFFF
|
DNC | DNC | DNC | DNC | TFFFFTFFFF
|
| Results for Solitaire (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| EngCT7x7 | DNC | CC
|
DNC | TFFFTTFTTF
|
DNC | DNC | DNC | DNC | TFFFTTFTTF
|
| EngNC7x7 | DNC | CC
|
DNC | TFFFFFFTFF
|
DNC | DNC | DNC | DNC | TFFFFFFTFF
|
| FrnCT7x7 | DNC | CC
|
DNC | FFFFFTFTTF
|
DNC | DNC | DNC | DNC | FF_FFTFTTF
|
| FrnNC7x7 | DNC | CC
|
DNC | TTFTTTTFFF
|
DNC | DNC | DNC | DNC | TTFTTTTFFF
|
| SqrCT5x5 | DNC | CC
|
DNC | FFFFFFFFTT
|
DNC | DNC | DNC | DNC | FFFFFFFFTT
|
| SqrNC5x5 | DNC | CC
|
DNC | FFTFFTFTFT
|
DNC | DNC | DNC | DNC | FFTFFTFTFT
|
| Results for UtahNoC (P/T, Surprise model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | CC
|
DNC | TFTFTTTFTF
|
DNC | DNC | DNC | DNC | TFTFTTTFTF
|
| Results for CSRepetitions (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | F__FFF__FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 03 | DNC | DNC | _F__F_____
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 04 | DNC | DNC | ___FF_FFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | F_FFFFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | F____F__F_
|
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 | FTFFFFFTFF
|
DNC | FTFFFFFTFF
|
DNC | DNC | DNC | DNC | FTFFFFFTFF
|
| 03 | DNC | FFTTFTTTTT
|
DNC | FFTTFTTTTT
|
DNC | DNC | DNC | DNC | FFTTFTTTTT
|
| 04 | DNC | MOVF
|
DNC | TTTFFTFFFF
|
DNC | DNC | DNC | DNC | TTTFFTFFFF
|
| 05 | DNC | MOVF
|
DNC | FTFFFFFFFT
|
DNC | DNC | DNC | DNC | F_FFFFFFFT
|
| 07 | DNC | MOVF
|
DNC | TFTTFTFTTF
|
DNC | DNC | DNC | DNC | TFT_FT__TF
|
| 10 | DNC | CC
|
DNC | FTFTTFFTFT
|
DNC | DNC | DNC | DNC | FTFTTFFTF_
|
| Results for Dekker (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | DNC | TTFFTFFFFT
|
DNC | TTFFTFFFFT
|
DNC | DNC | DNC | DNC | TTFFTFFTFT
|
| 015 | DNC | TFFFFTTTTT
|
DNC | TFFFFTTTTT
|
DNC | DNC | DNC | DNC | TFFFFTTTTT
|
| 020 | DNC | TFFFTFFTFT
|
DNC | TFFFTFFTFT
|
DNC | DNC | DNC | DNC | _FFFTFFTFT
|
| 050 | DNC | DNF
|
DNC | FFTFTFTFTT
|
DNC | DNC | DNC | DNC | FFTFTFTFTT
|
| 100 | DNC | MOVF
|
DNC | FFFFTTTFTF
|
DNC | DNC | DNC | DNC | FFFFTTT_TF
|
| 200 | DNC | 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 | FFTTTFTF__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | T_FFF__FTT
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | __F__FTFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | __FF__FFF_
|
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 | FF_FFF_TFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 16 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 24 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 48 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 76 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 98 | 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 | DNC | FFFFFFTTFF
|
DNC | FFFFFFTTFF
|
DNC | DNC | DNC | DNC | FFTFFFTTFF
|
| Results for Echo (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| d02r09 | DNC | MOVF
|
DNC | FTFFTTFTFF
|
DNC | DNC | DNC | DNC | FTFFTTFTFF
|
| d02r11 | DNC | MOVF
|
DNC | TTFFTTFFTF
|
DNC | DNC | DNC | DNC | TTFFTT_FTF
|
| d02r15 | DNC | MOVF
|
DNC | TFTTFFTTFT
|
DNC | DNC | DNC | DNC | TFT_F_TTFT
|
| d02r19 | DNC | MOVF
|
DNC | FFFTFFFFFF
|
DNC | DNC | DNC | DNC | FFFTFFFFFF
|
| d03r03 | DNC | MOVF
|
DNC | FTTTFFFTTF
|
DNC | DNC | DNC | DNC | FT_TFFFTTF
|
| d03r05 | DNC | MOVF
|
DNC | FFFFTFFFTT
|
DNC | DNC | DNC | DNC | FFFFTFFFTT
|
| d03r07 | DNC | MOVF
|
DNC | FTFFFFTFFT
|
DNC | DNC | DNC | DNC | FTFFF_TFFT
|
| d04r03 | DNC | MOVF
|
DNC | FFFTFTTTFF
|
DNC | DNC | DNC | DNC | FFFTFTTTFF
|
| d05r03 | DNC | MOVF
|
DNC | FFFFTTFFTF
|
DNC | DNC | DNC | DNC | FFF_TTFFTF
|
| Results for Eratosthenes (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | DNC | TFFTFFTFTF
|
DNC | FTFTFTTFTF
|
DNC | DNC | DNC | DNC | FTFTFTTFTF
|
| 020 | DNC | TFFFFTTFTF
|
DNC | TTFFFTTFFF
|
DNC | DNC | DNC | DNC | TTFFFTTFFF
|
| 050 | DNC | TFFFFFTFFF
|
DNC | FTTFFT_FFF
|
DNC | DNC | DNC | DNC | FTTFFT_FFF
|
| 100 | DNC | TTTFTTTFTF
|
DNC | TT_FTTFF_F
|
DNC | DNC | DNC | DNC | TT_FTTFF_F
|
| 200 | DNC | FFTFFTFFFT
|
DNC | FTTFTTFFFT
|
DNC | DNC | DNC | DNC | FTTFTTFFFT
|
| 500 | DNC | CC
|
DNC | FFFFFFFTTT
|
DNC | DNC | DNC | DNC | FFFFFFFTTT
|
| Results for FMS (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | TTFFFFTTFF
|
DNC | TTFFFFTFFF
|
DNC | DNC | DNC | DNC | TTFFFFTFFF
|
| 005 | DNC | FFFFTTFFFF
|
DNC | FFFFTTFFFF
|
DNC | DNC | DNC | DNC | FFFFTTFFFF
|
| 010 | DNC | FTTFTFTFFT
|
DNC | FTTFTFTFFT
|
DNC | DNC | DNC | DNC | FTTFTFTFFT
|
| 020 | DNC | FFFTTFTFFF
|
DNC | FFFTTFFFFF
|
DNC | DNC | DNC | DNC | FFFTTFFFFF
|
| 050 | DNC | FTTFFFFFFT
|
DNC | FTTFFFFFFT
|
DNC | DNC | DNC | DNC | FTTFFFFFFT
|
| 100 | DNC | TFFFFTTFFF
|
DNC | TFFFFTTFFF
|
DNC | DNC | DNC | DNC | TFFFFTTFFF
|
| 200 | DNC | FFFTTTTFFT
|
DNC | FFFTTTTFFT
|
DNC | DNC | DNC | DNC | FFFTTTTFFT
|
| 500 | DNC | FFF_______
|
DNC | FFFFFTFFFF
|
DNC | DNC | DNC | DNC | FFFFFTFFFF
|
| 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 |
| 05 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 09 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 11 | 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 | FFTFTFFTFT
|
DNC | FFTFTFFTFT
|
DNC | DNC | DNC | DNC | FFTFTFFTFT
|
| Results for HouseConstruction (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | TTTFFFTTTF
|
DNC | TTFFFFTTTF
|
DNC | DNC | DNC | DNC | TTFFFFTTTF
|
| 005 | DNC | TFFFTFTFFF
|
DNC | TFFFFFFFFF
|
DNC | DNC | DNC | DNC | TFFFFFFFFF
|
| 010 | DNC | FTFFFFFTTT
|
DNC | FTFFTFTTFF
|
DNC | DNC | DNC | DNC | FTFFTFTTFF
|
| 020 | DNC | FTTTFTFTFF
|
DNC | FFTTFTFTFF
|
DNC | DNC | DNC | DNC | FFTTFTFTFF
|
| 050 | DNC | CC
|
DNC | FFFTFFFFFT
|
DNC | DNC | DNC | DNC | FFFFFFFFFT
|
| 100 | DNC | MOVF
|
DNC | FFFFFFFFTT
|
DNC | DNC | DNC | DNC | FFFFFFFFTT
|
| 200 | DNC | MOVF
|
DNC | FFTFTTTFFF
|
DNC | DNC | DNC | DNC | FFTFTTTFFF
|
| 500 | DNC | DNF
|
DNC | FFTFFFTTFF
|
DNC | DNC | DNC | DNC | FFTFFFTTFF
|
| Results for IBMB2S565S3960 (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FFFFTFFFFF
|
DNC | DNC | DNC | DNC | FFFFTFFFFF
|
| Results for Kanban (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 0005 | DNC | FTTTTTTTTT
|
DNC | FTTFTFTTTT
|
DNC | DNC | DNC | DNC | FTTFTFTTTT
|
| 0010 | DNC | TFTTFFFFTF
|
DNC | TFTTFFFFTF
|
DNC | DNC | DNC | DNC | TFTTFFFFTF
|
| 0020 | DNC | TTFFFFTTTF
|
DNC | TTFFFFTTTF
|
DNC | DNC | DNC | DNC | TTFFFFTTTF
|
| 0050 | DNC | FFFTTTTFTF
|
DNC | FFFTFTTTTF
|
DNC | DNC | DNC | DNC | FFFTFTTTTF
|
| 0100 | DNC | TFFFFTFFTT
|
DNC | TFFFFTFFTT
|
DNC | DNC | DNC | DNC | TFFFFTFFTT
|
| 0200 | DNC | FTFTFFFFFF
|
DNC | FTFTFFFFFF
|
DNC | DNC | DNC | DNC | FTFTFFFFFF
|
| 0500 | DNC | DNF
|
DNC | FTFFTTTFTF
|
DNC | DNC | DNC | DNC | MOVF
|
| 1000 | DNC | DNF
|
DNC | FFFFFFFFFT
|
DNC | DNC | DNC | DNC | FFFFFFFFFT
|
| Results for LamportFastMutEx (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | __FFFFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | F__F__TTF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | _F____FF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | F__FF__F_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | _F_FF_F__F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | _F___FFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | _F__F__F_F
|
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 | TTFFFFFFFT
|
DNC | TTFFFFFFFT
|
DNC | DNC | DNC | DNC | TTFFFFFFFT
|
| 3 | DNC | FTTFTTTTFF
|
DNC | FTTFTTTTFF
|
DNC | DNC | DNC | DNC | FTTFTTTTFF
|
| 4 | DNC | TFTTTTFFTF
|
DNC | TFTTTTFFTF
|
DNC | DNC | DNC | DNC | TFTTTTFFTF
|
| 5 | DNC | DNF
|
DNC | FFTFFTTFTF
|
DNC | DNC | DNC | DNC | FFTFFTTFTF
|
| 6 | DNC | DNF
|
DNC | TFTFFFFFFF
|
DNC | DNC | DNC | DNC | TF_FF_FFFF
|
| 7 | DNC | DNF
|
DNC | TFTTTFFFTF
|
DNC | DNC | DNC | DNC | TFTTTF_FTF
|
| 8 | DNC | DNF
|
DNC | TFTFF_TFTF
|
DNC | DNC | DNC | DNC | _FTFF_T_TF
|
| Results for MAPK (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 008 | DNC | TTFTTFFTTF
|
DNC | FFFFTFFTTF
|
DNC | DNC | DNC | DNC | FFFFTFFTTF
|
| 020 | DNC | DNF
|
DNC | TFFFFFTFFT
|
DNC | DNC | DNC | DNC | TFFFFFT_FT
|
| 040 | DNC | DNF
|
DNC | TFFFFTFTFF
|
DNC | DNC | DNC | DNC | TFFFFTFTF_
|
| 080 | DNC | DNF
|
DNC | TTFTFFFTFF
|
DNC | DNC | DNC | DNC | T_FTFFFTFF
|
| 160 | DNC | DNF
|
DNC | TTFFTFFFFF
|
DNC | DNC | DNC | DNC | TTFF__FFFF
|
| 320 | DNC | DNF
|
DNC | FFTFTFFFFF
|
DNC | DNC | DNC | DNC | FFTFTFFFFF
|
| Results for NeoElection (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | F_T_F_T___
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | _T____FF_F
|
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 | F____F_FF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | FFF__FF___
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | FF__FFF___
|
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 | FTTFFFTFTF
|
DNC | FTTFFFTFTF
|
DNC | DNC | DNC | DNC | FTTFFFTFTF
|
| 3 | DNC | FTTFTTFFFF
|
DNC | __TFTTFF_F
|
DNC | DNC | DNC | DNC | _TTFTTFFFF
|
| 4 | DNC | MOVF
|
DNC | _F_FF_F_FF
|
DNC | DNC | DNC | DNC | _F_FF_F_FF
|
| 5 | DNC | MOVF
|
DNC | ____F_____
|
DNC | DNC | DNC | DNC | TFF_F_F__F
|
| 6 | DNC | MOVF
|
DNC | F___TFF_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, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 01 | DNC | DNC | _F_FFFF_FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 02 | DNC | DNC | _______FFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | F_FFFFFFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | F_F__FFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | _F_____F__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | __F__F_FFF
|
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 | TFTFFFFTFF
|
DNC | TFTFFFFTFF
|
DNC | DNC | DNC | DNC | TFTFFFFTFF
|
| 02 | DNC | DNF
|
DNC | TTFFTTTFFF
|
DNC | DNC | DNC | DNC | TTFFTTTFFF
|
| 05 | DNC | DNF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFF_FFFF_F
|
| 10 | DNC | DNF
|
DNC | FFFTTFFFFT
|
DNC | DNC | DNC | DNC | FFFTTFFFFT
|
| 20 | DNC | DNF
|
DNC | FFTTTFTFFT
|
DNC | DNC | DNC | DNC | FFTTTFTFFT
|
| 50 | DNC | DNF
|
DNC | FFFTTFTFFF
|
DNC | DNC | DNC | DNC | FFFTTFTFFF
|
| Results for Peterson (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | _F_FFFFFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | FF___FF_FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | _FFFFFF_FF
|
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 | TFTFFFFFFF
|
DNC | TFTFFFFFFF
|
DNC | DNC | DNC | DNC | TFTFFFFFFF
|
| 3 | DNC | FFTTTFFTFF
|
DNC | FFTTTFFTFF
|
DNC | DNC | DNC | DNC | FFTTTFFTFF
|
| 4 | DNC | CC
|
DNC | TFFFFFFTFF
|
DNC | DNC | DNC | DNC | TFFFFFFTFF
|
| 5 | DNC | CC
|
DNC | TTTFTFFTFF
|
DNC | DNC | DNC | DNC | TT_F_FFTFF
|
| 6 | DNC | CC
|
DNC | TFFFTTFFFF
|
DNC | DNC | DNC | DNC | TFFFT_FFFF
|
| 7 | DNC | CC
|
DNC | TFTFTTF_TT
|
DNC | DNC | DNC | DNC | TFTFT_F_TT
|
| Results for Philosophers (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | DNC | FFF_F_FF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | __FF___FF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | FFF___F_F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | _____FFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNF
|
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 | FFFTFTFFFF
|
DNC | FFFTFTFFFF
|
DNC | DNC | DNC | DNC | FFFTFTFFFF
|
| 000010 | DNC | TTFFFTTFFT
|
DNC | TTFFFTTFFT
|
DNC | DNC | DNC | DNC | TTFFFTTFFT
|
| 000020 | DNC | FFTFFFFTFT
|
DNC | FF_FFFFT_T
|
DNC | DNC | DNC | DNC | FF_FFF_T_T
|
| 000050 | DNC | CC
|
DNC | FFFTTTFTFT
|
DNC | DNC | DNC | DNC | FFFT_TF_FT
|
| 000100 | DNC | CC
|
DNC | TTTTTFFFTF
|
DNC | DNC | DNC | DNC | TTTTTFFFT_
|
| 000200 | DNC | T_________
|
DNC | TTFTFFFFFF
|
DNC | DNC | DNC | DNC | _TFTFFFFFF
|
| 000500 | DNC | CC
|
DNC | FT_TFFTTFF
|
DNC | DNC | DNC | DNC | FT_TFFTTFF
|
| 001000 | DNC | MOVF
|
DNC | FFFF___FFF
|
DNC | DNC | DNC | DNC | FF_FFF_FFF
|
| 002000 | DNC | DNF
|
DNC | __________
|
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 |
| 10 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 80 | 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 | FTFFFFFTFT
|
DNC | FTFFFFFTFT
|
DNC | DNC | DNC | DNC | FTFFFFFTFT
|
| 10 | DNC | FFTFFTFFFT
|
DNC | FFTFFTFFFT
|
DNC | DNC | DNC | DNC | FFTFFTFFFT
|
| 20 | DNC | CC
|
DNC | FTFFFF_FFF
|
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 | TTFFTTTFFF
|
DNC | DNC | DNC | DNC | __FFTTT__F
|
| Results for QuasiCertifProtocol (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | F__F_F_F__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | _FF__F__F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | FFFFFF__F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 18 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 22 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 28 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 32 | DNC | DNC | DNF
|
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 | FTTFTFFFFF
|
DNC | FTTFTFFFFF
|
DNC | DNC | DNC | DNC | FTTFTFFFFF
|
| 06 | DNC | FFFFTFTTFF
|
DNC | FFFFTFTTFF
|
DNC | DNC | DNC | DNC | FFFFTFTTFF
|
| 10 | DNC | MOVF
|
DNC | F_FFFFTTFF
|
DNC | DNC | DNC | DNC | __FFF_TTFF
|
| 18 | DNC | MOVF
|
DNC | FF_TFTTTTF
|
DNC | DNC | DNC | DNC | FF_TF_TTTF
|
| 22 | DNC | MOVF
|
DNC | FTFFFTT_F_
|
DNC | DNC | DNC | DNC | FTFFF_T_F_
|
| 28 | DNC | MOVF
|
DNC | TTTFTFFFFF
|
DNC | DNC | DNC | DNC | T_T_TFFF_F
|
| 32 | DNC | MOVF
|
DNC | TFFFFFTFFF
|
DNC | DNC | DNC | DNC | T__FF_TFFF
|
| Results for Railroad (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | DNC | FFFFTFFFTT
|
DNC | FFFFFFFTTF
|
DNC | DNC | DNC | DNC | FFFFFFFTTF
|
| 010 | DNC | MOVF
|
DNC | FFFFFTFTFT
|
DNC | DNC | DNC | DNC | FFFFFTFTFT
|
| 020 | DNC | MOVF
|
DNC | FTTFFTTFTF
|
DNC | DNC | DNC | DNC | FTTFF_TFTF
|
| 050 | DNC | MOVF
|
DNC | TFFFTTFTFF
|
DNC | DNC | DNC | DNC | _FFFTTFTFF
|
| 100 | DNC | MOVF
|
DNC | F_TFTTFFFF
|
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 | DNC | FTTTFTFTFT
|
DNC | FTFTFTFTFT
|
DNC | DNC | DNC | DNC | FTFTFTFTFT
|
| R003C002 | DNC | TFFFFFTFFT
|
DNC | TFFFFFTFFT
|
DNC | DNC | DNC | DNC | TFFFFFTFFT
|
| R003C003 | DNC | FFTTFFFFTF
|
DNC | FFTTFFFFTF
|
DNC | DNC | DNC | DNC | FFTTFFFFTF
|
| R003C005 | DNC | FFFFFFTFTF
|
DNC | FFFFFFTFTF
|
DNC | DNC | DNC | DNC | FFFFFFTFTF
|
| R003C010 | DNC | FTFFTTFFTF
|
DNC | FTFFFTFFTF
|
DNC | DNC | DNC | DNC | FTFFFTFFTF
|
| R003C015 | DNC | FFFTFFTFFT
|
DNC | FFFTFFTFFT
|
DNC | DNC | DNC | DNC | FFFTFFTFFT
|
| R003C020 | DNC | MOVF
|
DNC | FTFTFFFFFF
|
DNC | DNC | DNC | DNC | FTFTFFFFFF
|
| R003C050 | DNC | MOVF
|
DNC | TFFFFTTFFF
|
DNC | DNC | DNC | DNC | TFFFFTTFFF
|
| R003C100 | DNC | MOVF
|
DNC | FTTFTFFFTF
|
DNC | DNC | DNC | DNC | FTTFTFFF_F
|
| R005C002 | DNC | TFTTFFFFFF
|
DNC | TFTTFFFFFF
|
DNC | DNC | DNC | DNC | TFTTFFFFFF
|
| R010C002 | DNC | TFTFFFFFTF
|
DNC | TFTFFFFFTF
|
DNC | DNC | DNC | DNC | TFTFFFFFTF
|
| R015C002 | DNC | TTFFTFFFTF
|
DNC | TTFFTFFFTF
|
DNC | DNC | DNC | DNC | TTFFTFFFTF
|
| R020C002 | DNC | FTFFTTFFFF
|
DNC | FTFFTTFTFF
|
DNC | DNC | DNC | DNC | FTF_TTFTFF
|
| R050C002 | DNC | FTFFFFFFFF
|
DNC | FTFFFFFFFF
|
DNC | DNC | DNC | DNC | FTFFFFFFFF
|
| R100C002 | DNC | TFFFTFFFTF
|
DNC | TFFFTFFFTF
|
DNC | DNC | DNC | DNC | TF_FTFFFTF
|
| Results for Ring (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | FTFFFTFTTF
|
DNC | FTFFFTFTTF
|
DNC | DNC | DNC | DNC | FTFFFTFTTF
|
| Results for RwMutex (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| r0010w0010 | DNC | FFFFFTFFFT
|
DNC | FFFFFTFFTT
|
DNC | DNC | DNC | DNC | FFFFFTFFTT
|
| r0010w0020 | DNC | FFFTFFFTTT
|
DNC | FFFTFFFTTT
|
DNC | DNC | DNC | DNC | FFFTTFFTTT
|
| r0010w0050 | DNC | FFTTTTFTFF
|
DNC | FFTTTTFTFF
|
DNC | DNC | DNC | DNC | FFTTTTFTFF
|
| r0010w0100 | DNC | FFFTTFTFFT
|
DNC | FFFTTFTFFT
|
DNC | DNC | DNC | DNC | FFFTTFTFFT
|
| r0010w0500 | DNC | TTTFFFFTTF
|
DNC | TTTFFFFTFF
|
DNC | DNC | DNC | DNC | TTTFFFFTFF
|
| r0010w1000 | DNC | MOVF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| r0010w2000 | DNC | MOVF
|
DNC | F_T______F
|
DNC | DNC | DNC | DNC | FFTFFFTTTF
|
| r0020w0010 | DNC | FFFFFTFFTF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| r0100w0010 | DNC | FFFFFFFFFF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFFFFFFFFF
|
| r0500w0010 | DNC | FFTTFFFFTF
|
DNC | FFTTFFFFTF
|
DNC | DNC | DNC | DNC | FFTTFFFFTF
|
| r1000w0010 | DNC | FTFFTFFTFT
|
DNC | FTFFTFFTFT
|
DNC | DNC | DNC | DNC | FTFFTFFTFT
|
| r2000w0010 | DNC | 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 | F_FF__F___
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | __FF_F__FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | _F_FF___FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | ___FFFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | _____F_FF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 010000 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 020000 | 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 SharedMemory (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | FTFFTFFFTT
|
DNC | FTFFTFFFTT
|
DNC | DNC | DNC | DNC | FTFFTFFFTT
|
| 000010 | DNC | TTFFFFTFFF
|
DNC | FTFFFFTFFF
|
DNC | DNC | DNC | DNC | FTFFFFTFFF
|
| 000020 | DNC | MOVF
|
DNC | TFTFFTTTFF
|
DNC | DNC | DNC | DNC | TFTFFTTTFF
|
| 000050 | DNC | CC
|
DNC | T__FFF_F_T
|
DNC | DNC | DNC | DNC | DNF
|
| 000100 | DNC | CC
|
DNC | F___TF___T
|
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 | F__F_FFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | _F_F_FFFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | FF____F__F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 15 | DNC | DNC | __FFFFFF__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | FF_FFFFFFF
|
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 | FTTFTFFFTF
|
DNC | FTTFTFFFTF
|
DNC | DNC | DNC | DNC | FTTFTFFFTF
|
| 05 | DNC | TFFFTFFFFF
|
DNC | TFFFTFFFFF
|
DNC | DNC | DNC | DNC | TFFFTFFFFF
|
| 10 | DNC | FFTTTFFTTF
|
DNC | FFTTTFFTTF
|
DNC | DNC | DNC | DNC | FFTTTFFT_F
|
| 15 | DNC | DNF
|
DNC | FFFFFFFFTT
|
DNC | DNC | DNC | DNC | FFFFFFFFT_
|
| 20 | DNC | MOVF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFFFFFFFFF
|
| Results for TokenRing (Colored, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | DNC | DNC | _TT_TT_T_T
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 010 | DNC | DNC | _F__FF__TT
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 015 | DNC | DNC | _TFFTFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 020 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 030 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 040 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 050 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 100 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 200 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 500 | 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 | DNC | TTTFTTTTTT
|
DNC | TTTFTTTTTT
|
DNC | DNC | DNC | DNC | TTTFTTTTTT
|
| 010 | DNC | CC
|
DNC | FFFFFFTTTT
|
DNC | DNC | DNC | DNC | FFFFFFTTTT
|
| 015 | DNC | CC
|
DNC | FTFFTFFFFF
|
DNC | DNC | DNC | DNC | __FF_FFFF_
|
| 020 | DNC | CC
|
DNC | FFTFFTFFFT
|
DNC | DNC | DNC | DNC | FFTFF_FFF_
|
| Results for Vasy2003 (P/T, Known model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FTTTFFFFFF
|
DNC | DNC | DNC | DNC | _TTT_FFFFF
|
| Results for CSRepetitions (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | F__FFF__FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 03 | DNC | DNC | _F__F_____
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 04 | DNC | DNC | ___FF_FFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | F_FFFFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | F____F__F_
|
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 | FTFFFFFTFF
|
DNC | FTFFFFFTFF
|
DNC | DNC | DNC | DNC | FTFFFFFTFF
|
| 03 | DNC | DNF
|
DNC | FFTTFTTTTT
|
DNC | DNC | DNC | DNC | FFTTFTTTTT
|
| 04 | DNC | DNF
|
DNC | TTTFFTFFFF
|
DNC | DNC | DNC | DNC | TTTFFTFFFF
|
| 05 | DNC | DNF
|
DNC | FTFFFFFFFT
|
DNC | DNC | DNC | DNC | F_FFFFFFFT
|
| 07 | DNC | CC
|
DNC | TFTTFTFTTF
|
DNC | DNC | DNC | DNC | TFT_FT__TF
|
| 10 | DNC | CC
|
DNC | FTFTTFFTFT
|
DNC | DNC | DNC | DNC | FTFTTFFTF_
|
| Results for Dekker (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | DNC | TTFFTFFFFT
|
DNC | TTFFTFFFFT
|
DNC | DNC | DNC | DNC | TTFFTFFTFT
|
| 015 | DNC | TFFFFTTTTT
|
DNC | TFFFFTTTTT
|
DNC | DNC | DNC | DNC | TFFFFTTTTT
|
| 020 | DNC | TFFFTFFTFT
|
DNC | TFFFTFFTFT
|
DNC | DNC | DNC | DNC | _FFFTFFTFT
|
| 050 | DNC | MOVF
|
DNC | FFTFTFTFTT
|
DNC | DNC | DNC | DNC | FFTFTFTFTT
|
| 100 | DNC | MOVF
|
DNC | FFFFTTTFTF
|
DNC | DNC | DNC | DNC | FFFFTTT_TF
|
| 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 | FFTTTFTF__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | T_FFF__FTT
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | __F__FTFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | __FF__FFF_
|
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 | FF_FFF_TFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 16 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 24 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 48 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 76 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 98 | 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 | FFFFFFTTFF
|
DNC | FFFFFFTTFF
|
DNC | DNC | DNC | DNC | FFTFFFTTFF
|
| Results for Echo (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| d02r09 | DNC | FTTTTFFFFF
|
DNC | FTFFTTFTFF
|
DNC | DNC | DNC | DNC | FTFFTTFTFF
|
| d02r11 | DNC | FTTFFTTFFF
|
DNC | TTFFTTFFTF
|
DNC | DNC | DNC | DNC | TTFFTT_FTF
|
| d02r15 | DNC | FFFFTTTFTF
|
DNC | TFTTFFTTFT
|
DNC | DNC | DNC | DNC | TFT_F_TTFT
|
| d02r19 | DNC | FTFTFTFTFF
|
DNC | FFFTFFFFFF
|
DNC | DNC | DNC | DNC | FFFTFFFFFF
|
| d03r03 | DNC | FTFFTFFFFT
|
DNC | FTTTFFFTTF
|
DNC | DNC | DNC | DNC | FT_TFFFTTF
|
| d03r05 | DNC | TTFTFTFFTF
|
DNC | FFFFTFFFTT
|
DNC | DNC | DNC | DNC | FFFFTFFFTT
|
| d03r07 | DNC | FTTFTTTFFF
|
DNC | FTFFFFTFFT
|
DNC | DNC | DNC | DNC | FTFFF_TFFT
|
| d04r03 | DNC | FFTTFFTTTF
|
DNC | FFFTFTTTFF
|
DNC | DNC | DNC | DNC | FFFTFTTTFF
|
| d05r03 | DNC | TFFTFTTFTF
|
DNC | FFFFTTFFTF
|
DNC | DNC | DNC | DNC | FFF_TTFFTF
|
| Results for Eratosthenes (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 010 | DNC | CC
|
DNC | FTFTFTTFTF
|
DNC | DNC | DNC | DNC | FTFTFTTFTF
|
| 020 | DNC | CC
|
DNC | TTFFFTTFFF
|
DNC | DNC | DNC | DNC | TTFFFTTFFF
|
| 050 | DNC | CC
|
DNC | FTTFFT_FFF
|
DNC | DNC | DNC | DNC | FTTFFT_FFF
|
| 100 | DNC | CC
|
DNC | DNF
|
DNC | DNC | DNC | DNC | TT_FTTFF_F
|
| 200 | DNC | CC
|
DNC | FTTFTTFFFT
|
DNC | DNC | DNC | DNC | FTTFTTFFFT
|
| 500 | DNC | CC
|
DNC | FFFFFFFTTT
|
DNC | DNC | DNC | DNC | FFFFFFFTTT
|
| Results for FMS (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | TTFFFFTFFF
|
DNC | TTFFFFTFFF
|
DNC | DNC | DNC | DNC | TTFFFFTFFF
|
| 005 | DNC | FFFFTTFFFF
|
DNC | FFFFTTFFFF
|
DNC | DNC | DNC | DNC | FFFFTTFFFF
|
| 010 | DNC | FTTFTFTFFT
|
DNC | FTTFTFTFFT
|
DNC | DNC | DNC | DNC | FTTFTFTFFT
|
| 020 | DNC | FFFTTFTFFF
|
DNC | FFFTTFFFFF
|
DNC | DNC | DNC | DNC | FFFTTFFFFF
|
| 050 | DNC | FTTFFFFFFT
|
DNC | FTTFFFFFFT
|
DNC | DNC | DNC | DNC | FTTFFFFFFT
|
| 100 | DNC | TFFFFTTFFF
|
DNC | TFFFFTTFFF
|
DNC | DNC | DNC | DNC | TFFFFTTFFF
|
| 200 | DNC | FFFTTTTFFT
|
DNC | FFFTTTTFFT
|
DNC | DNC | DNC | DNC | FFFTTTTFFT
|
| 500 | DNC | DNF
|
DNC | FFFFFTFFFF
|
DNC | DNC | DNC | DNC | FFFFFTFFFF
|
| 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 |
| 05 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 07 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 09 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 11 | 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 | FFTFTFFTFT
|
DNC | FFTFTFFTFT
|
DNC | DNC | DNC | DNC | FFTFTFFTFT
|
| Results for HouseConstruction (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 002 | DNC | TTTFFFTTTF
|
DNC | TTFFFFTTTF
|
DNC | DNC | DNC | DNC | TTFFFFTTTF
|
| 005 | DNC | TFFFTFTFFF
|
DNC | TFFFFFFFFF
|
DNC | DNC | DNC | DNC | TFFFFFFFFF
|
| 010 | DNC | FTFFFFFTTT
|
DNC | FTFFTFTTFF
|
DNC | DNC | DNC | DNC | FTFFTFTTFF
|
| 020 | DNC | FTTTFTFTFF
|
DNC | FFTTFTFTFF
|
DNC | DNC | DNC | DNC | FFTTFTFTFF
|
| 050 | DNC | CC
|
DNC | FFFTFFFFFT
|
DNC | DNC | DNC | DNC | FFFFFFFFFT
|
| 100 | DNC | MOVF
|
DNC | FFFFFFFFTT
|
DNC | DNC | DNC | DNC | FFFFFFFFTT
|
| 200 | DNC | DNF
|
DNC | FFTFTTTFFF
|
DNC | DNC | DNC | DNC | FFTFTTTFFF
|
| 500 | DNC | DNF
|
DNC | FFTFFFTTFF
|
DNC | DNC | DNC | DNC | FFTFFFTTFF
|
| Results for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | TTFTTTTTTF
|
DNC | FFFFTFFFFF
|
DNC | DNC | DNC | DNC | FFFFTFFFFF
|
| Results for Kanban (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 0005 | DNC | FTTTTTTTTT
|
DNC | FTTFTFTTTT
|
DNC | DNC | DNC | DNC | FTTFTFTTTT
|
| 0010 | DNC | TFTTFFFFTF
|
DNC | TFTTFFFFTF
|
DNC | DNC | DNC | DNC | TFTTFFFFTF
|
| 0020 | DNC | TTFFFFTTTF
|
DNC | TTFFFFTTTF
|
DNC | DNC | DNC | DNC | TTFFFFTTTF
|
| 0050 | DNC | FFFTTTTFTF
|
DNC | FFFTFTTTTF
|
DNC | DNC | DNC | DNC | FFFTFTTTTF
|
| 0100 | DNC | TFFFFTFFTT
|
DNC | TFFFFTFFTT
|
DNC | DNC | DNC | DNC | TFFFFTFFTT
|
| 0200 | DNC | FTFTFFFFFF
|
DNC | FTFTFFFFFF
|
DNC | DNC | DNC | DNC | FTFTFFFFFF
|
| 0500 | DNC | DNF
|
DNC | FTFFTTTFTF
|
DNC | DNC | DNC | DNC | MOVF
|
| 1000 | DNC | DNF
|
DNC | FFFFFFFFFT
|
DNC | DNC | DNC | DNC | FFFFFFFFFT
|
| Results for LamportFastMutEx (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | __FFFFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | F__F__TTF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | _F____FF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 5 | DNC | DNC | F__FF__F_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 6 | DNC | DNC | _F_FF_F__F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | _F___FFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | _F__F__F_F
|
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 | TTFFFFFFFT
|
DNC | TTFFFFFFFT
|
DNC | DNC | DNC | DNC | TTFFFFFFFT
|
| 3 | DNC | FTTFTTTTFF
|
DNC | FTTFTTTTFF
|
DNC | DNC | DNC | DNC | FTTFTTTTFF
|
| 4 | DNC | TFTTTTFFTF
|
DNC | TFTTTTFFTF
|
DNC | DNC | DNC | DNC | TFTTTTFFTF
|
| 5 | DNC | MOVF
|
DNC | FFTFFTTFTF
|
DNC | DNC | DNC | DNC | FFTFFTTFTF
|
| 6 | DNC | DNF
|
DNC | TFTFFFFFFF
|
DNC | DNC | DNC | DNC | TF_FF_FFFF
|
| 7 | DNC | DNF
|
DNC | TFTTTFFFTF
|
DNC | DNC | DNC | DNC | TFTTTF_FTF
|
| 8 | DNC | DNF
|
DNC | TFTFF_TFTF
|
DNC | DNC | DNC | DNC | _FTFF_T_TF
|
| Results for MAPK (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 008 | DNC | TTFTTFFTTF
|
DNC | FFFFTFFTTF
|
DNC | DNC | DNC | DNC | FFFFTFFTTF
|
| 020 | DNC | DNF
|
DNC | TFFFFFTFFT
|
DNC | DNC | DNC | DNC | TFFFFFT_FT
|
| 040 | DNC | DNF
|
DNC | TFFFFTFTFF
|
DNC | DNC | DNC | DNC | TFFFFTFTF_
|
| 080 | DNC | DNF
|
DNC | TTFTFFFTFF
|
DNC | DNC | DNC | DNC | T_FTFFFTFF
|
| 160 | DNC | DNF
|
DNC | TTFFTFFFFF
|
DNC | DNC | DNC | DNC | TTFF__FFFF
|
| 320 | DNC | DNF
|
DNC | FFTFTFFFFF
|
DNC | DNC | DNC | DNC | FFTFTFFFFF
|
| Results for NeoElection (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | F_T_F_T___
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | _T____FF_F
|
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 | F____F_FF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 7 | DNC | DNC | FFF__FF___
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 8 | DNC | DNC | FF__FFF___
|
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 | FTTFFFTFTF
|
DNC | FTTFFFTFTF
|
DNC | DNC | DNC | DNC | FTTFFFTFTF
|
| 3 | DNC | FTTFTTFFFF
|
DNC | __TFTTFF_F
|
DNC | DNC | DNC | DNC | _TTFTTFFFF
|
| 4 | DNC | MOVF
|
DNC | _F_FF_F_FF
|
DNC | DNC | DNC | DNC | _F_FF_F_FF
|
| 5 | DNC | MOVF
|
DNC | __________
|
DNC | DNC | DNC | DNC | TFF_F_F__F
|
| 6 | DNC | DNF
|
DNC | F___TFF_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 | _F_FFFF_FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 02 | DNC | DNC | _______FFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | F_FFFFFFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | F_F__FFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | _F_____F__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | __F__F_FFF
|
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 | TFTFFFFTFF
|
DNC | TFTFFFFTFF
|
DNC | DNC | DNC | DNC | TFTFFFFTFF
|
| 02 | DNC | DNF
|
DNC | TTFFTTTFFF
|
DNC | DNC | DNC | DNC | TTFFTTTFFF
|
| 05 | DNC | DNF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFF_FFFF_F
|
| 10 | DNC | DNF
|
DNC | FFFTTFFFFT
|
DNC | DNC | DNC | DNC | FFFTTFFFFT
|
| 20 | DNC | DNF
|
DNC | FFTTTFTFFT
|
DNC | DNC | DNC | DNC | FFTTTFTFFT
|
| 50 | DNC | DNF
|
DNC | FFFTTFTFFF
|
DNC | DNC | DNC | DNC | FFFTTFTFFF
|
| Results for Peterson (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 2 | DNC | DNC | _F_FFFFFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 3 | DNC | DNC | FF___FF_FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 4 | DNC | DNC | _FFFFFF_FF
|
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 | TFTFFFFFFF
|
DNC | TFTFFFFFFF
|
DNC | DNC | DNC | DNC | TFTFFFFFFF
|
| 3 | DNC | FFTTTFFTFF
|
DNC | FFTTTFFTFF
|
DNC | DNC | DNC | DNC | FFTTTFFTFF
|
| 4 | DNC | MOVF
|
DNC | TFFFFFFTFF
|
DNC | DNC | DNC | DNC | TFFFFFFTFF
|
| 5 | DNC | MOVF
|
DNC | TTTFTFFTFF
|
DNC | DNC | DNC | DNC | TT_F_FFTFF
|
| 6 | DNC | DNF
|
DNC | TFFFTTFFFF
|
DNC | DNC | DNC | DNC | TFFFT_FFFF
|
| 7 | DNC | DNF
|
DNC | TFTFTTF_TT
|
DNC | DNC | DNC | DNC | TFTFT_F_TT
|
| Results for Philosophers (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | DNC | FFF_F_FF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | __FF___FF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | FFF___F_F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | _____FFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNF
|
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 | FFFTFTFFFF
|
DNC | FFFTFTFFFF
|
DNC | DNC | DNC | DNC | FFFTFTFFFF
|
| 000010 | DNC | TTFFFTTFFT
|
DNC | TTFFFTTFFT
|
DNC | DNC | DNC | DNC | TTFFFTTFFT
|
| 000020 | DNC | FFTF______
|
DNC | FF_FFFFT_T
|
DNC | DNC | DNC | DNC | FF_FFF_T_T
|
| 000050 | DNC | MOVF
|
DNC | FFFTTTFTFT
|
DNC | DNC | DNC | DNC | FFFT_TF_FT
|
| 000100 | DNC | MOVF
|
DNC | TTTTTFFFTF
|
DNC | DNC | DNC | DNC | TTTTTFFFT_
|
| 000200 | DNC | MOVF
|
DNC | TTFTFFFFFF
|
DNC | DNC | DNC | DNC | _TFTFFFFFF
|
| 000500 | DNC | MOVF
|
DNC | FT_TFFTTFF
|
DNC | DNC | DNC | DNC | FT_TFFTTFF
|
| 001000 | DNC | MOVF
|
DNC | FFFF___FFF
|
DNC | DNC | DNC | DNC | DNF
|
| 002000 | DNC | DNF
|
DNC | DNF
|
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 |
| 10 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 50 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 80 | 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 | FTFFFFFTFT
|
DNC | FTFFFFFTFT
|
DNC | DNC | DNC | DNC | FTFFFFFTFT
|
| 10 | DNC | CC
|
DNC | FFTFFTFFFT
|
DNC | DNC | DNC | DNC | FFTFFTFFFT
|
| 20 | DNC | DNF
|
DNC | FTFFFF_FFF
|
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 | FFFFTTTTTF
|
DNC | TTFFTTTFFF
|
DNC | DNC | DNC | DNC | __FFTTT__F
|
| Results for QuasiCertifProtocol (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 02 | DNC | DNC | F__F_F_F__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 06 | DNC | DNC | _FF__F__F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | FFFFFF__F_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 18 | DNC | DNC | FF__F____F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 22 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 28 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 32 | DNC | DNC | DNF
|
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 | FTTFTFFFFF
|
DNC | FTTFTFFFFF
|
DNC | DNC | DNC | DNC | FTTFTFFFFF
|
| 06 | DNC | FFFFTFTTFF
|
DNC | FFFFTFTTFF
|
DNC | DNC | DNC | DNC | FFFFTFTTFF
|
| 10 | DNC | MOVF
|
DNC | F_FFFFTTFF
|
DNC | DNC | DNC | DNC | __FFF_TTFF
|
| 18 | DNC | CC
|
DNC | FF_TFTTTTF
|
DNC | DNC | DNC | DNC | FF_TF_TTTF
|
| 22 | DNC | DNF
|
DNC | FTFFFTT_F_
|
DNC | DNC | DNC | DNC | FTFFF_T_F_
|
| 28 | DNC | DNF
|
DNC | TTTFTFFFFF
|
DNC | DNC | DNC | DNC | T_T_TFFF_F
|
| 32 | DNC | DNF
|
DNC | TFFFFFTFFF
|
DNC | DNC | DNC | DNC | T__FF_TFFF
|
| Results for Railroad (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | DNC | FFFFTFFFTT
|
DNC | FFFFFFFTTF
|
DNC | DNC | DNC | DNC | FFFFFFFTTF
|
| 010 | DNC | MOVF
|
DNC | FFFFFTFTFT
|
DNC | DNC | DNC | DNC | FFFFFTFTFT
|
| 020 | DNC | DNF
|
DNC | FTTFFTTFTF
|
DNC | DNC | DNC | DNC | FTTFF_TFTF
|
| 050 | DNC | DNF
|
DNC | TFFFTTFTFF
|
DNC | DNC | DNC | DNC | _FFFTTFTFF
|
| 100 | DNC | DNF
|
DNC | F_TFTTFFFF
|
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 | FTFTFTFTFT
|
DNC | DNC | DNC | DNC | FTFTFTFTFT
|
| R003C002 | DNC | CC
|
DNC | TFFFFFTFFT
|
DNC | DNC | DNC | DNC | TFFFFFTFFT
|
| R003C003 | DNC | CC
|
DNC | FFTTFFFFTF
|
DNC | DNC | DNC | DNC | FFTTFFFFTF
|
| R003C005 | DNC | CC
|
DNC | FFFFFFTFTF
|
DNC | DNC | DNC | DNC | FFFFFFTFTF
|
| R003C010 | DNC | CC
|
DNC | FTFFFTFFTF
|
DNC | DNC | DNC | DNC | FTFFFTFFTF
|
| R003C015 | DNC | CC
|
DNC | FFFTFFTFFT
|
DNC | DNC | DNC | DNC | FFFTFFTFFT
|
| R003C020 | DNC | CC
|
DNC | FTFTFFFFFF
|
DNC | DNC | DNC | DNC | FTFTFFFFFF
|
| R003C050 | DNC | CC
|
DNC | TFFFFTTFFF
|
DNC | DNC | DNC | DNC | TFFFFTTFFF
|
| R003C100 | DNC | CC
|
DNC | FTTFTFFFTF
|
DNC | DNC | DNC | DNC | FTTFTFFF_F
|
| R005C002 | DNC | CC
|
DNC | TFTTFFFFFF
|
DNC | DNC | DNC | DNC | TFTTFFFFFF
|
| R010C002 | DNC | CC
|
DNC | TFTFFFFFTF
|
DNC | DNC | DNC | DNC | TFTFFFFFTF
|
| R015C002 | DNC | CC
|
DNC | TTFFTFFFTF
|
DNC | DNC | DNC | DNC | TTFFTFFFTF
|
| R020C002 | DNC | CC
|
DNC | FTFFTTFTFF
|
DNC | DNC | DNC | DNC | FTF_TTFTFF
|
| R050C002 | DNC | CC
|
DNC | FTFFFFFFFF
|
DNC | DNC | DNC | DNC | FTFFFFFFFF
|
| R100C002 | DNC | CC
|
DNC | TFFFTFFFTF
|
DNC | DNC | DNC | DNC | TF_FTFFFTF
|
| Results for Ring (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FTFFFTFTTF
|
DNC | DNC | DNC | DNC | FTFFFTFTTF
|
| Results for RwMutex (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| r0010w0010 | DNC | FFFFFTFFFT
|
DNC | FFFFFTFFTT
|
DNC | DNC | DNC | DNC | FFFFFTFFTT
|
| r0010w0020 | DNC | FFFTFFFTTT
|
DNC | FFFTFFFTTT
|
DNC | DNC | DNC | DNC | FFFTTFFTTT
|
| r0010w0050 | DNC | FFTTTTFTFF
|
DNC | FFTTTTFTFF
|
DNC | DNC | DNC | DNC | FFTTTTFTFF
|
| r0010w0100 | DNC | FFFTTFTFFT
|
DNC | FFFTTFTFFT
|
DNC | DNC | DNC | DNC | FFFTTFTFFT
|
| r0010w0500 | DNC | TTTFFFFTTF
|
DNC | TTTFFFFTFF
|
DNC | DNC | DNC | DNC | TTTFFFFTFF
|
| r0010w1000 | DNC | FFFFFFFFTF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| r0010w2000 | DNC | MOVF
|
DNC | _____FTTT_
|
DNC | DNC | DNC | DNC | FFTFFFTTTF
|
| r0020w0010 | DNC | FFFFFTFFTF
|
DNC | FFFFFTFFTF
|
DNC | DNC | DNC | DNC | FFFFFTFFTF
|
| r0100w0010 | DNC | MOVF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFFFFFFFFF
|
| r0500w0010 | DNC | MOVF
|
DNC | FFTTFFFFTF
|
DNC | DNC | DNC | DNC | FFTTFFFFTF
|
| r1000w0010 | DNC | MOVF
|
DNC | FTFFTFFTFT
|
DNC | DNC | DNC | DNC | FTFFTFFTFT
|
| r2000w0010 | DNC | CC
|
DNC | _____TFTF_
|
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 | F_FF__F___
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000010 | DNC | DNC | __FF_F__FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000020 | DNC | DNC | _F_FF___FF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000050 | DNC | DNC | ___FFFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000100 | DNC | DNC | _____F_FF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000200 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 000500 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 001000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 002000 | DNC | DNC | __________
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 005000 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 010000 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 020000 | 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 SharedMemory (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 000005 | DNC | FTFFTFFFTT
|
DNC | FTFFTFFFTT
|
DNC | DNC | DNC | DNC | FTFFTFFFTT
|
| 000010 | DNC | TTFFFFTFFF
|
DNC | FTFFFFTFFF
|
DNC | DNC | DNC | DNC | FTFFFFTFFF
|
| 000020 | DNC | MOVF
|
DNC | TFTFFTTTFF
|
DNC | DNC | DNC | DNC | TFTFFTTTFF
|
| 000050 | DNC | CC
|
DNC | T__FFF_F_T
|
DNC | DNC | DNC | DNC | DNF
|
| 000100 | DNC | DNF
|
DNC | F___TF_F__
|
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 | F__F_FFF_F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 05 | DNC | DNC | _F_F_FFFFF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 10 | DNC | DNC | FF____F__F
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 15 | DNC | DNC | __FFFFFF__
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 20 | DNC | DNC | FF_FFFFFFF
|
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 | FTTFTFFFTF
|
DNC | FTTFTFFFTF
|
DNC | DNC | DNC | DNC | FTTFTFFFTF
|
| 05 | DNC | TFFFTFFFFF
|
DNC | TFFFTFFFFF
|
DNC | DNC | DNC | DNC | TFFFTFFFFF
|
| 10 | DNC | DNF
|
DNC | FFTTTFFTTF
|
DNC | DNC | DNC | DNC | FFTTTFFT_F
|
| 15 | DNC | DNF
|
DNC | FFFFFFFFTT
|
DNC | DNC | DNC | DNC | FFFFFFFFT_
|
| 20 | DNC | DNF
|
DNC | FFFFFFFFFF
|
DNC | DNC | DNC | DNC | FFFFFFFFFF
|
| Results for TokenRing (Colored, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| 005 | DNC | DNC | _TT_TT_T_T
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 010 | DNC | DNC | _F__FF__TT
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 015 | DNC | DNC | _TFFTFFFF_
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 020 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 030 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 040 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 050 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 100 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 200 | DNC | DNC | DNF
|
DNC | DNC | DNC | DNC | DNC | DNC |
| 500 | 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 | TTTFTTTTTT
|
DNC | TTTFTTTTTT
|
DNC | DNC | DNC | DNC | TTTFTTTTTT
|
| 010 | DNC | CC
|
DNC | FFFFFFTTTT
|
DNC | DNC | DNC | DNC | FFFFFFTTTT
|
| 015 | DNC | CC
|
DNC | FTFFTFFFFF
|
DNC | DNC | DNC | DNC | __FF_FFFF_
|
| 020 | DNC | CC
|
DNC | FFTFFTFFFT
|
DNC | DNC | DNC | DNC | FFTFF_FFF_
|
| Results for Vasy2003 (P/T, Scrambled model) - correctness mask - score | |||||||||
| cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
| none | DNC | DNF
|
DNC | FTTTFFFFFF
|
DNC | DNC | DNC | DNC | _TTT_FFFFF
|