Introduction
Please find here the computed results for the ReachabilityFireabilitySimple examination. The table is organized as follows:
- A global list of scores (per tool),
- Three main sections for «Surprise», «Stripped» and «Known» models,
- Within a main sections, a subsection per model that summarizes scores, bonuses an displays results for each instance.
The information for a model instance is summarized in a «line» where:
- You may get the expected results (and the confidence associated with such results) by moving your cursor over the name of the instance. The values are surrounded by parenthesis are considered as being «unsafe» and are discarded when computing scores (we expect a confidence level over 0.9 for 2015),
- computed results and their interpretation are all located in the same table cell.
The structure of a table cell is always the same. In black, you have the output provided by the tool followed by the interpretation mask stating if the tool did computed something corresponding to the expected values (T means that it is the expected result, ? means that no tool computed the corresponding value and X means that the value is not the expected one). Then, three consistency flags are displayed : V means that at least one value was wrong (i.e. at least one X in the result mask), C means that the tool was not consistent between the colored Petri net and the P/T equivalent one, S means that the tool is not consistent between the result of the «Stripped» model and of the corresponding «Known» one. This part is displayed in green when some points was considered, in orange when it was not possible («unsafe» values estimated for example) and red when the result is discarded due to an error.
Then a second group of flags outline the fastest tool (P) and the tool having the smallest memory footprint (M). These tools get a +2 bonus that is always considered for green and orange results. These two flags are followed by the score (without bonus) and a link to the execution report containing: a summary of results, a chart reporting memory and CPU evolution over the execution, a full execution log and the commands applied to the tool for this run.
You will note that DNC means «Do Not Compete» and CC means «Cannot Compute». Results are labelled CC only when no output was produced for this execution and the tool reported a problem. DNF (Did Not Finished) is displayed when no output was produced within the 1 hour time confinement.
The Results
They are displayed in the table below, together with scores (total, sum per category of model and sum per model).
| Summary of Results for ReachabilityFireabilitySimple | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total Points | 6176 | 4573 | 15728 | 24003 | 15204 | 11388 | 18243 | 18576 | 11912 | 13439 |
All «Surprise» models |
||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total Points | 640 | 960 | 4360 | 6584 | 4944 | 3372 | 4764 | 5096 | 3888 | 4112 |
| BridgeAndVehicles — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 320 | 0 | 0 | 32 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 304 | 0 | 0 | 16 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 16 | 0 | 0 | 16 | 0 | 0 | 0 | 0 |
| V04P05N02 T(F)(T)(T)(T)(T)(T)(T)(F)(F)(F)(F)(T)(T)(F)(F) (expected value) 1.56 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0  |
TFTTTTTTFFFFTTFF T??????????????? ---:-M / 4
|
DNC | CC 0 |
T??????????????? T--------------- ---:P- / 4
|
DNC | DNC | DNC | DNC |
| V10P10N10 (T)(T)F(T)T(F)F(T)(T)(T)(T)(T)(T)(T)(T)(T) (expected value) 0.64 0.64 1.56 0.64 1.56 0.64 1.56 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
TTFTTFFTTTTTTTTT ??T?T?T????????? ---:-M / 12
|
DNC | CC 0 |
??F?T?F????????? --T-T-T--------- ---:P- / 12
|
DNC | DNC | DNC | DNC |
| V20P10N10 ? (F)(F)(F)(F)(F)? ? (F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0 0.64 0.64 0.64 0.64 0.64 0 0 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
?FFFFF??FFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ?-----??-------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V20P10N20 (F)? (F)? (F)(F)(F)(F)(F)? (F)(F)? (F)? (F) (expected value) 0.64 0 0.64 0 0.64 0.64 0.64 0.64 0.64 0 0.64 0.64 0 0.64 0 0.64 (confidence rate) |
DNC | CC 0 |
F?F?FFFFF?FF?F?F ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? -?-?-----?--?-?- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V20P10N50 ? (F)? (F)(F)? ? (F)? (F)? (F)(F)(F)(F)(F) (expected value) 0 0.64 0 0.64 0.64 0 0 0.64 0 0.64 0 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
?F?FF??F?F?FFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ?-?--??-?-?----- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V20P20N10 (F)(F)(F)? (F)(F)? (F)? ? (F)? (F)? (F)? (expected value) 0.64 0.64 0.64 0 0.64 0.64 0 0.64 0 0 0.64 0 0.64 0 0.64 0 (confidence rate) |
DNC | CC 0 |
FFF?FF?F??F?F?F? ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---?--?-??-?-?-? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V20P20N20 (F)(F)? ? (F)(F)(F)? (F)(F)(F)(F)(F)? (F)(F) (expected value) 0.64 0.64 0 0 0.64 0.64 0.64 0 0.64 0.64 0.64 0.64 0.64 0 0.64 0.64 (confidence rate) |
DNC | CC 0 |
FF??FFF?FFFFF?FF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? --??---?-----?-- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V20P20N50 (F)(F)? (F)? (F)? (F)(F)(F)(F)? (F)? (F)? (expected value) 0.64 0.64 0 0.64 0 0.64 0 0.64 0.64 0.64 0.64 0 0.64 0 0.64 0 (confidence rate) |
DNC | CC 0 |
FF?F?F?FFFF?F?F? ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? --?-?-?----?-?-? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V50P20N10 ? (F)? (F)? (F)(F)? ? (F)? ? ? (F)(F)(F) (expected value) 0 0.64 0 0.64 0 0.64 0.64 0 0 0.64 0 0 0 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
?F?F?FF??F???FFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ?-?-?--??-???--- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V50P20N20 ? (F)(F)? (F)? (F)(F)(F)(F)(F)(F)? (F)(F)(F) (expected value) 0 0.64 0.64 0 0.64 0 0.64 0.64 0.64 0.64 0.64 0.64 0 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
?FF?F?FFFFFF?FFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ?--?-?------?--- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V50P20N50 ? ? (F)(F)(F)(F)(F)(F)(F)? ? ? (F)(F)(F)? (expected value) 0 0 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0 0 0 0.64 0.64 0.64 0 (confidence rate) |
DNC | CC 0 |
??FFFFFFF???FFF? ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| V50P50N10 (F)(F)(F)(F)? (F)(F)(F)(F)(F)? (F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0 0.64 0.64 0.64 0.64 0.64 0 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
FFFF?FFFFF?FFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ----?-----?----- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V50P50N20 ? ? (F)? (F)? (F)(F)? (F)(F)(F)? (F)(F)(F) (expected value) 0 0 0.64 0 0.64 0 0.64 0.64 0 0.64 0.64 0.64 0 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
??F?F?FF?FFF?FFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ??-?-?--?---?--- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V50P50N50 (F)(F)(F)(F)(F)? (F)? (F)? (F)? ? (F)? (F) (expected value) 0.64 0.64 0.64 0.64 0.64 0 0.64 0 0.64 0 0.64 0 0 0.64 0 0.64 (confidence rate) |
DNC | CC 0 |
FFFFF?F?F?F??F?F ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| V80P20N10 (F)(F)(F)(F)(F)(F)? (F)? (F)(F)(F)? (F)? (F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0 0.64 0 0.64 0.64 0.64 0 0.64 0 0.64 (confidence rate) |
DNC | CC 0 |
FFFFFF?F?FFF?F?F ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ------?-?---?-?- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V80P20N20 (F)(F)? (F)? (F)? ? (F)(F)? (F)? ? ? (F) (expected value) 0.64 0.64 0 0.64 0 0.64 0 0 0.64 0.64 0 0.64 0 0 0 0.64 (confidence rate) |
DNC | CC 0 |
FF?F?F??FF?F???F ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| V80P20N50 (F)? (F)? (F)(F)(F)(F)? (F)(F)? ? (F)(F)? (expected value) 0.64 0 0.64 0 0.64 0.64 0.64 0.64 0 0.64 0.64 0 0 0.64 0.64 0 (confidence rate) |
DNC | CC 0 |
F?F?FFFF?FF??FF? ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| V80P50N10 ? (F)? (F)? (F)(F)(F)(F)(F)(F)(F)? (F)(F)? (expected value) 0 0.64 0 0.64 0 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0 0.64 0.64 0 (confidence rate) |
DNC | CC 0 |
?F?F?FFFFFFF?FF? ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ?-?-?-------?--? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| V80P50N20 (F)? (F)(F)? (F)? (F)(F)? (F)(F)(F)(F)? ? (expected value) 0.64 0 0.64 0.64 0 0.64 0 0.64 0.64 0 0.64 0.64 0.64 0.64 0 0 (confidence rate) |
DNC | CC 0 |
F?FF?F?FF?FFFF?? ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| V80P50N50 (F)(F)(F)(F)(F)(F)(F)(F)? ? ? ? (F)? (F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0 0 0 0 0.64 0 0.64 0.64 (confidence rate) |
DNC | CC 0 |
FFFFFFFF????F?FF ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| BridgeAndVehicles — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 64 | 612 | 1504 | 1232 | 180 | 720 | 740 | 1184 | 1024 |
| Bonuses | 0 | 0 | 0 | 272 | 0 | 0 | 0 | 16 | 32 | 0 |
| Scores | 0 | 64 | 612 | 1232 | 1232 | 180 | 720 | 724 | 1152 | 1024 |
| V04P05N02 TFTTTTTTFFFFTTFF (expected value) 5.88 5.88 5.26 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 5.88 (confidence rate) |
DNC |
TFFTFTTTFFFFTFFF TTXTXTTTTTTTTXTT V--:-- / -
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:PM / 64
|
TFTTTTTTFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V10P10N10 TTFTTFFTTTTTTTTT (expected value) 5.40 5.40 5.40 5.40 5.40 4.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 (confidence rate) |
DNC |
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 64
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTT?FTTTTTTTTT TTTTT-TTTTTTTTTT ---:-- / 60
|
TTFTT?FTTTTTTTTT TTTTT-TTTTTTTTTT ---:-- / 60
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 64
|
DNF 0 |
| V20P10N10 TFFFFFTTFFFFFFFF (expected value) 5.26 5.26 4.33 4.33 4.33 4.33 4.33 4.33 5.26 5.26 4.33 4.33 4.33 4.33 4.33 4.33 (confidence rate) |
DNC | DNF 0 |
TFFFFFTTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFFFFTTFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
TFFFFFTTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TF??????FF?????? TT------TT------ ---:-- / 16
|
TFFFFFTTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFFFFTTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFFFFTTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFFFFTTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V20P10N20 FTFTFFFFFTFFTFTF (expected value) 5.26 4.62 3.69 3.69 3.69 3.69 3.69 3.69 4.33 3.69 3.69 3.69 3.69 3.69 3.69 3.69 (confidence rate) |
DNC | DNF 0 |
F???????F??????? T-------T------- ---:-- / 8
|
FTFTFFFFFTFFTFTF TTTTTTTTTTTTTTTT ---:PM / 64
|
FTFTFFFFFTFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
FT?????????????? TT-------------- ---:-- / 8
|
FTFTFFFFFTFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
FTFTFFFFFTFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
FTFTFFFFFTFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
FTFTFFFFFTFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V20P10N50 FF? FF? ? F? F? FFFFF (expected value) 0.92 2.77 0 2.77 2.77 0 0 2.77 0 2.77 0 2.77 2.77 2.77 2.77 2.77 (confidence rate) |
DNC | DNF 0 |
CC 0 |
?F?FF??F?F?FFFFF -T?TT??T?T?TTTTT ---:-M / 40
|
?F?FF??F?F?FFFFF -T?TT??T?T?TTTTT ---:-- / 40
|
F??????????????? T-?--??-?-?----- ---:-- / 4
|
?F?FF??F?F?FFFFF -T?TT??T?T?TTTTT ---:-- / 40
|
?F?FF??F?F?FFFFF -T?TT??T?T?TTTTT ---:P- / 40
|
DNF 0 |
DNF 0 |
| V20P20N10 FFFTFFTFTTFTFTFT (expected value) 5.26 5.26 4.33 4.33 4.33 4.33 4.33 4.33 5.26 5.26 4.33 4.33 4.33 4.33 4.33 4.33 (confidence rate) |
DNC | DNF 0 |
FFFTFFTFTTFTFTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFTFFTFTTFTFTFT TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFTFFTFTTFTFTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
FF??????TT?????? TT------TT------ ---:-- / 16
|
FFFTFFTFTTFTFTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFTFFTFTTFTFTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFTFFTFTTFTFTFT TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFTFFTFTTFTFTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
| V20P20N20 FFTTFFFTFFFFFTFF (expected value) 5.26 5.26 3.69 3.69 3.69 3.69 3.69 3.69 4.33 4.33 4.33 4.33 4.33 3.69 3.69 3.69 (confidence rate) |
DNC | DNF 0 |
FF??????FFFFF??? TT------TTTTT--- ---:-- / 28
|
FFTTFFFTFFFFFTFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFTTFFFTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FF?????????????? TT-------------- ---:-- / 8
|
FFTTFFFTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFFTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFFTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFFTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V20P20N50 FF? F? F? FFFF? F? F? (expected value) 3.41 3.41 0 2.77 0 2.77 0 2.77 3.41 3.41 3.41 0 2.77 0 2.77 0 (confidence rate) |
DNC | DNF 0 |
FF??????FFF????? TT?-?-?-TTT?-?-? ---:-- / 20
|
FF?F?F?FFFF?F?F? TT?T?T?TTTT?T?T? ---:-M / 40
|
FF?F?F?FFFF?F?F? TT?T?T?TTTT?T?T? ---:-- / 40
|
DNF 0 |
FF?F?F?FFFF?F?F? TT?T?T?TTTT?T?T? ---:-- / 40
|
FF?F?F?FFFF?F?F? TT?T?T?TTTT?T?T? ---:P- / 40
|
DNF 0 |
DNF 0 |
| V50P20N10 TFTFTFFTTFTTTFFF (expected value) 4.33 3.34 4.33 3.34 4.33 3.34 3.34 4.33 4.33 3.34 4.33 4.33 4.33 3.34 3.34 3.34 (confidence rate) |
DNC | DNF 0 |
TFTFTFFTTFTTTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTFTFFTTFTTTFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
TFTFTFFTTFTTTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
T?T?T??TT?TTT??? T-T-T--TT-TTT--- ---:-- / 32
|
T?T?T??TT?TTT??? T-T-T--TT-TTT--- ---:-- / 32
|
TFTFTFFTTFTTTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTFTFFTTFTTTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V50P20N20 TFFTFTFFFFFFTFFF (expected value) 3.69 2.70 2.70 3.69 2.70 3.69 2.70 2.70 2.70 2.70 2.70 2.70 3.69 2.70 2.70 2.70 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TFFTFTFFFFFFTFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
TFFTFTFFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
T??T?T??????T??? T--T-T------T--- ---:-- / 16
|
T??T?T??????T??? T--T-T------T--- ---:-- / 16
|
TFFTFTFFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFTFTFFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V50P20N50 TTFFFFFFFTTTFFFT (expected value) 3.69 3.69 2.70 2.70 2.70 2.70 2.70 2.70 2.70 3.69 3.69 3.69 2.70 2.70 2.70 3.69 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTFFFFFFFTTTFFFT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTFFFFFFFTTTFFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TT???????TTT???T TT-------TTT---T ---:-- / 24
|
TT???????TTT???T TT-------TTT---T ---:-- / 24
|
TTFFFFFFFTTTFFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFFFFFTTTFFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
| V50P50N10 FFFFTFFFFFTFFFFF (expected value) 3.34 3.34 3.34 3.34 4.33 3.34 3.34 3.34 3.34 3.34 4.33 3.34 3.34 3.34 3.34 3.34 (confidence rate) |
DNC | DNF 0 |
FFFFTFFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFTFFFFFTFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFTFFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
????T?????T????? ----T-----T----- ---:-- / 8
|
????T?????T????? ----T-----T----- ---:-- / 8
|
FFFFTFFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFTFFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V50P50N20 TTFTFTFFTFFFTFFF (expected value) 3.69 3.69 2.70 3.69 2.70 3.69 2.70 2.70 3.69 2.70 2.70 2.70 3.69 2.70 2.70 2.70 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTFTFTFFTFFFTFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
TTFTFTFFTFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TT?T?T??T???T??? TT-T-T--T---T--- ---:-- / 24
|
TT?T?T??T???T??? TT-T-T--T---T--- ---:-- / 24
|
TTFTFTFFTFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTFTFFTFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V50P50N50 FFFFFTFTFTFTTFTF (expected value) 2.85 2.85 2.21 2.21 2.21 3.21 2.21 3.21 2.85 3.21 2.21 3.21 3.21 2.21 3.21 2.21 (confidence rate) |
DNC | CC 0 |
FF??????F??????? TT------T------- ---:-- / 12
|
FFFFFTFTFTFTTFTF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFTFTFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
?????T?T?T?TT?T? -----T-T-T-TT-T- ---:-- / 24
|
?????T?T?T?TT?T? -----T-T-T-TT-T- ---:-- / 24
|
FFFFFTFTFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
| V80P20N10 FFFFFFTFTFFFTFTF (expected value) 3.34 3.34 3.34 3.34 3.34 3.34 3.84 3.34 4.33 3.34 3.34 3.34 4.33 3.34 4.33 3.34 (confidence rate) |
DNC | DNF 0 |
FFFFFFTFTFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFTFTFFFTFTF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFTFTFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
????????T???T?T? --------T---T-T- ---:-- / 12
|
??????T?T???T?T? ------T-T---T-T- ---:-- / 16
|
FFFFFFTFTFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFTFTFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V80P20N20 FFTFTFTTFFTFTTTF (expected value) 3.34 3.34 3.69 2.70 3.69 2.70 3.69 3.69 3.34 3.34 3.69 2.70 3.69 3.69 3.69 2.70 (confidence rate) |
DNC | DNF 0 |
FF??????FF?????? TT------TT------ ---:-- / 16
|
FFTFTFTTFFTFTTTF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFTFTFTTFFTFTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
??T?T?TT??T?TTT? --T-T-TT--T-TTT- ---:-- / 32
|
??T?T?TT??T?TTT? --T-T-TT--T-TTT- ---:-- / 32
|
FFTFTFTTFFTFTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTFTFTTFFTFTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
| V80P20N50 FTFTFFFFTFFTTFFT (expected value) 3.34 3.69 2.70 3.69 2.70 2.70 2.70 2.70 3.69 2.70 2.70 3.69 3.69 2.70 2.70 3.69 (confidence rate) |
DNC | DNF 0 |
F??????????????? T--------------- ---:-- / 4
|
FTFTFFFFTFFTTFFT TTTTTTTTTTTTTTTT ---:PM / 64
|
FTFTFFFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
?T?T????T??TT??T -T-T----T--TT--T ---:-- / 24
|
?T?T????T??TT??T -T-T----T--TT--T ---:-- / 24
|
FTFTFFFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
FTFTFFFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
| V80P50N10 TFTFTFFFFFFFTFFT (expected value) 4.33 3.34 4.33 3.34 4.33 3.34 3.34 3.34 3.34 3.34 3.34 3.34 4.33 3.34 3.34 4.33 (confidence rate) |
DNC | DNF 0 |
TFTFTFFFFFFFTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTFTFFFFFFFTFFT TTTTTTTTTTTTTTTT ---:PM / 64
|
TFTFTFFFFFFFTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
T?T?T???????T??T T-T-T-------T--T ---:-- / 20
|
T?T?T???????T??T T-T-T-------T--T ---:-- / 20
|
TFTFTFFFFFFFTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTFTFFFFFFFTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
| V80P50N20 FTFFTFTFFTFFFFTT (expected value) 3.34 3.69 2.70 2.70 3.69 2.70 3.69 2.70 2.70 3.69 2.70 2.70 2.70 2.70 3.69 3.69 (confidence rate) |
DNC | DNF 0 |
F??????????????? T--------------- ---:-- / 4
|
FTFFTFTFFTFFFFTT TTTTTTTTTTTTTTTT ---:PM / 64
|
FTFFTFTFFTFFFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
?T??T?T??T????TT -T--T-T--T----TT ---:-- / 24
|
?T??T?T??T????TT -T--T-T--T----TT ---:-- / 24
|
FTFFTFTFFTFFFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
FTFFTFTFFTFFFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| V80P50N50 FFFFFFFFTTTTFTFF (expected value) 3.34 3.34 2.70 2.70 2.70 2.70 2.70 2.70 3.69 3.69 3.69 3.69 2.70 3.69 2.70 2.70 (confidence rate) |
DNC | DNF 0 |
FF?????????????? TT-------------- ---:-- / 8
|
FFFFFFFFTTTTFTFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
????????TTTT?T?? --------TTTT-T-- ---:-- / 20
|
????????TTTT?T?? --------TTTT-T-- ---:-- / 20
|
FFFFFFFFTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| HypercubeGrid — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 0 | 240 | 4 | 0 | 100 | 108 | 0 | 0 |
| Bonuses | 0 | 0 | 0 | 48 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 192 | 4 | 0 | 100 | 108 | 0 | 0 |
| C3K4P4B12 TTTTTTTTTTTTTTTT (expected value) 1.98 1.98 1.98 1.98 2.77 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
????T??????????? ----T----------- ---:-- / 4
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
DNF 0 |
| C4K3P3B12 TTTTTTTTTTTTTTTT (expected value) 1.48 0.98 1.98 1.98 0.98 1.98 1.98 1.98 1.98 0.98 1.98 0.98 1.98 1.48 1.98 0.98 (confidence rate) |
DNC | CC 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
??TT?TTTT?T?T?T? --TT-TTTT-T-T-T- ---:-- / 36
|
T?TT?TTTT?T?TTT? T-TT-TTTT-T-TTT- ---:-- / 44
|
DNF 0 |
DNF 0 |
| C5K3P3B15 TTTTTTTTTTFTTTTT (expected value) 0.98 0.98 1.60 1.60 1.60 0.98 0.98 1.60 0.98 0.98 1.60 1.60 0.98 1.60 1.60 0.98 (confidence rate) |
DNC |
FFTTTFFTFFFTFTTF XXTTTXXTXXTTXTTX V--:-- / -
|
CC 0 |
TTTTTTTTTTFTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| IBM319 — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 80 | 0 | 0 | 64 | 64 | 64 | 64 | 64 | 0 | 64 |
| Bonuses | 16 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 64 | 0 | 0 | 64 | 64 | 64 | 64 | 64 | 0 | 64 |
| none TTTTTTTTTTTTTTTF (expected value) 5.14 5.77 5.14 5.14 5.77 5.77 5.14 5.14 5.14 5.14 5.14 5.77 5.14 5.14 5.77 5.14 (confidence rate) |
TTTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:PM / 64
|
FTFFTTFFFFFTFFTT XTXXTTXXXXXTXXTX V--:-- / -
|
CC 0 |
TTTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TTTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
| IBM5964 — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 0 | 64 | 64 | 64 | 72 | 72 | 0 | 64 |
| Bonuses | 0 | 0 | 0 | 0 | 0 | 0 | 8 | 8 | 0 | 0 |
| Scores | 0 | 0 | 0 | 64 | 64 | 64 | 64 | 64 | 0 | 64 |
| none FFFFFFFFFFFFFFFF (expected value) 4.80 4.80 4.17 4.80 4.80 4.80 4.80 4.80 4.80 4.17 4.80 4.80 4.80 4.80 4.80 4.80 (confidence rate) |
DNC |
FFTFFFFFFTFFFFFF TTXTTTTTTXTTTTTT V--:-- / -
|
CC 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| IBM703 — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 80 | 64 | 0 | 64 | 64 | 64 | 64 | 64 | 0 | 64 |
| Bonuses | 16 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 64 | 64 | 0 | 64 | 64 | 64 | 64 | 64 | 0 | 64 |
| none TTFFFTTFTTTTTTTT (expected value) 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 5.77 (confidence rate) |
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
CC 0 |
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TTFFFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| IOTPpurchase — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 64 | 64 | 0 | 256 | 256 | 256 | 256 | 272 | 296 | 200 |
| Bonuses | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16 | 40 | 8 |
| Scores | 64 | 64 | 0 | 256 | 256 | 256 | 256 | 256 | 256 | 192 |
| C01M01P01D01 FFFFFFTFFFFFTFFF (expected value) 5.73 5.73 5.73 5.73 5.73 5.73 5.10 5.73 5.73 5.73 5.73 5.73 5.10 5.73 5.73 5.73 (confidence rate) |
FFFFFFTFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTXTTTTTXTTT V--:-- / -
|
CC 0 |
FFFFFFTFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFTFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFTFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFTFFFFFTFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFTFFFFFTFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFTFFFFFTFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
DNF 0 |
| C03M03P03D03 TTTTTTTTTTTTTTTT (expected value) 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 5.24 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| C05M04P03D02 TTTTTTTTTTTTTTTT (expected value) 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF XXXXXXXXXXXXXXXX V--:-- / -
|
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| C12M10P15D17 TTTTTTTTTTTTTTTT (expected value) 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF XXXXXXXXXXXXXXXX V--:-- / -
|
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 64
|
| Parking — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 288 | 128 | 384 | 448 | 384 | 144 | 120 | 80 | 64 | 64 |
| Bonuses | 32 | 0 | 0 | 64 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 256 | 128 | 384 | 384 | 384 | 144 | 120 | 80 | 64 | 64 |
| 104 TTTTTTTTTTTTTTTT (expected value) 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 208 TTTTTTTTTTTTTTTT (expected value) 5.43 5.43 4.93 4.93 4.93 5.43 4.93 5.43 5.92 4.93 4.93 4.93 4.93 4.93 4.93 4.93 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TT???T?TT??????? TT---T-TT------- ---:-- / 20
|
????????T??????? --------T------- ---:-- / 4
|
DNF 0 |
DNF 0 |
| 416 TTTTTTTTTTTTTTTT (expected value) 4.30 4.30 3.38 3.38 3.88 3.38 3.38 3.88 4.30 4.30 3.38 3.38 3.38 3.38 3.38 3.38 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TT??????TT?????? TT------TT------ ---:-- / 16
|
????T??T???????? ----T--T-------- ---:-- / 8
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| 432 TTTTTTTTTTTTTTTT (expected value) 3.38 3.38 3.38 3.38 3.38 3.38 3.88 3.88 4.38 3.38 3.38 3.38 3.38 3.38 3.38 4.38 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
??????TTT??????T ------TTT------T ---:-- / 16
|
????????T??????T --------T------T ---:-- / 8
|
DNF 0 |
DNF 0 |
| 832 TTTTTTTTTTTTTTTT (expected value) 3.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
T??????????????? T--------------- ---:-- / 4
|
T??????????????? T--------------- ---:-- / 4
|
DNF 0 |
DNF 0 |
| 864 TTTTTTTTTTTTTTTT (expected value) 2.41 2.41 2.41 2.41 2.91 2.41 2.91 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 2.41 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
????T?T????????? ----T-T--------- ---:-- / 8
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| PhaseVariation — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 356 | 592 | 300 | 192 | 468 | 440 | 128 | 128 |
| Bonuses | 0 | 0 | 0 | 80 | 0 | 0 | 24 | 56 | 0 | 0 |
| Scores | 0 | 0 | 356 | 512 | 300 | 192 | 444 | 384 | 128 | 128 |
| D02CS010 TTFFFFTFFTTTTTFT (expected value) 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FTFFFFTFFTTTTTFT XTTTTTTTTTTTTTTT V--:-- / -
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFFFFTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 64
|
| D02CS100 FFTFFFFFFFFFFFFF (expected value) 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTXTTTTTTTTTTTTT V--:-- / -
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| D05CS010 TFFTFFFFFFFFFFTF (expected value) 4.95 3.98 3.35 3.98 3.35 3.98 3.35 3.35 3.35 3.35 3.35 3.98 3.35 3.98 4.95 3.35 (confidence rate) |
DNC |
TFTTTFTTTTTFTFTT TTXTXTXXXXXTXTTX V--:-- / -
|
TFFTFFFFFFFFFFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TT????????????T? TX------------T- V--:-- / -
|
TFFTFFFFFFFFFFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFTFFFFFFFFFFTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFTFFFFFFFFFFTF TTTTTTTTTTTTTTTT ---:P- / 64
|
TFFTFFFFFFFFFFTF TTTTTTTTTTTTTTTT ---:-M / 64
|
DNF 0 |
DNF 0 |
| D05CS100 FFTTFFFTFFFFFFTT (expected value) 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 3.41 2.62 (confidence rate) |
DNC | DNF 0 |
FFTTFFFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFFTFFFFFFT? TTTTTTTTTTTTTTT- ---:-- / 60
|
DNF 0 |
FFTTFFFTFFFFFFTT TTTTTTTTTTTTTTTT ---:P- / 64
|
FFTTFFFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-M / 64
|
DNF 0 |
DNF 0 |
| D10CS010 FTTTFTTFTTFFTFFT (expected value) 1.00 2.62 2.62 2.62 1.00 3.41 2.62 1.98 3.41 3.41 1.00 1.00 2.62 1.00 1.00 3.41 (confidence rate) |
DNC | DNF 0 |
?TTT?TT?TT??T??T -TTT-TT-TT--T--T ---:-- / 36
|
?TTT?TTFTT??T??T -TTT-TTTTT--T--T ---:-- / 40
|
?????T??TT?????T -----T--TT-----T ---:-- / 16
|
DNF 0 |
FTTTFTTFTTFFTFFT TTTTTTTTTTTTTTTT ---:P- / 64
|
FTTTFTTFTTFFTFFT TTTTTTTTTTTTTTTT ---:-M / 64
|
DNF 0 |
DNF 0 |
| D10CS100 TTTTTTTTTTTTTTTT (expected value) 2.62 3.41 2.62 2.62 2.62 2.62 2.62 3.41 2.62 2.62 3.41 2.62 3.41 2.62 3.41 2.62 (confidence rate) |
DNC | CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
?T?????T??T?T?T? -T-----T--T-T-T- ---:-- / 20
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
DNF 0 |
| D20CS010 TTTTTTTTTTTTTTTT (expected value) 2.27 0.98 1.48 2.27 1.48 1.48 1.48 1.48 1.48 1.48 1.48 1.48 1.48 1.48 1.48 2.27 (confidence rate) |
DNC | CC 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
T??T???????????T T--T-----------T ---:-- / 12
|
DNF 0 |
TFTTTTTTTTTTTTTT TXTTTTTTTTTTTTTT V--:-- / -
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D20CS100 TTTTTTTTT(F)TTTTTT (expected value) 1.48 1.48 1.48 1.48 1.48 1.48 1.48 1.48 1.48 0.50 1.48 1.48 1.48 1.48 1.48 1.48 (confidence rate) |
DNC | CC 0 |
DNF 0 |
TTTTTTTTT?TTTTTT TTTTTTTTT-TTTTTT ---:PM / 60
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTTTTTTTTFTTTTTT TTTTTTTTT?TTTTTT ---:-- / 60
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D30CS010 ? TTTTT? ? ? ? TT? T? T (expected value) 0 0.98 0.98 0.98 0.98 0.98 0 0 0 0 0.98 0.98 0 0.98 0 0.98 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
?TTTTT????TT?T?T ?TTTTT????TT?T?T ---:PM / 36
|
???????????????? ?-----????--?-?- ---:-- / 0
|
DNF 0 |
CC 0 |
???????????????? ?-----????--?-?- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D30CS100 TTTTTTTTTTT? TT? T (expected value) 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0 0.98 0.98 0 0.98 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTTTTTTTTTT?TT?T TTTTTTTTTTT?TT?T ---:PM / 56
|
???????????????? -----------?--?- ---:-- / 0
|
DNF 0 |
CC 0 |
???????????????? -----------?--?- ---:-- / 0
|
DNF 0 |
DNF 0 |
| Raft — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 64 | 192 | 576 | 704 | 576 | 448 | 476 | 480 | 72 | 400 |
| Bonuses | 0 | 0 | 0 | 128 | 0 | 0 | 0 | 8 | 8 | 0 |
| Scores | 64 | 192 | 576 | 576 | 576 | 448 | 476 | 472 | 64 | 400 |
| 02 TTTFFFTTTTTTFFTT (expected value) 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate) |
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:P- / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-M / 64
|
TTTFFFTTTTTTFFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 03 TTTTTTTTTTTTTTTT (expected value) 5.44 5.44 5.44 4.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 5.44 4.81 5.44 (confidence rate) |
DNF 0 |
TTTTTTTTTTTTTTFT TTTTTTTTTTTTTTXT V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTT?TTTTTTTTTTTT TTT-TTTTTTTTTTTT ---:-- / 60
|
TTT?TTTTTTTTTTTT TTT-TTTTTTTTTTTT ---:-- / 60
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 04 TTTTTTTTTTTTTTTT (expected value) 5.44 5.44 3.96 5.44 5.44 4.81 5.44 5.44 5.44 5.44 4.81 3.96 5.44 3.96 5.44 3.96 (confidence rate) |
CC 0 |
TTTTTFTTTTFTTTTT TTTTTXTTTTXTTTTT V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TT?TTTTTTTT?T?T? TT-TTTTTTTT-T-T- ---:-- / 48
|
TT?TTTTTTTT?T?T? TT-TTTTTTTT-T-T- ---:-- / 48
|
DNF 0 |
TT?TTTTTTTT?T?T? TT-TTTTTTTT-T-T- ---:-- / 48
|
| 05 TTTTTTTTTTTTTTTT (expected value) 3.96 5.44 3.96 3.96 5.44 5.44 5.44 5.44 5.44 5.44 3.96 5.44 5.44 5.44 3.96 5.44 (confidence rate) |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
?T??TTTTTT?TTT?T -T--TTTTTT-TTT-T ---:-- / 44
|
?T??TTTTTT?TTT?T -T--TTTTTT-TTT-T ---:-- / 44
|
DNF 0 |
?T??TTTTTT?TTT?T -T--TTTTTT-TTT-T ---:-- / 44
|
| 06 TTTTTTTTTTTTTTTT (expected value) 5.44 5.44 5.44 5.44 5.44 5.44 3.96 5.44 5.44 5.44 5.44 5.44 5.44 5.44 3.96 5.44 (confidence rate) |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTT?TTTTTTT?T TTTTTT-TTTTTTT-T ---:-- / 56
|
TTTTTT?TTTTTTT?T TTTTTT-TTTTTTT-T ---:-- / 56
|
DNF 0 |
TTTTTT?TTTTTTT?T TTTTTT-TTTTTTT-T ---:-- / 56
|
| 07 TTTTTTTTTTTTTTTT (expected value) 4.34 4.81 4.81 4.81 4.81 4.81 4.81 4.81 3.81 4.81 4.81 4.34 4.81 4.81 3.34 4.34 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTT?TTTTT?T TTTTTTTT-TTTTT-T ---:-- / 56
|
TTTTTTTT?TTTTT?T TTTTTTTT-TTTTT-T ---:-- / 56
|
DNF 0 |
?TTTTTTTTTT?TT?? -TTTTTTTTTT-TT-- ---:-- / 48
|
| 08 TTTTTTTTTTTTTTTT (expected value) 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 4.34 3.34 3.34 3.34 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTT??? TTTTTTTTTTTTT--- ---:-- / 52
|
TTTTTTTTTTTTT??? TTTTTTTTTTTTT--- ---:-- / 52
|
DNF 0 |
DNF 0 |
| 09 TTTTTTTTTTTTTTTT (expected value) 3.89 3.89 2.41 3.89 3.89 2.41 3.89 3.89 2.91 3.89 3.41 3.89 3.89 3.41 2.41 3.89 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TT?TT?TTTTTTTT?T TT-TT-TTTTTTTT-T ---:-- / 52
|
TT?TT?TT?TTTTT?T TT-TT-TT-TTTTT-T ---:-- / 48
|
DNF 0 |
TT?TT?TT?T?TT??T TT-TT-TT-T-TT--T ---:-- / 40
|
| 10 TTTTTTTTTTTTTTTT (expected value) 3.89 3.89 2.41 2.41 3.89 3.89 3.41 3.89 2.41 3.89 3.41 3.89 3.89 2.41 3.89 2.41 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TT??TTTT?TTTT?T? TT--TTTT-TTTT-T- ---:-- / 44
|
TT??TTTT?TTTT?T? TT--TTTT-TTTT-T- ---:-- / 44
|
DNF 0 |
TT??TT?T?T?TT?T? TT--TT-T-T-TT-T- ---:-- / 36
|
| SafeBus — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 64 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 64 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 03 ? ? (F)? ? ? (F)(F)? ? (T)? ? (F)(F)? (expected value) 0 0 0.64 0 0 0 0.64 0.64 0 0 0.64 0 0 0.64 0.64 0 (confidence rate) |
DNC | CC 0 |
??F???FF??T??FF? ???????????????? ---:PM / 0
|
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 06 (T)(F)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
TFTTTTTTTTTTTTTF ???????????????? ---:PM / 0
|
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 10 ? (T)(T)? ? (T)? ? ? ? ? (F)? ? ? ? (expected value) 0 0.64 0.64 0 0 0.64 0 0 0 0 0 0.64 0 0 0 0 (confidence rate) |
DNC | CC 0 |
?TT??T?????F???? ???????????????? ---:PM / 0
|
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 15 ? ? ? ? ? ? ? ? (T)? ? ? (T)? ? ? (expected value) 0 0 0 0 0 0 0 0 0.64 0 0 0 0.64 0 0 0 (confidence rate) |
DNC | CC 0 |
????????T???T??? ???????????????? ---:PM / 0
|
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 20 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 50 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 80 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| SafeBus — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 64 | 0 | 192 | 368 | 208 | 72 | 308 | 280 | 160 | 320 |
| Bonuses | 0 | 0 | 0 | 48 | 0 | 0 | 0 | 0 | 32 | 0 |
| Scores | 64 | 0 | 192 | 320 | 208 | 72 | 308 | 280 | 128 | 320 |
| 03 TTFTTTFFTTTTTFFT (expected value) 6.85 6.23 6.85 6.85 6.85 6.23 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate) |
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TFFTTFFFTTTTTFFT TXTTTXTTTTTTTTTT V--:-- / -
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTFTTTFFTTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 06 TFTTTTTTTTTTTTTF (expected value) 5.26 4.26 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 3.34 (confidence rate) |
DNF 0 |
DNF 0 |
TFTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TFTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
TF?????????????? TT-------------- ---:-- / 8
|
T?TTTTTTTTTTTTT? T-TTTTTTTTTTTTT- ---:-- / 56
|
T?TTTTTTTTTTTTT? T-TTTTTTTTTTTTT- ---:-- / 56
|
TFTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:PM / 64
|
TFTTTTTTTTTTTTTF TTTTTTTTTTTTTTTT ---:-- / 64
|
| 10 TTTTTTTTTTTFTTTT (expected value) 3.89 3.89 3.89 3.89 3.89 3.89 3.89 3.89 3.89 3.89 3.89 2.89 3.89 3.89 3.89 3.89 (confidence rate) |
DNF 0 |
DNF 0 |
TTTTTTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTTTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TTTTTTTTTTT?TTTT TTTTTTTTTTT-TTTT ---:-- / 60
|
TTTTTTTTTTT?TTTT TTTTTTTTTTT-TTTT ---:-- / 60
|
DNF 0 |
TTTTTTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 15 TTTTTTTTTTTTTTTT (expected value) 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 2.46 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 20 TTTTTTTTTTTTTTTT (expected value) 1.96 1.96 2.46 2.46 1.96 1.96 2.75 1.96 3.25 2.46 2.46 3.25 3.25 2.46 2.46 1.96 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
??????T?T??TT??? ------T-T--TT--- ---:-- / 16
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
??TT????TTTTTTT? --TT----TTTTTTT- ---:-- / 36
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| SmallOperatingSystem — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 192 | 1216 | 1248 | 1216 | 1216 | 1216 | 1432 | 1272 | 1216 |
| Bonuses | 0 | 0 | 0 | 32 | 0 | 0 | 0 | 216 | 56 | 0 |
| Scores | 0 | 192 | 1216 | 1216 | 1216 | 1216 | 1216 | 1216 | 1216 | 1216 |
| MT0016DC0008 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.26 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTFTFFFFFFFFFFF TTXTXTTTTTTTTTTT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0032DC0008 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0032DC0016 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.26 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTTFFFFFFFFTFFF TTXXTTTTTTTTXTTT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0064DC0016 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFTF TTTTTTTTTTTTTTXT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0064DC0032 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 (confidence rate) |
DNC |
FFFTFFFFFFFFFFTF TTTXTTTTTTTTTTXT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0128DC0032 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 5.88 5.26 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFTFFTF TTTTTTTTTTTXTTXT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0128DC0064 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFTFFFFFF TTTTTTTTTXTTTTTT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0256DC0064 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0256DC0128 FFFFFFFFFFFFFFFF (expected value) 5.88 5.26 5.88 5.88 5.26 5.88 5.88 5.26 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FTFFTFFTFTFFFFFF TXTTXTTXTXTTTTTT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0512DC0128 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 5.88 (confidence rate) |
DNC |
FFTFFFFFFFFFFTFF TTXTTTTTTTTTTXTT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT0512DC0256 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.26 (confidence rate) |
DNC |
FFFTFFFFFFFFFFTT TTTXTTTTTTTTTTXX V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT1024DC0256 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT1024DC0512 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTFFFFFFTFFFFFF TTXTTTTTTXTTTTTT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT2048DC0512 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT2048DC1024 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT4096DC1024 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT4096DC2048 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT8192DC2048 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| MT8192DC4096 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| SquareGrid — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 0 | 384 | 192 | 64 | 260 | 280 | 64 | 184 |
| Bonuses | 0 | 0 | 0 | 64 | 0 | 0 | 8 | 8 | 0 | 0 |
| Scores | 0 | 0 | 0 | 320 | 192 | 64 | 252 | 272 | 64 | 184 |
| 020102 FFTTFFTTTTFTTFTT (expected value) 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 4.62 (confidence rate) |
DNC | DNF 0 |
CC 0 |
FFTTFFTTTTFTTFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFTTTTFTTFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFTTTTFTTFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFTTTTFTTFTT TTTTTTTTTTTTTTTT ---:P- / 64
|
FFTTFFTTTTFTTFTT TTTTTTTTTTTTTTTT ---:-M / 64
|
FFTTFFTTTTFTTFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
FFTTFFTTTTFTTFTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 040204 TTTTTTTTTTTTTTTT (expected value) 3.25 3.25 3.25 3.25 3.25 2.46 2.46 3.25 3.25 3.25 3.25 3.25 3.25 3.25 3.25 2.46 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
TTTTT??TTTTTTTT? TTTTT--TTTTTTTT- ---:-- / 52
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
| 080408 TTTTFTTFTTTTTTTT (expected value) 2.46 2.46 2.46 2.46 3.25 2.46 3.25 3.25 2.46 2.46 2.46 2.77 2.46 2.75 1.98 2.46 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTTTFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
????F?TF???T?T?? ----T-TT---T-T-- ---:-- / 20
|
DNF 0 |
TTTTFTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 64
|
TTTTFTTFTTTTT?TT TTTTTTTTTTTTT-TT ---:-- / 60
|
DNF 0 |
TTTTFTTFTTT?TT?T TTTTTTTTTTT-TT-T ---:-- / 56
|
| 100510 TTTFTTTFTTTTTTTT (expected value) 1.98 1.98 1.98 2.77 1.98 1.98 2.27 2.77 1.77 1.98 1.77 1.48 1.77 1.77 1.48 1.77 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTTFTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
???F??TFT?T?TT?T ---T--TTT-T-TT-T ---:-- / 32
|
DNF 0 |
TTTFTT?F?T?????? TTTTTT-T-T------ ---:-- / 32
|
TTTFTTTF?T?T??T? TTTTTTTT-T-T--T- ---:-- / 44
|
DNF 0 |
DNF 0 |
| 130613 TTTTTTFFTTTTTTTT (expected value) 1.48 1.48 1.77 0.98 2.77 0.98 2.77 2.77 1.98 1.77 0.98 1.98 1.77 1.98 1.48 1.98 (confidence rate) |
DNC | CC 0 |
CC 0 |
TTTTTTFFTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 64
|
??T?T?FF?T??T??? --T-T-TT-T--T--- ---:-- / 24
|
DNF 0 |
????T?FFT??T?T?T ----T-TTT--T-T-T ---:-- / 28
|
TT??T?FFT??T?TTT TT--T-TTT--T-TTT ---:-- / 40
|
DNF 0 |
DNF 0 |
| SwimmingPool — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 256 | 640 | 648 | 384 | 576 | 640 | 784 | 648 | 384 |
| Bonuses | 0 | 0 | 0 | 8 | 0 | 0 | 0 | 144 | 8 | 0 |
| Scores | 0 | 256 | 640 | 640 | 384 | 576 | 640 | 640 | 640 | 384 |
| 01 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| 02 FFFFFFFFFFFFFFFF (expected value) 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
| 03 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| 04 FFFFFFFFFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| 05 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| 06 FFFFFFFFFFFFFFFF (expected value) 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
DNF 0 |
| 07 FFFFFFFFFFFFFFFF (expected value) 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
???????????????? ---------------- ---:-- / 0
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
| 08 FFFFFFFFFFFFFFFF (expected value) 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 4.47 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
???????????????? ---------------- ---:-- / 0
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
| 09 FFFFFFFFFFFFFFFF (expected value) 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 3.98 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
???????????????? ---------------- ---:-- / 0
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
DNF 0 |
| 10 FFFFFFFFFFFFFFFF (expected value) 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 64
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 64
|
All «Stripped» models |
||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total Points | 4128 | 2709 | 8529 | 12927 | 7698 | 5997 | 10152 | 10161 | 6048 | 7020 |
| ARMCacheCoherence (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 54 | 0 | 54 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 6 | 0 | 6 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 48 | 0 | 48 | 0 | 0 | 0 | 0 | 0 |
| none TTTTTTTTTTTTTTTT (expected value) 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 1.43 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
???????????????? ---------------- ---:-- / 0
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
DNF 0 |
CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| Angiogenesis (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 48 | 48 | 240 | 408 | 264 | 195 | 285 | 297 | 96 | 336 |
| Bonuses | 0 | 0 | 0 | 72 | 0 | 0 | 0 | 6 | 0 | 6 |
| Scores | 48 | 48 | 240 | 336 | 264 | 195 | 285 | 291 | 96 | 330 |
| 01 TFFTTFFFTFFFTFTT (expected value) 5.59 6.21 6.21 6.21 6.21 6.21 5.59 6.21 6.21 6.21 6.21 6.21 6.21 6.21 5.59 5.59 (confidence rate) |
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFTFTFFFTFFF XTTTTTXTTTTTTTXX V--:-- / -
|
CC 0 |
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
| 05 TTTTTTTTTTTTTTTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.38 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTT?TTTT TTTTTTTTTTT-TTTT ---:-- / 45
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 10 TTTTTTTTFTTTTTTT (expected value) 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 3.81 4.81 4.81 4.81 4.81 4.81 3.81 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTFTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTFTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTFTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTFTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTF?TTTTT? TTTTTTTTT-TTTTT- ---:-- / 42
|
TTTTTTTTF?TTTTT? TTTTTTTTT-TTTTT- ---:-- / 42
|
DNF 0 |
TTTTTTTTFTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 15 TTTTTFTTTTTTTTTT (expected value) 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 (confidence rate) |
DNC | DNF 0 |
TTTTTFTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTFTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTFTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTFTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTFTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTFTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTFTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 20 TTTTTTTFTTTTTTTT (expected value) 4.81 3.89 3.10 3.89 3.10 3.89 3.89 3.89 2.89 3.89 3.89 3.89 3.10 2.89 3.89 3.89 (confidence rate) |
DNC | DNF 0 |
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TT?T?TTFTTTT?TTT TT-T-TTTTTTT-TTT ---:-- / 39
|
T??????????????? T--------------- ---:-- / 3
|
TTTTTTTF?TTTT?TT TTTTTTTT-TTTT-TT ---:-- / 42
|
TTTTTTTF?TTTT?TT TTTTTTTT-TTTT-TT ---:-- / 42
|
DNF 0 |
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 25 TTTTFTTTTTTTTTTT (expected value) 3.89 2.10 3.10 3.89 3.89 3.89 3.89 3.89 2.10 2.60 3.89 3.89 3.10 2.60 3.39 2.10 (confidence rate) |
DNC | DNF 0 |
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
T??TFTTT??TT??T? T--TTTTT--TT--T- ---:-- / 27
|
DNF 0 |
T?TTFTTT??TTT??? T-TTTTTT--TTT--- ---:-- / 30
|
T?TTFTTT?TTTTTT? T-TTTTTT-TTTTTT- ---:-- / 39
|
DNF 0 |
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 50 TFTTTTTTFTTTTTTT (expected value) 1.46 2.77 1.46 2.46 2.46 2.46 1.46 1.46 2.77 2.46 2.46 2.46 1.46 2.46 1.46 1.46 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TFTTTTTTFTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?F??????F??????? -T------T------- ---:-- / 6
|
DNF 0 |
?F?TTT??FTTT?T?? -T-TTT--TTTT-T-- ---:-- / 27
|
?F?TTT??FTTT?T?? -T-TTT--TTTT-T-- ---:-- / 27
|
DNF 0 |
T?TTTTTT?TTTTTTT T-TTTTTT-TTTTTTT ---:-- / 42
|
| CSRepetitions (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 60 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 60 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 02 (F)(F)(F)(T)(F)(T)(F)(F)(F)(F)(F)(T)(T)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFTFTFFFFFTTFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 03 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 04 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 05 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 07 ? (F)? ? (F)? (F)(F)? (F)(F)? ? ? ? (F) (expected value) 0 0.64 0 0 0.64 0 0.64 0.64 0 0.64 0.64 0 0 0 0 0.64 (confidence rate) |
DNC | DNC |
?F??F?FF?FF????F ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 10 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| CSRepetitions (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 48 | 234 | 294 | 192 | 96 | 318 | 306 | 198 | 204 |
| Bonuses | 0 | 0 | 0 | 6 | 0 | 0 | 30 | 18 | 6 | 12 |
| Scores | 0 | 48 | 234 | 288 | 192 | 96 | 288 | 288 | 192 | 192 |
| 02 FFFTFTFFFFFTTFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFTFTFFFFFTTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 03 FFFFFFFFFFFFFFFF (expected value) 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
| 04 FFFFFFFFFFFFFFFF (expected value) 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT XXXXXXXXXXXXXXXX V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
| 05 FFFFFFFFFFFFFFFF (expected value) 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT XXXXXXXXXXXXXXXX V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 07 TFTTFTFFTFFTTTTF (expected value) 3.89 2.46 3.89 3.89 2.46 3.89 2.46 2.46 3.89 2.46 2.46 3.89 3.89 3.89 3.89 2.46 (confidence rate) |
DNC | CC 0 |
T?TT?T??T??TTTT? T-TT-T--T--TTTT- ---:-- / 27
|
TFTTFTFFTFFTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
T?TT?T??T??TTTT? T-TT-T--T--TTTT- ---:-- / 27
|
DNF 0 |
TFTTFTFFTFFTTTTF TTTTTTTTTTTTTTTT ---:P- / 48
|
TFTTFTFFTFFTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TFTTFTFFTFFTTTTF TTTTTTTTTTTTTTTT ---:-M / 48
|
| 10 FFFTFTTTFFFTFTTF (expected value) 2.62 2.62 1.98 2.77 1.98 2.77 2.77 2.77 2.62 2.62 2.62 2.77 1.98 2.77 2.77 1.98 (confidence rate) |
DNC | CC 0 |
FF??????FFF????? TT------TTT----- ---:-- / 15
|
FFFTFTTTFFFTFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
???T?TTT???T?TT? ---T-TTT---T-TT- ---:-- / 21
|
DNF 0 |
FFFTFTTTFFFTFTTF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFTFTTTFFFTFTTF TTTTTTTTTTTTTTTT ---:-M / 48
|
DNF 0 |
DNF 0 |
| CircadianClock (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 54 | 144 | 240 | 300 | 267 | 189 | 294 | 336 | 288 | 240 |
| Bonuses | 6 | 0 | 0 | 12 | 0 | 0 | 6 | 48 | 0 | 0 |
| Scores | 48 | 144 | 240 | 288 | 267 | 189 | 288 | 288 | 288 | 240 |
| 000001 FTTTTFTTTTTFFTTF (expected value) 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 (confidence rate) |
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-M / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:P- / 48
|
FTTTTFTTTTTFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
| 000010 TFTFFTTTFFTTFTFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:PM / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFFTTTFFTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 000100 FTFFTFFTTFTTTTTF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:PM / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFTFFTTFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 001000 FFTTFTFFTFFTFFTF (expected value) 5.26 4.33 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFTTFTFFTFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFFTFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFFTFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
F?TTFTFFTFFTFFTF T-TTTTTTTTTTTTTT ---:-- / 45
|
FFTTFTFFTFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFFTFFTFFTF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFTTFTFFTFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFFTFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 010000 TTFFFTFFFTFFFTTF (expected value) 3.54 3.54 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 3.54 4.33 4.33 (confidence rate) |
DNC | DNF 0 |
TTFFFTFFFTFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFTFFFTFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
??FFFTFFFTFFF?TF --TTTTTTTTTTT-TT ---:-- / 39
|
DNF 0 |
TTFFFTFFFTFFFTTF TTTTTTTTTTTTTTTT ---:P- / 48
|
TTFFFTFFFTFFFTTF TTTTTTTTTTTTTTTT ---:-M / 48
|
TTFFFTFFFTFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFTFFFTFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 100000 FFFTTTTTFFFTFFTF (expected value) 4.33 4.33 4.33 3.69 2.90 2.90 3.69 3.69 4.33 4.33 3.54 3.69 3.54 4.33 3.69 4.33 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTXXXXXTTTXTTXT V--:-- / -
|
FFFTTTTTFFFTFFTF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFT??TTFF?T?FTF TTTT--TTTT-T-TTT ---:-- / 36
|
CC 0 |
FFFTTTTTFFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTTFFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTTFFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTTFFFTFFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| CircularTrains (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 96 | 336 | 378 | 225 | 240 | 342 | 348 | 204 | 294 |
| Bonuses | 0 | 0 | 0 | 42 | 0 | 0 | 6 | 12 | 12 | 12 |
| Scores | 0 | 96 | 336 | 336 | 225 | 240 | 336 | 336 | 192 | 282 |
| 012 TFTTFTTTFFTTFFTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFTTTFFTTFFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
| 024 TTFFFFFFTFFFTFTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTFFFTFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
| 048 TTTTTTTTTTTTTTTT (expected value) 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
DNF 0 |
| 096 TTTTTTTTTTTTTTTT (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 192 TTTTTTTTTTTTTTTT (expected value) 4.02 4.81 4.81 4.02 4.02 4.02 4.81 4.02 4.02 4.02 4.02 4.02 4.81 4.81 4.02 4.81 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?TT???T?????TT?T -TT---T-----TT-T ---:-- / 18
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 384 TTTTTTTTTTTTTTTT (expected value) 3.10 3.10 3.10 3.10 3.10 3.10 3.10 3.10 3.10 3.10 3.10 3.10 3.89 3.10 3.10 3.10 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
????????????T??? ------------T--- ---:-- / 3
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 768 TTTTTTTTTTTTTTTT (expected value) 2.62 3.10 3.89 3.10 3.10 3.10 3.89 3.89 3.10 3.89 3.10 2.62 3.10 3.10 3.10 3.10 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
??T???TT?T?????? --T---TT-T------ ---:-- / 12
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
?TTTTTTTTTT?TTTT -TTTTTTTTTT-TTTT ---:-- / 42
|
| DatabaseWithMutex (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 24 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 24 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 02 (F)(F)? (F)(F)(F)(F)? (F)? ? ? (F)(F)(F)(F) (expected value) 0.64 0.64 0 0.64 0.64 0.64 0.64 0 0.64 0 0 0 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FF?FFFF?F???FFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? --?----?-???---- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 04 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 10 ? ? ? ? ? ? ? ? ? (F)? (F)? (F)? (F) (expected value) 0 0 0 0 0 0 0 0 0 0.64 0 0.64 0 0.64 0 0.64 (confidence rate) |
DNC | DNC |
?????????F?F?F?F ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 20 ? (expected value) 0 (confidence rate) |
DNC | DNC | DNF 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 40 ? (expected value) 0 (confidence rate) |
DNC | DNC | DNF 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| DatabaseWithMutex (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 102 | 0 | 108 | 216 | 168 | 96 | 192 | 189 | 108 | 102 |
| Bonuses | 6 | 0 | 0 | 24 | 0 | 0 | 0 | 0 | 12 | 6 |
| Scores | 96 | 0 | 108 | 192 | 168 | 96 | 192 | 189 | 96 | 96 |
| 02 FFTFFFFTFTTTFFFF (expected value) 6.37 6.37 5.74 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 (confidence rate) |
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFFFFFTFTTTFFFF TTXTTTTTTTTTTTTT V--:-- / -
|
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFTTTFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
DNF 0 |
| 04 TTTTTTTTTTTTTTTT (expected value) 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.23 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
| 10 TTTTTTTTTFTFTFTF (expected value) 2.46 2.46 3.25 3.25 2.46 3.25 3.25 2.46 3.89 3.25 3.89 3.25 3.89 3.25 3.89 3.25 (confidence rate) |
CC 0 |
DNF 0 |
????????T?T?T?T? --------T-T-T-T- ---:-- / 12
|
TTTTTTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:PM / 48
|
??TT?TT?TFTFTFTF --TT-TT-TTTTTTTT ---:-- / 36
|
DNF 0 |
TTTTTTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 20 TTTTTTTFTTTTTTTT (expected value) 2.77 2.77 2.77 1.98 1.98 2.77 2.77 1.48 2.77 2.77 2.77 2.77 1.98 2.77 2.77 2.77 (confidence rate) |
CC 0 |
DNF 0 |
CC 0 |
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTT??TT?TTTT?TTT TTT--TT-TTTT-TTT ---:-- / 36
|
DNF 0 |
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTT?TTTTTTTT TTTTTTT-TTTTTTTT ---:-- / 45
|
DNF 0 |
DNF 0 |
| 40 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNF 0 |
DNF 0 |
| Dekker (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 264 | 48 | 300 | 312 | 159 | 144 | 252 | 240 | 96 | 96 |
| Bonuses | 24 | 0 | 12 | 24 | 0 | 0 | 12 | 0 | 0 | 0 |
| Scores | 240 | 48 | 288 | 288 | 159 | 144 | 240 | 240 | 96 | 96 |
| 010 TFFTTTFTFFFTFTFT (expected value) 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.23 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate) |
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTTFFFFFTFTFT TTTTTTTXTTTTTTTT V--:-- / -
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:PM / 48
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTTTFTFFFTFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 015 TTTFTTFTTTFFTFTT (expected value) 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate) |
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFTTFTTTFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 020 FFTTTTTFFTTTTTFT (expected value) 5.92 5.92 5.92 5.92 5.92 5.30 5.30 5.92 5.92 5.92 5.92 5.30 5.92 5.30 5.92 5.30 (confidence rate) |
FFTTTTTFFTTTTTFT TTTTTTTTTTTTTTTT ---:PM / 48
|
FFTTTFFFFTTFTFFF TTTTTXXTTTTXTXTX V--:-- / -
|
FFTTTTTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTTFFTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| 050 TTTTTTTTTTTTTTTT (expected value) 3.59 3.59 3.59 4.38 3.59 4.38 3.59 3.59 3.59 3.59 3.59 3.59 3.59 3.59 3.59 3.59 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
???T?T?????????? ---T-T---------- ---:-- / 6
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| 100 TTTTTTTTTTTTTTTT (expected value) 3.59 3.59 3.59 4.38 3.59 4.38 3.59 3.59 3.59 3.59 3.59 4.38 3.59 3.59 3.59 3.59 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
???T?T?????T???? ---T-T-----T---- ---:-- / 9
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| 200 TTTTTTTTTTTTTTTT (expected value) 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| Diffusion2D (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 720 | 1104 | 1668 | 462 | 576 | 762 | 720 | 630 | 528 |
| Bonuses | 0 | 0 | 0 | 276 | 0 | 0 | 36 | 30 | 6 | 0 |
| Scores | 0 | 720 | 1104 | 1392 | 462 | 576 | 726 | 690 | 624 | 528 |
| D05N010 FFTFTTFFFFFFFTTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
FFTFTTFFFFFFFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D05N050 FFTFFTTTFFFFFFTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFTTTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D05N100 FFTTTFTTFFFFFTFF (expected value) 5.09 5.09 5.09 5.88 5.88 5.88 5.88 5.09 5.09 5.09 5.09 5.09 5.09 5.09 5.88 5.88 (confidence rate) |
DNC |
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:PM / 48
|
???TTFT???????FF ---TTTT-------TT ---:-- / 18
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| D05N150 FFFTFTFTFFFFFFTT (expected value) 5.09 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.09 5.09 5.09 5.09 5.09 5.88 5.09 5.88 (confidence rate) |
DNC |
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
??FTFTFT?????F?T --TTTTTT-----T-T ---:-- / 24
|
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTFTFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D05N200 FFFFTFTTFFFFTFTT (expected value) 5.09 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.09 5.09 5.09 5.09 5.88 5.88 5.88 5.09 (confidence rate) |
DNC |
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
??FFTFTT????TFT? --TTTTTT----TTT- ---:-- / 27
|
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFTFTTFFFFTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D05N250 FFTFFFFTFFFFTFTF (expected value) 5.09 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.09 5.09 5.09 5.09 5.09 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
??TFFFFT?????FTF --TTTTTT-----TTT ---:-- / 27
|
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFTFFFFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| D05N300 FFTTFFFFFFFFFFFF (expected value) 5.09 5.09 5.09 5.88 5.88 5.88 5.88 5.09 5.09 5.09 5.09 5.09 5.09 5.09 5.09 5.88 (confidence rate) |
DNC |
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
???TFFF????????F ---TTTT--------T ---:-- / 15
|
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| D05N350 FFFTFFTTFFFFFFFT (expected value) 3.98 3.98 3.85 3.85 3.85 3.85 3.85 3.06 3.98 3.98 3.98 3.98 3.98 4.77 4.77 4.77 (confidence rate) |
DNC | DNF 0 |
FFFTFFTTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFFTTFFFFFFFT TTTTTTTTTTTTTTTT ---:PM / 48
|
??FTFFT??????FFT --TTTTT------TTT ---:-- / 24
|
FF??????FFFFFFFT TT------TTTTTTTT ---:-- / 30
|
FFFTFFTTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFFTTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFFTTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
| D10N010 TTTTTTTTTFTTTTTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTFTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D10N050 TTTTFTTTTTTTTTTT (expected value) 5.09 5.09 5.88 5.09 5.88 5.09 5.09 5.09 5.09 5.09 5.09 5.09 5.09 5.09 5.09 5.88 (confidence rate) |
DNC |
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
??T?F??????????T --T-T----------T ---:-- / 9
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D10N100 TTTTTTTTTTTTTTTT (expected value) 5.09 5.09 5.09 5.09 5.09 5.88 5.09 4.16 5.09 5.88 5.09 5.09 5.09 5.09 5.09 5.09 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?????T???T?????? -----T---T------ ---:-- / 6
|
TTTTTTT?TTTTTTTT TTTTTTT-TTTTTTTT ---:-- / 45
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D10N150 TTTTTTTTTTFTTTTT (expected value) 4.77 3.98 3.06 3.85 3.06 3.06 3.85 3.06 3.98 3.98 3.98 2.56 3.06 3.06 3.06 3.06 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTFTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTFTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
T??T??T????????? T--T--T--------- ---:-- / 9
|
TT??????TTF????? TT------TTT----- ---:-- / 15
|
TTTTTTTTTTF?TTTT TTTTTTTTTTT-TTTT ---:-- / 45
|
TTTTTTTTTTFTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTFTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
| D10N200 TTTTTTTTTTTTTTTT (expected value) 3.47 3.54 4.33 3.54 2.54 3.54 3.54 4.33 2.54 4.33 2.54 3.04 2.54 3.04 2.54 2.54 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
??T????T?T?????? --T----T-T------ ---:-- / 9
|
T??????????????? T--------------- ---:-- / 3
|
?TTT?TTT?T?????? -TTT-TTT-T------ ---:-- / 21
|
?TTT?TTT?T?T?T?? -TTT-TTT-T-T-T-- ---:-- / 27
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| D20N010 TTTTTTTTTTTTTTTT (expected value) 3.96 4.45 3.96 3.96 3.96 4.95 3.96 3.96 4.95 4.95 3.96 4.95 3.96 3.96 3.96 3.96 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
?T???T??TT?T???? -T---T--TT-T---- ---:-- / 15
|
?????T??TT?T???? -----T--TT-T---- ---:-- / 12
|
DNF 0 |
DNF 0 |
| D20N050 TTTTTTTTTTTTTTTT (expected value) 2.24 3.24 3.24 2.24 3.24 2.24 3.24 2.24 2.24 3.24 3.03 2.24 2.24 2.24 2.24 2.24 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
??????????T????? ----------T----- ---:-- / 3
|
DNF 0 |
?TT?T?T??T?????? -TT-T-T--T------ ---:-- / 15
|
?TT?T?T??T?????? -TT-T-T--T------ ---:-- / 15
|
DNF 0 |
DNF 0 |
| D20N100 TTTTTTTTTTTTTTTT (expected value) 1.62 1.62 1.62 1.62 1.62 2.12 2.12 1.62 1.62 1.62 1.62 2.62 2.12 1.62 1.62 1.62 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
?????TT????TT??? -----TT----TT--- ---:-- / 12
|
???????????T???? -----------T---- ---:-- / 3
|
DNF 0 |
DNF 0 |
| D20N150 TTTTTTTTTTTTTTTT (expected value) 2.62 1.62 2.62 1.62 1.62 1.62 2.62 1.62 2.62 1.62 1.62 1.62 2.62 1.62 1.62 1.62 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
T?T???T?T???T??? T-T---T-T---T--- ---:-- / 15
|
T?T???T?T???T??? T-T---T-T---T--- ---:-- / 15
|
DNF 0 |
DNF 0 |
| D30N010 TTTTTTTTTTTTTTTT (expected value) 3.96 3.03 4.03 3.03 3.03 3.03 3.03 3.03 4.03 4.03 3.03 4.03 3.03 3.03 4.03 3.03 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
T??????????????? T--------------- ---:-- / 3
|
??T?????TT?T??T? --T-----TT-T--T- ---:-- / 15
|
??T?????TT?T??T? --T-----TT-T--T- ---:-- / 15
|
DNF 0 |
DNF 0 |
| D30N050 TTTTTTTTTTTTTTTT (expected value) 2.62 1.62 2.62 1.62 2.62 1.62 2.41 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
??????T????????? ------T--------- ---:-- / 3
|
DNF 0 |
T?T?T??????????? T-T-T----------- ---:-- / 9
|
T?T?T??????????? T-T-T----------- ---:-- / 9
|
DNF 0 |
DNF 0 |
| D30N100 TTTTTTTTTTTTTTTT (expected value) 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 1.62 2.62 1.62 1.62 1.62 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
????????????T??? ------------T--- ---:-- / 3
|
????????????T??? ------------T--- ---:-- / 3
|
DNF 0 |
DNF 0 |
| D30N150 TTTTTTTTTTTTTTTT (expected value) 0.98 0.98 0.98 0.98 0.98 1.98 0.98 0.98 0.98 0.98 0.98 1.98 1.98 0.98 1.98 1.98 (confidence rate) |
DNC | DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
?????T?????TT?TT -----T-----TT-TT ---:-- / 15
|
?????T?????TT?TT -----T-----TT-TT ---:-- / 15
|
DNF 0 |
DNF 0 |
| D40N010 TTTTTTTTTTTTTTTT (expected value) 3.03 3.03 3.03 3.03 3.03 3.03 3.03 3.03 3.03 3.03 3.03 3.53 3.03 3.03 3.03 3.03 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
???????????T???? -----------T---- ---:-- / 3
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D40N050 TTTTTTTTTTTTTTTT (expected value) 2.12 1.62 2.12 1.62 1.62 2.12 1.62 1.62 2.12 1.62 1.62 1.62 1.62 1.62 1.62 1.62 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
T?T??T??T??????? T-T--T--T------- ---:-- / 12
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D40N100 TTTTTTTTTTTTTTTT (expected value) 0.98 0.98 0.98 1.48 1.48 0.98 0.98 0.98 0.98 0.98 0.98 1.48 0.98 0.98 0.98 1.48 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
???TT??????T???T ---TT------T---T ---:-- / 12
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D40N150 TTTTTTTTTTTTTTTT (expected value) 0.98 0.98 0.98 1.48 1.48 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
???TT??????????? ---TT----------- ---:-- / 6
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D50N010 TTTTTTTTTTTTTTTT (expected value) 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 2.24 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D50N050 TTTTTTTTTTTTTTTT (expected value) 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D50N100 TTTTTTTTTTTTTTTT (expected value) 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| D50N150 TTTTTTTTTTTTTTTT (expected value) 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 0.98 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
DNF 0 |
| DotAndBoxes (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 48 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 48 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2 (F)(F)(T)(F)(F)(F)(F)(F)(F)(T)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
FFTFFFFFFTFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 3 (F)(T)(T)(F)(F)(F)(F)(T)(F)(F)(T)(F)(T)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | CC 0 |
FTTFFFFTFFTFTFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 4 (F)? ? (F)? (F)(F)(F)(F)? (F)? (T)(F)? (F) (expected value) 0.64 0 0 0.64 0 0.64 0.64 0.64 0.64 0 0.64 0 0.64 0.64 0 0.64 (confidence rate) |
DNC | CC 0 |
F??F?FFFF?F?TF?F ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 5 ? (T)(F)? ? (F)? ? (F)? ? ? ? (F)(F)? (expected value) 0 0.64 0.64 0 0 0.64 0 0 0.64 0 0 0 0 0.64 0.64 0 (confidence rate) |
DNC | CC 0 |
?TF??F??F????FF? ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| DrinkVendingMachine (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 02 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | CC 0 |
TTTTTTTTTTTTTTTT ???????????????? -C-:-- / -
|
DNC | CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 10 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 16 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 24 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 48 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
DNF 0 |
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 76 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| 98 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
DNF 0 |
DNC | CC 0 |
CC 0 |
DNC | DNC | DNC | DNC |
| DrinkVendingMachine (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 48 | 0 | 48 | 0 | 48 | 48 | 60 | 48 | 48 |
| Bonuses | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12 | 0 | 0 |
| Scores | 0 | 48 | 0 | 48 | 0 | 48 | 48 | 48 | 48 | 48 |
| 02 FFFFFFFFFFFFFFFF (expected value) 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 4.45 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT -C-:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT XXXXXXXXXXXXXXXX V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 10 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? ---:-- / 0
|
CC 0 |
DNF 0 |
CC 0 |
DNF 0 |
DNF 0 |
| ERK (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 48 | 48 | 240 | 300 | 144 | 144 | 294 | 330 | 108 | 180 |
| Bonuses | 0 | 0 | 0 | 12 | 0 | 0 | 6 | 42 | 12 | 0 |
| Scores | 48 | 48 | 240 | 288 | 144 | 144 | 288 | 288 | 96 | 180 |
| 000001 TTTTFTTFTFTTTFTT (expected value) 6.85 6.85 6.85 6.85 6.85 6.23 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.23 6.23 (confidence rate) |
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFFTFTFTTTFFF TTTTTXTTTTTTTTXX V--:-- / -
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTFTTFTFTTTFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 000010 TTFTFTTTTFTFTFTF (expected value) 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 (confidence rate) |
DNC |
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:-M / 48
|
TTFTFTTTTFTFTFTF TTTTTTTTTTTTTTTT ---:P- / 48
|
DNF 0 |
| 000100 FFFFFFFFFFFFFFFF (expected value) 5.26 5.26 4.81 5.26 4.81 4.81 4.81 5.26 5.26 5.26 4.81 4.81 5.26 5.26 4.81 5.26 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFTFTTTFFFTTFFTF TTXTXXXTTTXXTTXT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 001000 FFFFFFFFFFFFFFFF (expected value) 3.54 3.10 3.54 3.10 3.10 3.54 3.10 3.54 3.54 3.10 3.10 3.10 3.54 3.10 3.54 3.54 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
???????????????? ---------------- ---:-- / 0
|
???????????????? ---------------- ---:-- / 0
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FTFTTFTFFTTTFTFF TXTXXTXTTXXXTXTT V--:-- / -
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 010000 FFFFFFFFFFFFFFFF (expected value) 2.90 1.98 1.98 1.98 1.98 2.90 1.98 1.98 1.98 2.90 1.98 2.90 1.98 1.98 2.90 2.90 (confidence rate) |
DNC | DNF 0 |
DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FTTTTFTTTFTFTTFF TXXXXTXXXTXTXXTT V--:-- / -
|
F????F???F?F??FF T----T---T-T--TT ---:-- / 18
|
| 100000 FFFFFFFFFFFFFFFF (expected value) 3.54 3.54 2.62 3.54 2.62 2.62 2.62 3.54 2.62 3.54 2.62 2.62 2.62 2.62 2.62 3.54 (confidence rate) |
DNC | DNF 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
CC 0 |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFTTTFTFTTTTTF TTXTXXXTXTXXXXXT V--:-- / -
|
FF?F???F?F?????F TT-T---T-T-----T ---:-- / 18
|
| Echo (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 84 | 525 | 48 | 0 | 438 | 435 | 0 | 42 |
| Bonuses | 0 | 0 | 0 | 96 | 0 | 0 | 6 | 6 | 0 | 0 |
| Scores | 0 | 0 | 84 | 429 | 48 | 0 | 432 | 429 | 0 | 42 |
| d02r09 TTTTTTTTTTTTTTTT (expected value) 2.62 1.98 1.98 1.00 1.98 1.98 1.98 1.98 2.62 2.62 1.98 3.41 2.62 2.62 2.62 1.98 (confidence rate) |
CC 0 |
DNF 0 |
T???????TT?TTTT? T-------TT-TTTT- ---:-- / 21
|
TTT?TTTTTTTTTTTT TTT-TTTTTTTTTTTT ---:-- / 45
|
???????????T???? -----------T---- ---:-- / 3
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
DNF 0 |
DNF 0 |
| d02r11 TTTTTTTTTTTTTTTT (expected value) 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 2.77 1.98 1.98 2.77 1.98 (confidence rate) |
CC 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????T??T? -----------T--T- ---:-- / 6
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| d02r15 TTTTTTTTTTTTTTTT (expected value) 2.77 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 (confidence rate) |
CC 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
T??????????????? T--------------- ---:-- / 3
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| d02r19 TTTTTTTTTTTTTTTT (expected value) 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.48 1.98 2.77 1.98 1.98 1.98 1.98 1.98 (confidence rate) |
CC 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
??????????T????? ----------T----- ---:-- / 3
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTT?TTTTTTT TTTTTTTT-TTTTTTT ---:-- / 45
|
DNF 0 |
DNF 0 |
| d03r03 TTTTTTTTTTTTTTTT (expected value) 3.89 3.10 3.10 3.10 3.89 3.10 3.10 3.10 3.41 3.89 3.89 3.10 3.41 3.10 3.10 3.10 (confidence rate) |
CC 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
T???T???TTT?T??? T---T---TTT-T--- ---:-- / 18
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTT?TTT?TTT TTTTTTTT-TTT-TTT ---:-- / 42
|
| d03r05 TTTTTTTTTTTTTTTT (expected value) 2.62 2.62 1.98 1.98 1.98 2.77 1.98 1.98 1.98 1.98 1.98 1.98 3.41 1.98 1.98 1.98 (confidence rate) |
CC 0 |
DNF 0 |
TT??????????T??? TT----------T--- ---:-- / 9
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?????T??????T??? -----T------T--- ---:-- / 6
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| d03r07 TTTTTTTTTTTTTTTT (expected value) 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 (confidence rate) |
CC 0 |
DNF 0 |
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| d04r03 TTTTTTTTTTTTTTTT (expected value) 1.98 1.98 1.98 1.98 2.62 1.98 1.98 2.77 1.98 1.98 1.98 1.98 2.62 1.98 1.98 1.98 (confidence rate) |
CC 0 |
DNF 0 |
????T???????T??? ----T-------T--- ---:-- / 6
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????T???????? -------T-------- ---:-- / 3
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| d05r03 TTTTTTTTTTTTTTTT (expected value) 2.77 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 1.98 2.77 1.98 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
T?????????????T? T-------------T- ---:-- / 6
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| EnergyBus (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 0 | 30 | 0 | 54 | 9 | 9 | 0 | 0 |
| Bonuses | 0 | 0 | 0 | 6 | 0 | 6 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 24 | 0 | 48 | 9 | 9 | 0 | 0 |
| none TTTTTTTTTTTFFFTT (expected value) 0.92 1.91 0.92 1.91 1.91 1.91 0.92 0.92 1.91 1.91 1.91 2.55 2.55 2.55 0.92 1.91 (confidence rate) |
DNF 0 |
FFFFFFFFFFFFFFFF XXXXXXXXXXXTTTXX V--:-- / -
|
CC 0 |
?T?TTT??TTT????T -T-TTT--TTT----T ---:-M / 24
|
???????????????? ---------------- ---:-- / 0
|
TTTTTTTTTTTFFFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
???????????FFF?? -----------TTT-- ---:-- / 9
|
???????????FFF?? -----------TTT-- ---:-- / 9
|
DNF 0 |
DNF 0 |
| Eratosthenes (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 48 | 48 | 288 | 312 | 288 | 288 | 288 | 330 | 246 | 240 |
| Bonuses | 0 | 0 | 0 | 24 | 0 | 0 | 0 | 42 | 6 | 0 |
| Scores | 48 | 48 | 288 | 288 | 288 | 288 | 288 | 288 | 240 | 240 |
| 010 TTFTFFTFFFFFTTFF (expected value) 6.37 6.37 6.37 6.37 6.37 5.74 6.37 4.77 6.37 6.37 5.74 6.37 6.37 6.37 4.77 6.37 (confidence rate) |
TTFTFFTTFFFFTTTF TTTTTTTXTTTTTTXT V--:-- / -
|
TTFTFTTTFFTFTTTF TTTTTXTXTTXTTTXT V--:-- / -
|
TTFTFFTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFTFFFFFTTFF TTTTTTTTTTTTTTTT ---:PM / 48
|
TTFTFFTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
| 020 TFFFTTFTTTTFTTFT (expected value) 6.85 6.23 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.23 6.85 (confidence rate) |
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFTTFTTTTFTTTT TXTTTTTTTTTTTTXT V--:-- / -
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:PM / 48
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFTTTTFTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 050 TFFTFTTFFTTTFTTT (expected value) 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
CC 0 |
TFTTFTTFFTTTFTTT TTXTTTTTTTTTTTTT V--:-- / -
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TFFTFTTFFTTTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 100 TFFFTTFFFFTFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
CC 0 |
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFTTFFFFTFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 200 TTTFFFTTFFFTTTFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
CC 0 |
CC 0 |
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTFFFTTFFFTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 500 TFTFTTFTFFTTTFFT (expected value) 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 4.81 (confidence rate) |
CC 0 |
CC 0 |
TFTFTTFTFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFTTFTFFTTTFFT TTTTTTTTTTTTTTTT ---:PM / 48
|
TFTFTTFTFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFTTFTFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFTTFTFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTFTTFTFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TFTFTTFTFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| FMS (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 336 | 384 | 384 | 318 | 288 | 384 | 456 | 408 | 336 |
| Bonuses | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 72 | 24 | 0 |
| Scores | 0 | 336 | 384 | 384 | 318 | 288 | 384 | 384 | 384 | 336 |
| 002 TTTTTTTFTTTTTTTT (expected value) 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 (confidence rate) |
DNC |
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTFTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
DNF 0 |
| 005 TTTTTTTTTTTTTTTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 010 FTFFFTTTTTTFTTTF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:PM / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFTTTTTTFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 020 FTTTTTFFFFFTFTTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFFFFFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 050 FTTTFFFTFTTTTFFT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:PM / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFFFTFTTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 100 FTTTFTFFFTFTTFTF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:PM / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTFTFFFTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 200 FFTTFFTTTFFFTTTF (expected value) 4.95 4.16 4.95 4.95 4.16 4.95 4.95 4.95 4.95 4.16 4.16 4.16 4.95 4.95 4.95 4.16 (confidence rate) |
DNC |
FFTTFFTTTFFFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFTTTFFFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFTTTFFFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
F?TT?FTTT???TTT? T-TT-TTTT---TTT- ---:-- / 30
|
DNF 0 |
FFTTFFTTTFFFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFTTTFFFTTTF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFTTFFTTTFFFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFFTTTFFFTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 500 TTFTFFFTTFTFTTTT (expected value) 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 (confidence rate) |
DNC | DNF 0 |
TTFTFFFTTFTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTFTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTFTFFFTTFTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTFTFTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTFTFFFTTFTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTFTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| GlobalResAllocation (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 12 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 12 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 03 ? (F)(T)(T)? (F)? (T)(T)(F)? ? (T)(T)? (T) (expected value) 0 0.64 0.64 0.64 0 0.64 0 0.64 0.64 0.64 0 0 0.64 0.64 0 0.64 (confidence rate) |
DNC | DNC |
?FTT?F?TTF??TT?T ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ?---?-?---??--?- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 05 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 06 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 07 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 09 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 10 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 11 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| GlobalResAllocation (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 54 | 0 | 0 | 0 | 54 | 39 | 39 | 48 | 48 |
| Bonuses | 0 | 6 | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 0 |
| Scores | 0 | 48 | 0 | 0 | 0 | 48 | 39 | 39 | 48 | 48 |
| 03 FFTTTFFTTFFTTTFT (expected value) 2.47 3.47 3.47 3.47 3.47 3.47 3.47 3.47 3.47 3.47 2.47 3.47 3.47 3.47 2.47 3.47 (confidence rate) |
DNC |
FFTTTFFTTFFTTTFT TTTTTTTTTTTTTTTT ---:-M / 48
|
CC 0 |
???????????????? ---------------- ---:-- / 0
|
???????????????? ---------------- ---:-- / 0
|
FFTTTFFTTFFTTTFT TTTTTTTTTTTTTTTT ---:P- / 48
|
?FTTTFFTTF?TTT?T -TTTTTTTTT-TTT-T ---:-- / 39
|
?FTTTFFTTF?TTT?T -TTTTTTTTT-TTT-T ---:-- / 39
|
FFTTTFFTTFFTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFFTTFFTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 05 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | DNF 0 |
CC 0 |
DNF 0 |
???????????????? ???????????????? ---:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
| HouseConstruction (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 48 | 384 | 384 | 270 | 192 | 390 | 432 | 420 | 294 |
| Bonuses | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 48 | 36 | 6 |
| Scores | 0 | 48 | 384 | 384 | 270 | 192 | 384 | 384 | 384 | 288 |
| 002 FTTTTTTFFFFFTTFF (expected value) 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 (confidence rate) |
DNC |
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTTFFFFFTTFF TTTTTTTTTTTTTTTT ---:PM / 48
|
DNF 0 |
| 005 TTFTTTFTTTTTTTFF (expected value) 4.77 4.77 5.40 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 4.77 5.40 5.40 (confidence rate) |
DNC |
FFFFFFTFFFFFFFFF XXTXXXXXXXXXXXTT V--:-- / -
|
TTFTTTFTTTTTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTFTTTTTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTFTTTTTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTFTTTTTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTFTTTTTTTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTFTTTTTTTFF TTTTTTTTTTTTTTTT ---:-M / 48
|
TTFTTTFTTTTTTTFF TTTTTTTTTTTTTTTT ---:P- / 48
|
DNF 0 |
| 010 TTFTFFFTTTTTFTFF (expected value) 5.26 5.26 5.88 5.26 5.88 5.88 5.26 5.26 5.26 5.26 5.26 5.88 5.88 5.26 5.88 5.88 (confidence rate) |
DNC |
FFFFFFTFFFFTFFFF XXTXTTXXXXXTTXTT V--:-- / -
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:-M / 48
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTFFFTTTTTFTFF TTTTTTTTTTTTTTTT ---:P- / 48
|
| 020 FFTFFFFFFFTTTFFT (expected value) 5.88 5.88 5.26 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.26 5.26 5.26 5.88 5.88 5.26 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTXTTTTTTTXXXTTX V--:-- / -
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:-M / 48
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFTFFFFFFFTTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 050 TFTTTTFFFFFTFFFT (expected value) 3.54 4.95 3.54 3.54 3.54 3.54 4.95 4.95 4.95 4.95 4.95 3.54 4.95 4.95 4.95 3.54 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF XTXXXXTTTTTXTTTX V--:-- / -
|
TFTTTTFFFFFTFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTTTFFFFFTFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
?F????FFFFF?FFF? -T----TTTTT-TTT- ---:-- / 27
|
DNF 0 |
TFTTTTFFFFFTFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTTTFFFFFTFFFT TTTTTTTTTTTTTTTT ---:P- / 48
|
TFTTTTFFFFFTFFFT TTTTTTTTTTTTTTTT ---:-M / 48
|
TFTTTTFFFFFTFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 100 FFTTTTFFFFTTTTTF (expected value) 4.95 4.95 3.54 3.54 3.54 3.54 4.95 4.95 4.95 4.95 3.54 3.54 3.54 3.54 3.54 4.95 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTXXXXTTTTXXXXXT V--:-- / -
|
FFTTTTFFFFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FF????FFFF?????F TT----TTTT-----T ---:-- / 21
|
DNF 0 |
FFTTTTFFFFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFTTTTTF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFTTTTFFFFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFTTTTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 200 FFFTFFFFFTFFTTTT (expected value) 4.95 4.95 4.95 3.54 4.95 4.95 4.95 4.95 4.95 3.54 4.95 4.95 3.54 3.54 3.54 3.54 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTXTTTTTXTTXXXX V--:-- / -
|
FFFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFF?FFFFF?FF???? TTT-TTTTT-TT---- ---:-- / 30
|
DNF 0 |
FFFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 500 FFFTFTTTFTTFTFTF (expected value) 4.16 4.16 4.16 3.54 4.16 3.54 3.54 3.54 4.16 3.54 3.54 4.16 3.54 4.16 3.54 4.16 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF TTTXTXXXTXXTXTXT V--:-- / -
|
FFFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
FFFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| IBMB2S565S3960 (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 9 | 60 | 48 | 6 | 45 | 45 | 0 | 0 |
| Bonuses | 0 | 0 | 0 | 12 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 9 | 48 | 48 | 6 | 45 | 45 | 0 | 0 |
| none TTTTTTTTTTTTTTTT (expected value) 3.70 3.70 2.77 2.77 2.77 2.41 2.77 2.77 2.77 2.77 3.41 2.77 3.41 2.77 2.77 2.77 (confidence rate) |
DNC | DNF 0 |
?????T????T?T??? -----T----T-T--- ---:-- / 9
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TT?????????????? TT-------------- ---:-- / 6
|
TTTTT?TTTTTTTTTT TTTTT-TTTTTTTTTT ---:-- / 45
|
TTTTT?TTTTTTTTTT TTTTT-TTTTTTTTTT ---:-- / 45
|
CC 0 |
CC 0 |
| Kanban (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 288 | 384 | 384 | 342 | 240 | 390 | 456 | 396 | 342 |
| Bonuses | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 72 | 12 | 6 |
| Scores | 0 | 288 | 384 | 384 | 342 | 240 | 384 | 384 | 384 | 336 |
| 0005 TFFTFTTTFTFTFTTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TFFTFTTTFTFTFTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
| 0010 TTFFTTFFTFFTTFFT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTFFTTFFTFFTTFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 0020 FFFTTFFTFFFFFFFF (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 0050 FFFFFTFTFFFFFFFF (expected value) 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 5.40 (confidence rate) |
DNC |
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFFFTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
| 0100 FFTTTFTTFFFFFTFF (expected value) 5.88 5.88 5.09 5.09 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FF??TFTTFFFFFTFF TT--TTTTTTTTTTTT ---:-- / 42
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 0200 FFFTTFTFFFFFFFFF (expected value) 4.95 4.95 4.95 4.95 4.16 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 4.95 (confidence rate) |
DNC |
FFFTTFTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFT?FTFFFFFFFFF TTTT-TTTTTTTTTTT ---:-- / 45
|
CC 0 |
FFFTTFTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFTFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFTTFTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTFTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 0500 FFFTTTTFFFFFFFFF (expected value) 4.33 4.33 4.33 4.33 4.33 3.54 3.54 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 4.33 (confidence rate) |
DNC | DNF 0 |
FFFTTTTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTT??FFFFFFFFF TTTTT--TTTTTTTTT ---:-- / 42
|
CC 0 |
FFFTTTTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFTTTTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 1000 FFFTTTTFFFFFFTFT (expected value) 3.54 3.54 4.33 4.33 4.33 4.33 4.33 4.33 3.54 3.54 3.54 3.54 3.54 3.54 4.33 3.54 (confidence rate) |
DNC | DNF 0 |
FFFTTTTFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
??FTTTTF??????F? --TTTTTT------T- ---:-- / 21
|
CC 0 |
FFFTTTTFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTFFFFFFTFT TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFTTTTFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTTFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| LamportFastMutEx (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 36 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 36 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2 (T)(T)(T)(T)(F)(T)(T)(F)(T)(T)(F)(T)(T)(F)(T)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TTTTFTTFTTFTTFTF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 3 (T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TTTTTTTTTTTTTTTT ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 4 (T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TTTTTTTTTTTTTTTT ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 5 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 6 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 7 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 8 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| LamportFastMutEx (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 144 | 0 | 0 | 384 | 243 | 144 | 339 | 333 | 240 | 342 |
| Bonuses | 0 | 0 | 0 | 48 | 0 | 0 | 18 | 12 | 0 | 6 |
| Scores | 144 | 0 | 0 | 336 | 243 | 144 | 321 | 321 | 240 | 336 |
| 2 TTTTFTTFTTFTTFTF (expected value) 6.21 5.59 6.21 6.21 6.21 5.59 5.59 6.21 6.21 6.21 6.21 6.21 5.59 6.21 6.21 6.21 (confidence rate) |
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTFFFFTTFTFFTF TXTTTXXTTTTTXTTT V--:-- / -
|
CC 0 |
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTFTTFTTFTTFTF TTTTTTTTTTTTTTTT ---:P- / 48
|
| 3 TTTTTTTTTTTTTTTT (expected value) 5.59 6.21 6.21 6.21 6.21 6.21 5.59 6.21 6.21 6.21 6.21 5.59 6.21 5.59 5.59 5.59 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FTTTTTFTTTTFTFFF XTTTTTXTTTTXTXXX V--:-- / -
|
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 4 TTTTTTTTTTTTTTTT (expected value) 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 5.59 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 5 TTTTTTTTTTTTTTTT (expected value) 2.90 3.69 3.69 2.90 2.90 2.90 3.69 2.90 3.69 2.90 3.69 2.90 2.90 2.90 2.90 3.69 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?TT???T?T?T????T -TT---T-T-T----T ---:-- / 18
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 6 TTTTTTTTTTTTTTTT (expected value) 2.90 3.69 3.69 2.90 2.90 3.69 2.90 3.69 2.90 2.90 3.69 3.69 3.69 3.69 3.69 3.69 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?TT??T?T??TTTTTT -TT--T-T--TTTTTT ---:-- / 30
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 7 TFTTTFTTTTTTTTFT (expected value) 3.25 3.25 2.46 2.46 3.25 3.25 3.25 3.25 2.46 3.25 3.25 3.25 3.25 2.46 3.25 3.25 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TFTTTFTTTTTTTTFT TTTTTTTTTTTTTTTT ---:PM / 48
|
TF??TFTT?TTTT?FT TT--TTTT-TTTT-TT ---:-- / 36
|
DNF 0 |
TFTTTFTTTTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TFTTTFTTTTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TFTTTFTTTTTTTTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 8 TTTTTTTTTTTTTTTT (expected value) 1.46 3.25 3.25 1.46 3.25 2.46 1.46 3.25 2.46 3.25 1.46 2.46 2.46 1.46 2.46 2.46 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?TT?T??T?T?????? -TT-T--T-T------ ---:-- / 15
|
DNF 0 |
?TT?TT?TTT?TT?TT -TT-TT-TTT-TT-TT ---:-- / 33
|
?TT?TT?TTT?TT?TT -TT-TT-TTT-TT-TT ---:-- / 33
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| MAPK (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 48 | 288 | 312 | 273 | 231 | 294 | 324 | 150 | 276 |
| Bonuses | 0 | 0 | 0 | 24 | 0 | 0 | 6 | 36 | 6 | 0 |
| Scores | 0 | 48 | 288 | 288 | 273 | 231 | 288 | 288 | 144 | 276 |
| 008 FFTTTTFFFFFFFFTT (expected value) 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-M / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFTTTTFFFFFFFFTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 020 TTFFFFFTFFFTFTFF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:PM / 48
|
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFTFFFTFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 040 TTFTTTTFTFFFFTTF (expected value) 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:PM / 48
|
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTTFTFFFFTTF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 080 FFTTFTFTFFFFFFFT (expected value) 4.81 4.81 5.26 5.26 4.81 5.26 5.26 5.26 4.81 4.81 4.81 4.81 4.81 5.26 5.26 5.26 (confidence rate) |
DNC | DNF 0 |
FFTTFTFTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTFTFFFFFFFT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFTTFTFTFFFFFFFT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTFTTTTTTFFT XXTTXTTTXXXXXTTT V--:-- / -
|
FFTTFTFTFFFFFFFT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 160 FFFTTTFTFFFFFFFF (expected value) 4.81 4.81 4.33 4.33 3.54 5.26 5.26 4.47 4.81 4.81 4.81 4.81 4.81 4.81 4.81 5.26 (confidence rate) |
DNC | DNF 0 |
FFFTTTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFT?TF?FFFFFFFF TTTT-TT-TTTTTTTT ---:-- / 42
|
FF???TFTFFFFFFFF TT---TTTTTTTTTTT ---:-- / 39
|
FFFTTTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFTTTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTTFTTTTTTTTF XXTTTTTTXXXXXXXT V--:-- / -
|
FFFTTTFTFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 320 FFTFFFFFFFFFFTFT (expected value) 3.41 3.41 3.10 4.33 4.33 4.33 4.33 4.33 3.41 3.41 4.33 4.33 4.33 3.10 4.33 3.10 (confidence rate) |
DNC | DNF 0 |
FFTFFFFFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFFFFFFFTFT TTTTTTTTTTTTTTTT ---:PM / 48
|
FF?FFFFFFFFFF?F? TT-TTTTTTTTTT-T- ---:-- / 39
|
DNF 0 |
FFTFFFFFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTFFFFFFFFFFTFT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFFFFFFTTFFFFFF XXXTTTTTXXTTTXTX V--:-- / -
|
??TFFFFF??FFFTFT --TTTTTT--TTTTTT ---:-- / 36
|
| MultiwaySync (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 54 | 51 | 48 | 48 | 27 | 27 | 0 | 0 |
| Bonuses | 0 | 0 | 6 | 6 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 48 | 45 | 48 | 48 | 27 | 27 | 0 | 0 |
| none TTTTTTTTTTTTTTTT (expected value) 4.95 3.96 3.96 4.95 3.34 3.96 4.95 4.95 4.95 4.95 4.95 3.96 2.98 3.96 4.95 4.95 (confidence rate) |
DNF 0 |
TTTTFTTTTTTTTTTT TTTTXTTTTTTTTTTT V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTT?TTT TTTTTTTTTTTT-TTT ---:-M / 45
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
T??T??TTTTT???TT T--T--TTTTT---TT ---:-- / 27
|
T??T??TTTTT???TT T--T--TTTTT---TT ---:-- / 27
|
DNF 0 |
DNF 0 |
| NeoElection (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 12 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 12 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2 (F)(F)? ? (F)? ? (F)? ? ? ? ? ? (F)(F) (expected value) 0.64 0.64 0 0 0.64 0 0 0.64 0 0 0 0 0 0 0.64 0.64 (confidence rate) |
DNC | CC 0 |
FF??F??F??????FF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? --??-??-??????-- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 3 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 4 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 5 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 6 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 7 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 8 ? (expected value) 0 (confidence rate) |
DNC | CC 0 |
CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| NeoElection (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 108 | 0 | 0 | 66 | 144 | 96 | 219 | 219 | 0 | 96 |
| Bonuses | 12 | 0 | 0 | 0 | 0 | 0 | 24 | 24 | 0 | 0 |
| Scores | 96 | 0 | 0 | 66 | 144 | 96 | 195 | 195 | 0 | 96 |
| 2 FFFFFFTFFFTFTFFF (expected value) 5.77 5.77 5.77 5.77 5.77 5.77 5.14 4.77 5.77 5.77 5.14 5.77 5.14 5.77 4.77 5.77 (confidence rate) |
FFFFFFTFFFTFTFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFFFFFFFFFFFFFF TTTTTTXTTTXTXTTT V--:-- / -
|
CC 0 |
FFFFFFTFFFTFTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFTFFFTFTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFTFFFTFTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFT?FFTFTF?F TTTTTTT-TTTTTT-T ---:-- / 42
|
FFFFFFT?FFTFTF?F TTTTTTT-TTTTTT-T ---:-- / 42
|
DNF 0 |
FFFFFFTFFFTFTFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 3 FTFFFFFFFFFFFFFF (expected value) 4.16 5.14 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 4.16 (confidence rate) |
FTFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
CC 0 |
?T?????????????? -T-------------- ---:-- / 3
|
FTFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FTFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FTFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
DNF 0 |
FTFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
| 4 TFTFFFTFTFFFFFFF (expected value) 2.77 1.79 1.79 1.79 1.79 1.79 1.79 1.79 2.77 1.79 1.79 1.79 1.79 1.79 1.79 1.79 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TT??????T??????? TX------T------- V--:-- / -
|
TFTFFFTFTFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TFTFFFTFTFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
TFTFFFTFTFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
DNF 0 |
DNF 0 |
| 5 FFFFT(F)F(F)(F)FTFTTTT (expected value) 1.00 1.00 1.00 1.00 1.00 0.50 1.00 0.50 0.50 1.00 1.98 1.00 1.98 1.98 1.98 1.98 (confidence rate) |
CC 0 |
DNF 0 |
CC 0 |
??????????T?TTTT ----------T-TTTT ---:-- / 15
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
FFFFTFFFFFTFTTTT TTTTT?T??TTTTTTT ---:P- / 39
|
FFFFT?F??FTFTTTT TTTTT-T--TTTTTTT ---:-M / 39
|
DNF 0 |
DNF 0 |
| 6 ? (T)F? ? ? ? (F)TTFF(F)? T? (expected value) 0 0.50 1.00 0 0 0 0 0.50 1.00 1.00 1.00 1.00 0.50 0 1.00 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
???????????????? ?--????------?-? ---:-- / 0
|
???????????????? ?--????------?-? ---:-- / 0
|
DNF 0 |
?TF????FTTFFF?T? ??T?????TTTT??T? ---:P- / 18
|
??F?????TTFF??T? ?-T????-TTTT-?T? ---:-M / 18
|
DNF 0 |
DNF 0 |
| 7 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
???????????????? ???????????????? ---:-- / 0
|
???????????????? ???????????????? ---:-- / 0
|
DNF 0 |
CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNF 0 |
DNF 0 |
| 8 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
???????????????? ???????????????? ---:-- / 0
|
???????????????? ???????????????? ---:-- / 0
|
DNF 0 |
CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNF 0 |
DNF 0 |
| ParamProductionCell (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 342 | 0 | 288 | 306 | 288 | 288 | 288 | 288 | 288 | 288 |
| Bonuses | 54 | 0 | 0 | 18 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 288 | 0 | 288 | 288 | 288 | 288 | 288 | 288 | 288 | 288 |
| 0 TTTTTTTTTTTTTTTT (expected value) 6.23 6.23 6.23 6.85 6.23 6.23 6.85 6.23 6.85 6.23 6.85 6.85 6.23 6.85 6.23 6.23 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFTFFTFTFTTFTFF XXXTXXTXTXTTXTXX V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 1 FFTTFTTTTTTFTTTT (expected value) 6.85 6.85 6.23 6.23 6.85 6.85 6.23 6.23 6.85 6.85 6.85 6.23 6.23 6.85 6.85 6.85 (confidence rate) |
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFFFTFFTTTTFTTT TTXXTTXXTTTXXTTT V--:-- / -
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
FFTTFTTTTTTFTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 2 TTTTTTTTTTTTTTTT (expected value) 6.23 6.23 6.85 6.23 6.85 6.85 6.85 6.85 6.23 6.85 6.85 6.23 6.23 6.23 6.23 6.23 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
FFTFTTTTFTTFFFFF XXTXTTTTXTTXXXXX V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 3 TTTTTTTTTTTTTTTT (expected value) 6.23 6.23 6.23 6.23 6.85 6.23 6.85 6.85 6.23 6.23 6.23 6.23 6.23 6.23 6.23 6.85 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFFTFTTFFFFFFFT XXXXTXTTXXXXXXXT V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 4 TTTTTTTTTTTTTTTT (expected value) 6.23 6.85 6.85 6.23 6.85 6.85 6.85 6.23 6.23 6.85 6.85 6.23 6.23 6.23 6.23 6.85 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
FTTFTTTFFTTFFFFT XTTXTTTXXTTXXXXT V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 5 TTTTTTTTTTTTTTTT (expected value) 6.23 6.85 6.23 6.23 6.85 6.23 6.23 6.85 6.23 6.23 6.23 6.85 6.85 6.85 6.23 6.85 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
FTFFTFFTFFFTTTFT XTXXTXXTXXXTTTXT V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| PermAdmissibility (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 24 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 24 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 01 (T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TTTTTTTTTTTTTTTT ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 02 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 05 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 10 ? ? (F)? ? (F)(F)? ? ? ? ? ? ? ? ? (expected value) 0 0 0.64 0 0 0.64 0.64 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | DNC |
??F??FF????????? ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 20 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 50 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| PermAdmissibility (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 288 | 318 | 93 | 48 | 324 | 294 | 288 | 288 |
| Bonuses | 0 | 0 | 0 | 30 | 0 | 0 | 36 | 6 | 0 | 0 |
| Scores | 0 | 0 | 288 | 288 | 93 | 48 | 288 | 288 | 288 | 288 |
| 01 TTTTTTTTTTTTTTTT (expected value) 5.88 5.88 5.88 5.26 5.26 5.88 5.88 5.88 5.26 5.26 5.26 5.88 5.88 5.88 5.88 5.88 (confidence rate) |
DNC |
TTTFFTTTFFFTTTTT TTTXXTTTXXXTTTTT V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 02 TTTTTTTTTTTTTTTT (expected value) 4.33 4.33 4.33 3.54 4.33 4.33 4.33 3.54 3.54 4.33 4.33 3.54 4.33 4.33 4.33 4.33 (confidence rate) |
DNC | DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTT?TTT??TT?TTTT TTT-TTT--TT-TTTT ---:-- / 36
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 05 TTTTTTTTTTTTTTTT (expected value) 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF XXXXXXXXXXXXXXXX V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 10 TTFTTFFTTTTTTTTT (expected value) 3.54 3.54 4.95 3.54 3.54 4.95 4.95 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF XXTXXTTXXXXXXXXX V--:-- / -
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
??F??FF????????? --T--TT--------- ---:-- / 9
|
DNF 0 |
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTFTTFFTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 20 TTTTTTTTTTTTTTTT (expected value) 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF XXXXXXXXXXXXXXXX V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 50 TTTTTTTTTTTTTTTT (expected value) 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 3.54 (confidence rate) |
DNC |
FFFFFFFFFFFFFFFF XXXXXXXXXXXXXXXX V--:-- / -
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| Peterson (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 48 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 48 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2 (T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TTTTTTTTTTTTTTTT ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 3 (T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TTTTTTTTTTTTTTTT ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 4 (T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T)(T) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TTTTTTTTTTTTTTTT ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 5 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 6 (F)? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0.64 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | DNC |
F??????????????? ???????????????? ---:PM / 0
|
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 7 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| Peterson (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 102 | 96 | 99 | 354 | 213 | 96 | 255 | 255 | 48 | 96 |
| Bonuses | 6 | 0 | 0 | 66 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 96 | 96 | 99 | 288 | 213 | 96 | 255 | 255 | 48 | 96 |
| 2 TTTTTTTTTTTTTTTT (expected value) 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:P- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-M / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 3 TTTTTTTTTTTTTTTT (expected value) 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 6.41 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
| 4 TTTTTTTTTTTTTTTT (expected value) 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 2.77 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
DNF 0 |
| 5 TTTTTTTTTTTTTTTT (expected value) 0.98 2.77 2.77 2.77 0.98 2.77 2.77 0.98 2.77 2.77 2.77 2.77 2.77 0.98 2.77 2.77 (confidence rate) |
DNF 0 |
DNF 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
?TTT?TT?TTTTT?TT -TTT-TT-TTTTT-TT ---:-- / 36
|
DNF 0 |
?TTT?TT?TTTTT?TT -TTT-TT-TTTTT-TT ---:-- / 36
|
?TTT?TT?TTTTT?TT -TTT-TT-TTTTT-TT ---:-- / 36
|
DNF 0 |
DNF 0 |
| 6 FTTFFTTTFTTTTTTT (expected value) 3.41 0.98 1.98 2.77 2.77 0.98 2.77 0.98 2.77 2.77 2.77 2.77 2.77 2.77 0.98 2.77 (confidence rate) |
DNF 0 |
DNF 0 |
F??????????????? T--------------- ---:-- / 3
|
FTTFFTTTFTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
F??FF?T?FTTTTT?T T--TT-T-TTTTTT-T ---:-- / 33
|
DNF 0 |
F?TFF?T?FTTTTT?T T-TTT-T-TTTTTT-T ---:-- / 36
|
F?TFF?T?FTTTTT?T T-TTT-T-TTTTTT-T ---:-- / 36
|
DNF 0 |
DNF 0 |
| 7 TTTTTTTTTTTTTTTT (expected value) 1.98 1.98 1.98 1.98 1.98 0.98 1.98 0.98 1.98 1.98 0.98 1.98 1.98 1.98 1.98 1.98 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT ---:PM / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 |
TTTTT?T?TT?TTTTT TTTTT-T-TT-TTTTT ---:-- / 39
|
TTTTT?T?TT?TTTTT TTTTT-T-TT-TTTTT ---:-- / 39
|
DNF 0 |
DNF 0 |
| Philosophers (stripped) — Colored | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 0 | 0 | 84 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Bonuses | 0 | 0 | 84 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Scores | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 000005 (T)(F)(F)(F)(F)(F)(T)(T)(F)(F)(F)(F)(F)(T)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
TFFFFFTTFFFFFTFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 000010 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 000020 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 000050 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 000100 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 000200 (F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FFFFFFFFFFFFFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 000500 (F)(T)(T)(F)(F)(F)(F)(F)(F)(F)(F)(T)(F)(F)(F)(F) (expected value) 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 0.64 (confidence rate) |
DNC | DNC |
FTTFFFFFFFFTFFFF ???????????????? ---:PM / 0
|
DNC | CC 0 |
???????????????? ---------------- ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 001000 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | DNC | DNF 0 |
DNC | CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 002000 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
DNC | DNC | DNF 0 |
DNC | CC 0 |
???????????????? ???????????????? ---:-- / 0
|
DNC | DNC | DNC | DNC |
| 005000 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 010000 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 050000 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| 100000 ? (expected value) 0 (confidence rate) |
DNC | DNC | CC 0 |
DNC | CC 0 |
DNF 0 |
DNC | DNC | DNC | DNC |
| Philosophers (stripped) — P/T | ||||||||||
| Cunf | GreatSPN-Meddly | ITS-Tools | LoLA2.0 | LTSMin | Marcie | TAPAAL(MC) | TAPAAL(SEQ) | TAPAAL-OTF(PAR) | TAPAAL-OTF(SEQ) | |
| Total | 582 | 144 | 378 | 384 | 315 | 258 | 168 | 108 | 96 | 102 |
| Bonuses | 102 | 0 | 0 | 0 | 0 | 0 | 6 | 6 | 0 | 6 |
| Scores | 480 | 144 | 378 | 384 | 315 | 258 | 162 | 102 | 96 | 96 |
| 000005 TFFFFFTTFFFFFTFF (expected value) 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 6.85 (confidence rate) |
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-M / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:-- / 48
|
TFFFFFTTFFFFFTFF TTTTTTTTTTTTTTTT ---:P- / 48
|
| 000010 FFFFFFFFFFFFFFFF (expected value) 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 6.37 (confidence rate) |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:P- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-M / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
DNF 0 |
| 000020 FFFFFFFFFFFFFFFF (expected value) 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 5.43 (confidence rate) |
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:PM / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
FFFFFFFFFFFFFFFF TTTTTTTTTTTTTTTT ---:-- / 48
|
???????????????? ---------------- ---:-- / 0
|
DNF 0 | |