Introduction
Please find here the computed results for the ReachabilityFireability 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 greater than 0.97 for 2018),
- 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. 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 +1 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 ReachabilityFireability | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Total Points | 8529 | 14520 | 13442 | 5396 | 5331 | 10824 | 10889 | 5984 | 5793 | 5750 |
All «Surprise» models |
||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Total Points | 3188 | 5336 | 4856 | 0 | 0 | 3756 | 3888 | 1860 | 0 | 0 |
| Road Runner | 0 | 39 | 39 | 0 | 0 | 5 | 8 | 2 | 0 | 0 |
| Camel | 0 | 55 | 34 | 0 | 0 | 0 | 4 | 0 | 0 | 0 |
| ASLink — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 96 | 308 | 248 | 0 | 0 | 116 | 188 | 32 | 0 | 0 |
| Road Runner | 0 | 1 | 0 | 0 | 0 | 0 | 5 | 0 | 0 | 0 |
| Camel | 0 | 2 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 0 |
| 01a FFTTFFFTFFTTTTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 5.00 5.00 6.00 5.00 6.00 6.00 6.00 5.00 6.00 6.00 (confidence rate) |
FFTTFFFTFFTTTTFT TTTTTTTTTTTTTTTT --:-- / 32 
|
FFTTFFFTFFTTTTFT TTTTTTTTTTTTTTTT --:-M / 32
|
FFTTFF??F?TTT?FT TTTTTT--T-TTT-TT --:-- / 24
|
CC 0 |
CC 0 |
FFTTFFFTFFTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FFTTFFFTFFTTTTFT TTTTTTTTTTTTTTTT --:P- / 32
|
FFTTFFFTFFTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 01b TTFTTFFTTTTFTFTT (expected value) 5.00 4.00 5.00 4.00 3.00 4.00 4.00 2.00 1.00 3.00 1.00 1.00 2.00 2.00 4.00 3.00 (confidence rate) |
TTF?T?F??T?????T TTT-T-T--T-----T --:-- / 12
|
TTFTTFFTTTTFTFTT TTTTTTTTTTTTTTTT --:PM / 32
|
T?FTTFFT?T??TFTT T-TTTTTT-T--TTTT --:-- / 24
|
CC 0 |
CC 0 |
TTFT?FF???????T? TTTT-TT-------T- --:-- / 12
|
TTFT?F????????T? TTTT-T--------T- --:-- / 12
|
DNF 0 |
CC 0 |
CC 0 |
| 02a TFFFFFTTTTTTFFFF (expected value) 2.00 2.00 3.00 2.00 2.00 2.00 5.00 5.00 3.00 5.00 5.00 2.00 2.00 5.00 2.00 3.00 (confidence rate) |
??????TT?TT??F?? ------TT-TT--T-- --:-- / 8
|
??F???TTTTT??F?F --T---TTTTT--T-T --:-- / 16
|
??????TT?TT??F?? ------TT-TT--T-- --:-- / 8
|
CC 0 |
CC 0 |
TFFFFFTTTTTTFFFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFTTTTTTFFFF TTTTTTTTTTTTTTTT --:PM / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 02b ? T? F? TTTTFTTT? T? (expected value) 0 3.00 0 3.00 0 2.00 2.00 2.00 3.00 3.00 2.00 2.00 3.00 0 3.00 0 (confidence rate) |
?T???????F?????? ?T?-?----T---?-? --:-- / 4
|
?T?F?TTTTFTTT?T? ?T?T?TTTTTTTT?T? --:-- / 20
|
?T?F??TTTFTTT?T? ?T?T?-TTTTTTT?T? --:-- / 20
|
CC 0 |
CC 0 |
DNF 0 |
???F?T??T???T?T? ?-?T?T--T---T?T? --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 03a TTFFTFTFFFTFFTTF (expected value) 5.00 3.00 3.00 2.00 4.00 2.00 4.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 5.00 4.00 (confidence rate) |
T?????????????TF T-------------TT --:-- / 4
|
TTF?T?T??F????TF TTT-T-T--T----TT --:-- / 16
|
T???T?T??F????T? T---T-T--T----T- --:-- / 8
|
CC 0 |
CC 0 |
TTFFTFTFFFTFFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFTFTFFFTFFTTF TTTTTTTTTTTTTTTT --:PM / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 03b ? TT? ? FF? FF? ? TTT? (expected value) 0 3.00 2.00 0 0 3.00 2.00 0 2.00 3.00 0 0 2.00 3.00 3.00 0 (confidence rate) |
?T???F???F???T?? ?T-??T-?-T??-T-? --:-- / 8
|
?TT??FF?FF??TTT? ?TT??TT?TT??TTT? --:-- / 16
|
?T???FF??F???TT? ?T-??TT?-T??-TT? --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
??T?????F???T?T? ?-T??--?T-??T-T? --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 04a ? TTTT? ? FFFTTT? FT (expected value) 0 1.00 2.00 1.00 3.00 0 0 1.00 1.00 2.00 2.00 2.00 2.00 0 2.00 3.00 (confidence rate) |
?T??T??????????T ?T--T??------?-T --:-- / 4
|
??TTT??F?FTTT?FT ?-TTT??T-TTTT?TT --:-- / 20
|
??T?T????FT?T?FT ?-T-T??--TT-T?TT --:-- / 12
|
CC 0 |
CC 0 |
????????F??T???? ?----??-T--T-?-- --:-- / 4
|
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 04b TFTTTT? F? FTTTF? T (expected value) 2.00 2.00 3.00 1.00 1.00 3.00 0 2.00 0 2.00 1.00 2.00 1.00 3.00 0 1.00 (confidence rate) |
??T??T???????F?? --T--T?-?----T?- --:-- / 4
|
TFTT?T?F?FTTTF?T TTTT-T?T?TTTTT?T --:-- / 24
|
T?T?TT?F?F?T?F?? T-T-TT?T?T-T-T?- --:-- / 16
|
CC 0 |
CC 0 |
DNF 0 |
?F?????????????? -T----?-?-----?- --:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
| 05a FTFFTTTTTFTFFFTT (expected value) 1.00 3.00 1.00 3.00 3.00 2.00 3.00 1.00 3.00 2.00 3.00 1.00 1.00 1.00 1.00 4.00 (confidence rate) |
????TT?????????? ----TT---------- --:-- / 4
|
?T?F??T?TFT????T -T-T--T-TTT----T --:-- / 12
|
?T??T?T?T?T????T -T--T-T-T-T----T --:-- / 12
|
CC 0 |
CC 0 |
???F???????????T ---T-----------T --:-- / 4
|
FTFFTTTTTFTFFFTT TTTTTTTTTTTTTTTT --:PM / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 05b TTF? ? T? ? ? TT? ? ? T? (expected value) 3.00 3.00 1.00 0 0 3.00 0 0 0 3.00 2.00 0 0 0 1.00 0 (confidence rate) |
T????T???T?????? T--??T???T-???-? --:-- / 4
|
TTF??T???TT????? TTT??T???TT???-? --:-- / 12
|
T????T???TT???T? T--??T???TT???T? --:-- / 8
|
CC 0 |
CC 0 |
?T?????????????? -T-??-???--???-? --:-- / 0
|
?T?????????????? -T-??-???--???-? --:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
| 06a TFFFTTTTFTFFFFFF (expected value) 1.00 3.00 1.00 1.00 3.00 3.00 1.00 1.00 1.00 3.00 3.00 1.00 2.00 2.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?F??TT???TF??F?? -T--TT---TT--T-- --:-- / 12
|
?F???T???TF?F??? -T---T---TT-T--- --:-- / 8
|
CC 0 |
CC 0 |
????T??????????? ----T----------- --:-- / 0
|
TFFFTTTTFTFFFFFF TTTTTTTTTTTTTTTT --:PM / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 06b ? TFTF? ? ? FTT? ? ? TT (expected value) 0 2.00 2.00 2.00 1.00 0 0 0 2.00 2.00 1.00 0 0 0 1.00 1.00 (confidence rate) |
???????????????? ?----???---???-- --:-- / 0
|
?TFT????FTT???TT ?TTT-???TTT???TT --:-- / 16
|
?TFTF???FT?????? ?TTTT???TT-???-- --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 07a ? TT? ? ? TFTTT? TF? ? (expected value) 0 2.00 2.00 0 0 0 1.00 1.00 2.00 2.00 1.00 0 1.00 1.00 0 0 (confidence rate) |
???????????????? ?--???-----?--?? --:-- / 0
|
?TT????FTTT??F?? ?TT???-TTTT?-T?? --:-- / 12
|
?TT???T?TT??T??? ?TT???T-TT-?T-?? --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 07b ? TT? ? ? TF? F? ? TTF? (expected value) 0 1.00 2.00 0 0 0 1.00 3.00 0 3.00 0 0 2.00 2.00 1.00 0 (confidence rate) |
??T????F?F?????? ?-T???-T?T??---? --:-- / 4
|
?TT????F?F??TTF? ?TT???-T?T??TTT? --:-- / 12
|
??????TF?F??TT?? ?--???TT?T??TT-? --:-- / 8
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 08a ? ? FF? TF? ? ? T? ? ? ? ? (expected value) 0 0 1.00 2.00 0 1.00 1.00 0 0 0 2.00 0 0 0 0 0 (confidence rate) |
???????????????? ??--?--???-????? --:-- / 0
|
??FF??????T????? ??TT?--???T????? --:-- / 4
|
?????TF???T????? ??--?TT???T????? --:-- / 4
|
CC 0 |
CC 0 |
???F???????????? ??-T?--???-????? --:-- / 0
|
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 08b ? T? ? TTT? ? ? T? F? ? F (expected value) 0 1.00 0 0 2.00 1.00 3.00 0 0 0 1.00 0 2.00 0 0 2.00 (confidence rate) |
??????T????????? ?-??--T???-?-??- --:-- / 0
|
????T?T???T?F??F ?-??T-T???T?T??T --:-- / 8
|
?T??TTT?????F??F ?T??TTT???-?T??T --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 09a TF? ? ? ? ? ? ? F? T? T? ? (expected value) 2.00 3.00 0 0 0 0 0 0 0 2.00 0 1.00 0 3.00 0 0 (confidence rate) |
?F???????????T?? -T???????-?-?T?? --:-- / 4
|
TF???????F???T?? TT???????T?-?T?? --:-- / 8
|
TF???????F?T?T?? TT???????T?T?T?? --:-- / 8
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 09b FT? ? T? ? ? TFFT? ? T? (expected value) 2.00 1.00 0 0 2.00 0 0 0 2.00 1.00 2.00 2.00 0 0 2.00 0 (confidence rate) |
???????????????? --??-???----??-? --:-- / 0
|
FT??T???TFFT??T? TT??T???TTTT??T? --:-- / 16
|
F???T???T?FT??T? T-??T???T-TT??T? --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 10a ? ? ? F? ? FT? ? T? F? ? T (expected value) 0 0 0 1.00 0 0 1.00 2.00 0 0 1.00 0 1.00 0 0 3.00 (confidence rate) |
???????????????T ???-??--??-?-??T --:-- / 0
|
???????T????F??T ???-??-T??-?T??T --:-- / 4
|
???F??FT??T????T ???T??TT??T?-??T --:-- / 8
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 10b TT? TTTT? ? ? TTTT? T (expected value) 2.00 2.00 0 3.00 2.00 1.00 3.00 0 0 0 2.00 2.00 2.00 1.00 0 2.00 (confidence rate) |
???T??T????????? --?T--T???----?- --:-- / 4
|
TT?TT?T???TTT??T TT?TT-T???TTT-?T --:-- / 16
|
TT?TTTT???TTTT?T TT?TTTT???TTTT?T --:-- / 20
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| BusinessProcesses — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 272 | 640 | 616 | 0 | 0 | 568 | 416 | 64 | 0 | 0 |
| Road Runner | 0 | 14 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 15 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 01 TFFFTTTTFFTFFTTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFFFTTTTFFTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFTTTTFFTFFTTT TTTTTTTTTTTTTTTT --:PM / 32
|
TFFFTTTTFFTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFFFTTTTFFTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFTTTTFFTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFTTTTFFTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 02 FTFFTFTFTTTFTFFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTFFTFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFTFTFTTTFTFFT TTTTTTTTTTTTTTTT --:PM / 32
|
FTFFTFT?TTTFTFFT TTTTTTT-TTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
FTFFTFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFTFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFTFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 03 TFFFFFFTFTTTTFTF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TFFFFFFTFTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFFTFTTTTFTF TTTTTTTTTTTTTTTT --:PM / 32
|
TFFFFFFTFTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFFFFFFTFTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFFTFTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 04 TTTTTTTFFFTTTFTT (expected value) 5.00 5.00 5.00 5.00 4.00 4.00 4.00 5.00 4.00 5.00 5.00 5.00 5.00 4.00 4.00 5.00 (confidence rate) |
TTTT???F?FTTT??T TTTT---T-TTTT--T --:-- / 20
|
TTTTTTTFFFTTTFTT TTTTTTTTTTTTTTTT --:PM / 32
|
TTTTTTTFFFTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TTTTTTTFFFTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTTTTFFFTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 05 TFFFTFFTTFTFTTFT (expected value) 5.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TFFFTFFTTFTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFTFFTTFTFTTFT TTTTTTTTTTTTTTTT --:PM / 32
|
TF?FTFFTTFTFTTFT TT-TTTTTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
TFFFTFFTTFTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFTFFTTFTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 06 FFFTFFTFFFTTFTTF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 4.00 5.00 4.00 4.00 (confidence rate) |
FFFTFFTFFFTTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
FFFTFFTFFFTTFTTF TTTTTTTTTTTTTTTT --:PM / 32
|
FFFTFFTFFFTTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
FFFTFFTFFFTTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
FFFTFFTFFFT??T?? TTTTTTTTTTT--T-- --:-- / 24
|
DNF 0 |
CC 0 |
CC 0 |
| 07 TTTFFTTTFTTTFFFF (expected value) 4.00 5.00 5.00 5.00 2.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 1.00 4.00 (confidence rate) |
?TTF?TTTFT?T?F?? -TTT-TTTTT-T-T-- --:-- / 20
|
TTTFFTTTFTTTFFFF TTTTTTTTTTTTTTTT --:PM / 32
|
TTTFFTTTFTTTFF?F TTTTTTTTTTTTTT-T --:-- / 28
|
CC 0 |
CC 0 |
TTTF?TTTFTTTFF?F TTTT-TTTTTTTTT-T --:-- / 28
|
TTTF????????F??F TTTT--------T--T --:-- / 12
|
DNF 0 |
CC 0 |
CC 0 |
| 08 TFTFTTTTFTTTTFTT (expected value) 4.00 4.00 4.00 4.00 4.00 5.00 5.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 (confidence rate) |
?????TTT???????T -----TTT-------T --:-- / 8
|
TFTFTTTTFTTTTFTT TTTTTTTTTTTTTTTT --:PM / 32
|
TFTFTTTTFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFTFTTTTFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTTFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 09 FTTTTTTTTTTTTTFF (expected value) 5.00 5.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 3.00 4.00 (confidence rate) |
FTTTTTTTTTTTT??? TTTTTTTTTTTTT--- --:-- / 24
|
FTTTTTTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTTTTTTTTTTFF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
FTTTTTTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTT????????????F TTT------------T --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 10 FFTTTTFTFFTFTTTT (expected value) 4.00 4.00 4.00 4.00 3.00 3.00 3.00 3.00 2.00 3.00 3.00 4.00 3.00 3.00 3.00 3.00 (confidence rate) |
??T?TTFT?FT?TTTT --T-TTTT-TT-TTTT --:-- / 20
|
FFTTTTFTFFTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
FFTTTTFTFFTFTTTT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
FFTT???????F???? TTTT-------T---- --:-- / 8
|
FF?T???????F???? TT-T-------T---- --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 11 TTTFTFTFFTTTTTFF (expected value) 4.00 4.00 4.00 4.00 3.00 4.00 3.00 4.00 4.00 3.00 3.00 4.00 3.00 3.00 4.00 3.00 (confidence rate) |
?????F?F???????? -----T-T-------- --:-- / 4
|
TTTFTFTFFTTTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTFTFFTTTTTFF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TTTFTFTFFTTTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTF????F??T??F? TTTT----T--T--T- --:-- / 12
|
DNF 0 |
CC 0 |
CC 0 |
| 12 TFTFFFTTFTFFFTTF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 5.00 5.00 4.00 4.00 3.00 (confidence rate) |
???????????FF??? -----------TT--- --:-- / 4
|
TFTFFFTTFTFFFTTF TTTTTTTTTTTTTTTT --:PM / 32
|
TFTFFFTTFTFFFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFTFFFTTFTFFFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFFFTTFT?FFTT? TTTTTTTTTT-TTTT- --:-- / 28
|
DNF 0 |
CC 0 |
CC 0 |
| 13 FTTFFFFTTTFFFTTF (expected value) 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 3.00 3.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTFFFFTTTFFFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
FTTFFFFTTTFFFTTF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
FTTFFFFTTTFFFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
?TTFFFFT?T??FTTF -TTTTTTT-T--TTTT --:-- / 24
|
DNF 0 |
CC 0 |
CC 0 |
| 14 FTTTFTFFFTTFTTTT (expected value) 4.00 4.00 4.00 5.00 4.00 4.00 4.00 2.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???T???????????T ---T-----------T --:-- / 4
|
FTTTFTFFFTTFTTTT TTTTTTTTTTTTTTTT --:PM / 32
|
FTTTFTFFFTTFTTT? TTTTTTTTTTTTTTT- --:-- / 28
|
CC 0 |
CC 0 |
FTTTFTF?FTTFTTTT TTTTTTT-TTTTTTTT --:-- / 28
|
FTTTFTF?FTTFTTTT TTTTTTT-TTTTTTTT --:-- / 28
|
DNF 0 |
CC 0 |
CC 0 |
| 15 TTFFFTFTFTTTFTTT (expected value) 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TTFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 16 TFTTTTFFFFTFFFFF (expected value) 4.00 3.00 4.00 3.00 3.00 4.00 3.00 3.00 3.00 3.00 3.00 3.00 2.00 4.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTTTTFFFFTFFFFF TTTTTTTTTTTTTTTT --:PM / 32
|
TFTTTTFFFFTFFFFF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFTTTTFFFFTF?F?? TTTTTTTTTTTT-T-- --:-- / 24
|
T?T??T???????F?? T-T--T-------T-- --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 17 TFFFTTFTFFTFTFTT (expected value) 4.00 4.00 3.00 4.00 4.00 4.00 4.00 3.00 4.00 3.00 4.00 4.00 4.00 3.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFFFTTFTFFTFTFTT TTTTTTTTTTTTTTTT --:-M / 32
|
TFFFTTFTFFTFTFTT TTTTTTTTTTTTTTTT --:P- / 32
|
CC 0 |
CC 0 |
TFFFTTFTFFTFTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TF?FTTF?F?TFT?TT TT-TTTT-T-TTT-TT --:-- / 24
|
DNF 0 |
CC 0 |
CC 0 |
| 18 TTTTTTFFFTFFTTFF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 3.00 2.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTTTTFFFTFFTTFF TTTTTTTTTTTTTTTT --:PM / 32
|
TTTTTTFFFTFFTT?F TTTTTTTTTTTTTT-T --:-- / 28
|
CC 0 |
CC 0 |
TTTTTTFFFTFFTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTTTFFFTFF???F TTTTTTTTTTTT---T --:-- / 24
|
DNF 0 |
CC 0 |
CC 0 |
| 19 TTTTTTFTTFTFTTTT (expected value) 4.00 4.00 4.00 4.00 3.00 4.00 3.00 4.00 3.00 4.00 4.00 4.00 3.00 4.00 5.00 4.00 (confidence rate) |
??????????????T? --------------T- --:-- / 0
|
TTTTTTFTTFTFTTTT TTTTTTTTTTTTTTTT --:PM / 32
|
TTTT?TFTTFTFTTTT TTTT-TTTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
TTTTTTFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTTT?T?FTF?TTT TTTTTT-T-TTT-TTT --:-- / 24
|
DNF 0 |
CC 0 |
CC 0 |
| 20 FTFTFTFFFTTFTFFF (expected value) 2.00 2.00 2.00 2.00 2.00 3.00 2.00 2.00 3.00 3.00 2.00 3.00 2.00 2.00 2.00 2.00 (confidence rate) |
?????T??FT?F???? -----T--TT-T---- --:-- / 8
|
FTFTFTFFFTTFTFFF TTTTTTTTTTTTTTTT --:PM / 32
|
FTFTFTFFFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| DLCflexbar — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 268 | 492 | 536 | 0 | 0 | 280 | 280 | 0 | 0 | 0 |
| Road Runner | 0 | 2 | 10 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 6 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2a TFFFFTFFTTTTTFTT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TFFFFTFFTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 40
|
TFFFFTFFTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 40
|
TFFFFTFFTTTTTFTT TTTTTTTTTTTTTTTT --:PM / 40
|
CC 0 |
CC 0 |
TFFFFTFFTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 40
|
TFFFFTFFTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 2b TTFFFTTTTTFTTFFT (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFFFTTTTTFTTFFT TTTTTTTTTTTTTTTT --:-- / 40
|
TTFFFTTTTTFTTFFT TTTTTTTTTTTTTTTT --:PM / 40
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 3a TFFTTTFTFTTTTTTF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TFFTTTFTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 40
|
TFFTTTFTFTTTTTTF TTTTTTTTTTTTTTTT --:PM / 40
|
TFFTTTFTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
TFFTTTFTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 40
|
TFFTTTFTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 3b TTFFTFTTFTTTFFTT (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFFTFTTFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 40
|
TTFFTFTTFTTTFFTT TTTTTTTTTTTTTTTT --:PM / 40
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 4a FTTFFTTTTTTTTTFT (expected value) 5.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FTTFFTTTTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 40
|
FTTFFTTTTTTTTTFT TTTTTTTTTTTTTTTT --:PM / 40
|
FTTF?TTTTTTTTTFT TTTT-TTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
FTTFFTTTTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 40
|
FTTFFTTTTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 4b FTTTTFTTFTFFTTTT (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTTTFTTFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 40
|
FTTTTFTTFTFFTTTT TTTTTTTTTTTTTTTT --:PM / 40
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 5a TTTFFFFTFFTTFTFT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TTTFFFFTFFTTFTFT TTTTTTTTTTTTTTTT --:-- / 40
|
TTTFFFFTFFTTFTFT TTTTTTTTTTTTTTTT --:-M / 40
|
TTTFFFFTFFTTFTFT TTTTTTTTTTTTTTTT --:P- / 40
|
CC 0 |
CC 0 |
TTTFFFFTFFTTFTFT TTTTTTTTTTTTTTTT --:-- / 40
|
TTTFFFFTFFTTFTFT TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 5b TTTTTTTFTTFTTFFT (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTTTTTFTTFTT?FT TTTTTTTTTTTTT-TT --:-- / 36
|
TTTTTTTFTTFT?FFT TTTTTTTTTTTT-TTT --:-- / 36
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 6a TFTTTTTTFFTTTTTF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TFTTTTTTFFTTTTTF TTTTTTTTTTTTTTTT --:-- / 40
|
TFTTTTTTFFTTTTTF TTTTTTTTTTTTTTTT --:-M / 40
|
TFTTTTTTFFTTTTTF TTTTTTTTTTTTTTTT --:P- / 40
|
CC 0 |
CC 0 |
TFTTTTTTFFTTTTTF TTTTTTTTTTTTTTTT --:-- / 40
|
TFTTTTTTFFTTTTTF TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 6b TTTTTTFFFFTFFTFF (expected value) 2.00 1.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
T?TTTTF?FFTFF?FF T-TTTTT-TTTTT-TT --:-- / 32
|
TTTTTTFFFFTFFTFF TTTTTTTTTTTTTTTT --:PM / 40
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 7a FTFFTTTFTTTFFFTF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FTFFTTTFTTTFFFTF TTTTTTTTTTTTTTTT --:-- / 40
|
FTFFTTTFTTTFFFTF TTTTTTTTTTTTTTTT --:-M / 40
|
FTFFTTTFTTTFFFTF TTTTTTTTTTTTTTTT --:P- / 40
|
CC 0 |
CC 0 |
FTFFTTTFTTTFFFTF TTTTTTTTTTTTTTTT --:-- / 40
|
FTFFTTTFTTTFFFTF TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 7b TFTTTTTTTTTTFTTT (expected value) 2.00 1.00 1.00 1.00 1.00 1.00 2.00 1.00 1.00 1.00 1.00 1.00 2.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
T?????T?????F??? T-----T-----T--- --:-- / 8
|
TFTTTTTTTTTTFTTT TTTTTTTTTTTTTTTT --:PM / 40
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 8a FTTTTFFFFTFTTTFT (expected value) 5.00 5.00 5.00 5.00 5.00 4.00 5.00 5.00 4.00 5.00 4.00 5.00 5.00 4.00 4.00 5.00 (confidence rate) |
FTTTT?FF?T?TT??T TTTTT-TT-T-TT--T --:-- / 28
|
FTTTTFFFFTFTTTFT TTTTTTTTTTTTTTTT --:-M / 40
|
FTTTTFFFFTFTTTFT TTTTTTTTTTTTTTTT --:P- / 40
|
CC 0 |
CC 0 |
FTTTTFFFFTFTTTFT TTTTTTTTTTTTTTTT --:-- / 40
|
FTTTTFFFFTFTTTFT TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 8b T? FFFFFT? FTFT? ? F (expected value) 2.00 0 1.00 1.00 1.00 1.00 1.00 2.00 0 2.00 2.00 1.00 1.00 0 0 1.00 (confidence rate) |
???????????????? -?------?----??- --:-- / 0
|
T?????FT?FTF???? T?----TT?TTT-??- --:-- / 16
|
T?FFFF?T?FT?T??F T?TTTT-T?TT-T??T --:-- / 24
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| DiscoveryGPU — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 608 | 640 | 632 | 0 | 0 | 640 | 640 | 608 | 0 | 0 |
| Road Runner | 0 | 6 | 10 | 0 | 0 | 2 | 2 | 0 | 0 | 0 |
| Camel | 0 | 9 | 11 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 06a TFFTFTFTTTFTTFTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFFTFTFTTTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFTFTFTTTFTTFTT TTTTTTTTTTTTTTTT --:-M / 32
|
TFFTFTFTTTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFFTFTFTTTFTTFTT TTTTTTTTTTTTTTTT --:P- / 32
|
TFFTFTFTTTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFTFTFTTTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 06b FTTTTFTTTTTFTTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTTTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:PM / 32
|
FTTTTFTTTT?FTTFT TTTTTTTTTT-TTTTT --:-- / 28
|
CC 0 |
CC 0 |
FTTTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 07a FTTTTFFFTTTTFTFT (expected value) 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTTTTFFFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTFFFTTTTFTFT TTTTTTTTTTTTTTTT --:PM / 32
|
?TTTTFFFTTTTFTFT -TTTTTTTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
FTTTTFFFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTFFFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTFFFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 07b TTTTFFFFTFTFFFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTTFFFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTFFFFTFTFFFTF TTTTTTTTTTTTTTTT --:PM / 32
|
TTTTFFFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TTTTFFFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTFFFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTFFFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 08a TFTTFTFTTTFTTTFF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFTTFTFTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTFTFTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTFTFTTTFTTTFF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TFTTFTFTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTFTFTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTFTFTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 08b TTFFFTFTTTFTFTTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFFFTFTTTFTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFTFTTTFTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFTFTTTFTFTTF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TTFFFTFTTTFTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFTFTTTFTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFTFTTTFTFTTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 09a TFFFFFTTTTTTTFTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFFFFFTTTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFTTTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFTTTTTTTFTT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TFFFFFTTTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFTTTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFTTTTTTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 09b TFTTTTTFTTTTFTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFTTTTTFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTTTFTTTTFTFT TTTTTTTTTTTTTTTT --:PM / 32
|
TFTTTTTFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFTTTTTFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTTTFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTTTFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 10a TTTFTTFTTTFTFTFF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTFTTFTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTFTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTFTTTFTFTFF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TTTFTTFTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTFTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTFTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 10b FTFTTTTTTTFTTFFF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTFTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
FTFTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 11a TFTFTTTFFFFFTFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFTFTTTFFFFFTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTFFFFFTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTFFFFFTFTF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TFTFTTTFFFFFTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTFFFFFTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTFFFFFTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 11b TTTFFTFFTFFTFTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTFFTFFTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFFTFFTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFFTFFTFFTFTFT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
TTTFFTFFTFFTFTFT TTTTTTTTTTTTTTTT --:P- / 32
|
TTTFFTFFTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFFTFFTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 12a TTFFTTTTFFFTTFFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFFTTTTFFFTTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFTTTTFFFTTFFT TTTTTTTTTTTTTTTT --:-M / 32
|
TTFFTTTTFFFTTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TTFFTTTTFFFTTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFTTTTFFFTTFFT TTTTTTTTTTTTTTTT --:P- / 32
|
TTFFTTTTFFFTTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 12b FTTTTTTFFTTFTTTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 5.00 (confidence rate) |
FTTTTTTFFTTFTT?? TTTTTTTTTTTTTT-- --:-- / 28
|
FTTTTTTFFTTFTTTT TTTTTTTTTTTTTTTT --:PM / 32
|
FTTTTTTFFTTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
FTTTTTTFFTTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTTTFFTTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTTTFFTTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 13a TTFFFFTFTTTTTTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFFFFTFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFFTFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFFTFTTTTTTFT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TTFFFFTFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFFTFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFFFFTFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 13b TFFFFFTFTTTFTFFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 (confidence rate) |
TFFFFF?FTTTFT?FT TTTTTT-TTTTTT-TT --:-- / 28
|
TFFFFFTFTTTFTFFT TTTTTTTTTTTTTTTT --:PM / 32
|
TFFFFFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFFFFFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFFFFTFTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 14a TFTFTTTFTTFFFTFT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TFTFTTTFTTFFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTFTTFFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTFTTFFFTFT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TFTFTTTFTTFFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFTTTFTTFFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 14b TTTFTTTFFTFTTFTT (expected value) 6.00 5.00 6.00 5.00 6.00 5.00 6.00 6.00 6.00 5.00 6.00 5.00 5.00 6.00 5.00 6.00 (confidence rate) |
T?T?T?TFF?F??F?T T-T-T-TTT-T--T-T --:-- / 16
|
TTTFTTTFFTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTTFFTFTTFTT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TTTFTTTFFTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTTFFTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTTFFTFTTFTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 15a TTFTFFFTTTTTTFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFTFFFTTTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTFTFFFTTTTTTFTF TTTTTTTTTTTTTTTT --:-M / 32
|
TTFTFFFTTTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TTFTFFFTTTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTFTFFFTTTTTTFTF TTTTTTTTTTTTTTTT --:P- / 32
|
TTFTFFFTTTTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 15b TTTTFTTFTTTFFTTT (expected value) 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 5.00 6.00 (confidence rate) |
?TTTFTTFT?TFFT?T -TTTTTTTT-TTTT-T --:-- / 24
|
TTTTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
TTTTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| DoubleExponent — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 168 | 388 | 364 | 0 | 0 | 256 | 260 | 120 | 0 | 0 |
| Road Runner | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| Camel | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 001 TTTTFFFFTFTTTFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTTFFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
TTTTFFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-M / 60
|
TTTTFFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
TTTTFFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
TTTTFFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
TTTTFFFFTFTTTFTF TTTTTTTTTTTTTTTT --:P- / 60
|
CC 0 |
CC 0 |
| 002 FFFTFFFFTFFTTFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FFFTFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:-M / 60
|
FFFTFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:P- / 60
|
CC 0 |
CC 0 |
FFFTFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
| 003 FFTFFFTFFTFFFTTF (expected value) 4.00 4.00 4.00 4.00 4.00 5.00 4.00 4.00 4.00 4.00 3.00 5.00 4.00 5.00 4.00 4.00 (confidence rate) |
?????F?????F?T?? -----T-----T-T-- --:-- / 12
|
FFTFFFTFFTFFFTTF TTTTTTTTTTTTTTTT --:PM / 60
|
FFTFFFTFFT?FFTTF TTTTTTTTTT-TTTTT --:-- / 56
|
CC 0 |
CC 0 |
FFTFFFTFFTFFFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
FFTFFFTFFTFFFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
DNF 0 |
CC 0 |
CC 0 |
| 004 TTTFFTTTFTFTT? TF (expected value) 4.00 5.00 5.00 4.00 2.00 4.00 5.00 5.00 4.00 5.00 5.00 4.00 4.00 0 4.00 4.00 (confidence rate) |
?TT???TT?TF????? -TT---TT-TT--?-- --:-- / 24
|
TTTFFTTTFTFTT?TF TTTTTTTTTTTTT?TT --:-- / 56
|
TTTFFTTTFTFTT?TF TTTTTTTTTTTTT?TT --:-- / 56
|
CC 0 |
CC 0 |
TTTF?TTTFTFTT?TF TTTT-TTTTTTTT?TT --:-- / 52
|
TTTF?TTTFTFTT?TF TTTT-TTTTTTTT?TT --:-- / 52
|
DNF 0 |
CC 0 |
CC 0 |
| 010 F? F? FFT? ? FF? ? ? T? (expected value) 3.00 0 5.00 0 3.00 3.00 3.00 0 0 1.00 3.00 0 0 0 3.00 0 (confidence rate) |
??F????????????? -?T?---??--???-? --:-- / 4
|
F?F?FFT???F???T? T?T?TTT??-T???T? --:-- / 28
|
F?F?FFT??FF???T? T?T?TTT??TT???T? --:-- / 32
|
CC 0 |
CC 0 |
??F????????????? -?T?---??--???-? --:-- / 4
|
F?F?FFT???F???T? T?T?TTT??-T???T? --:-- / 28
|
DNF 0 |
CC 0 |
CC 0 |
| 020 ? FT? ? ? ? FFT? FT? ? ? (expected value) 0 4.00 3.00 0 0 0 0 3.00 3.00 3.00 0 3.00 2.00 0 0 0 (confidence rate) |
?F?????F???????? ?T-????T--?--??? --:-- / 8
|
?FT????FFT?FT??? ?TT????TTT?TT??? --:-- / 28
|
?FT????FFT?FT??? ?TT????TTT?TT??? --:-- / 28
|
CC 0 |
CC 0 |
?FT?????FT?F???? ?TT????-TT?T-??? --:-- / 20
|
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 100 T? F? FF? FFTFFTFFT (expected value) 2.00 0 2.00 0 2.00 2.00 0 2.00 2.00 2.00 1.00 1.00 2.00 1.00 2.00 2.00 (confidence rate) |
???????????????? -?-?--?--------- --:-- / 0
|
T?F?FF?FFTFFTFFT T?T?TT?TTTTTTTTT --:-- / 48
|
T?F?FF?FFT??T?FT T?T?TT?TTT--T-TT --:-- / 40
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 200 TFTT? FFTFFF? FTF? (expected value) 2.00 2.00 1.00 2.00 0 2.00 2.00 2.00 1.00 1.00 1.00 0 2.00 1.00 2.00 0 (confidence rate) |
???????????????? ----?------?---? --:-- / 0
|
TFTT?FFTFFF?FTF? TTTT?TTTTTT?TTT? --:-- / 48
|
TF?T?FFT????F?F? TT-T?TTT---?T-T? --:-- / 32
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| EGFr — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 432 | 432 | 400 | 0 | 0 | 432 | 432 | 432 | 0 | 0 |
| Road Runner | 0 | 2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 02010 FTTFFFFTFFFFFFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:PM / 144
|
CC 0 |
CC 0 |
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 144
|
CC 0 |
CC 0 |
| 10420 FFFTFFFFFFFTTFTF (expected value) 5.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FFFTFFFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 144
|
FFFTFFFFFFFTTFTF TTTTTTTTTTTTTTTT --:PM / 144
|
?FFTFF?FFFFTTFTF -TTTTT-TTTTTTTTT --:-- / 128
|
CC 0 |
CC 0 |
FFFTFFFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 144
|
FFFTFFFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 144
|
FFFTFFFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 144
|
CC 0 |
CC 0 |
| 10421 TFTTTFFFFTTFTFFF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFTTTFFFFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 144
|
TFTTTFFFFTTFTFFF TTTTTTTTTTTTTTTT --:PM / 144
|
TFTTTF?F?TTFTFFF TTTTTT-T-TTTTTTT --:-- / 128
|
CC 0 |
CC 0 |
TFTTTFFFFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 144
|
TFTTTFFFFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 144
|
TFTTTFFFFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 144
|
CC 0 |
CC 0 |
| HospitalTriage — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 408 | 408 | 408 | 0 | 0 | 128 | 408 | 0 | 0 | 0 |
| Road Runner | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| none FFFTFTFTTTTFFTFF (expected value) 4.00 4.00 4.00 5.00 4.00 5.00 4.00 4.00 5.00 4.00 5.00 4.00 4.00 4.00 4.00 5.00 (confidence rate) |
FFFTFTFTTTTFFTFF TTTTTTTTTTTTTTTT --:-- / 408
|
FFFTFTFTTTTFFTFF TTTTTTTTTTTTTTTT --:PM / 408
|
FFFTFTFTTTTFFTFF TTTTTTTTTTTTTTTT --:-- / 408
|
CC 0 |
CC 0 |
???T?T??T?T????F ---T-T--T-T----T --:-- / 128
|
FFFTFTFTTTTFFTFF TTTTTTTTTTTTTTTT --:-- / 408
|
DNF 0 |
CC 0 |
CC 0 |
| MAPKbis — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 424 | 424 | 384 | 0 | 0 | 424 | 424 | 424 | 0 | 0 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| Camel | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 5310 TFTTTTFFTTTTFTFT (expected value) 6.00 6.00 6.00 5.00 6.00 6.00 5.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFTTTTFFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 212
|
TFTTTTFFTTTTFTFT TTTTTTTTTTTTTTTT --:-M / 212
|
TFT?TT?FTT?TFTFT TTT-TT-TTT-TTTTT --:-- / 172
|
CC 0 |
CC 0 |
TFTTTTFFTTTTFTFT TTTTTTTTTTTTTTTT --:P- / 212
|
TFTTTTFFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 212
|
TFTTTTFFTTTTFTFT TTTTTTTTTTTTTTTT --:-- / 212
|
CC 0 |
CC 0 |
| 5320 FFTTFFTFFFFFFFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FFTTFFTFFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 212
|
FFTTFFTFFFFFFFTF TTTTTTTTTTTTTTTT --:-M / 212
|
FFTTFFTFFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 212
|
CC 0 |
CC 0 |
FFTTFFTFFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 212
|
FFTTFFTFFFFFFFTF TTTTTTTTTTTTTTTT --:P- / 212
|
FFTTFFTFFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 212
|
CC 0 |
CC 0 |
| NQueens — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 476 | 480 | 472 | 0 | 0 | 452 | 420 | 180 | 0 | 0 |
| Road Runner | 0 | 4 | 3 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| Camel | 0 | 5 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 05 TTTFFFTTFTFTFFTT (expected value) 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTFFFTTFTFTFFTT TTTTTTTTTTTTTTTT --:-- / 60
|
TTTFFFTTFTFTFFTT TTTTTTTTTTTTTTTT --:-M / 60
|
TTTFF?TTFTFTFFTT TTTTT-TTTTTTTTTT --:-- / 56
|
CC 0 |
CC 0 |
TTTFFFTTFTFTFFTT TTTTTTTTTTTTTTTT --:-- / 60
|
TTTFFFTTFTFTFFTT TTTTTTTTTTTTTTTT --:-- / 60
|
TTTFFFTTFTFTFFTT TTTTTTTTTTTTTTTT --:P- / 60
|
CC 0 |
CC 0 |
| 08 TTFTFTFFTTTFFTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFTFTFFTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 60
|
TTFTFTFFTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 60
|
TTFTFTFFTTTFFTFT TTTTTTTTTTTTTTTT --:PM / 60
|
CC 0 |
CC 0 |
TTFTFTFFTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 60
|
TTFTFTFFTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 60
|
TTFTFTFFTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
| 10 FFFTFFTFTFTFTFFF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FFFTFFTFTFTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFFTFTFTFTFFF TTTTTTTTTTTTTTTT --:PM / 60
|
FFFTFFTF?FTFTFFF TTTTTTTT-TTTTTTT --:-- / 56
|
CC 0 |
CC 0 |
FFFTFFTFTFTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFFTFTFTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFFTFTFTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
| 12 FFFFTFFFFTTTFTTT (expected value) 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
?FFFTFFFFTTTFTTT -TTTTTTTTTTTTTTT --:-- / 56
|
FFFFTFFFFTTTFTTT TTTTTTTTTTTTTTTT --:PM / 60
|
FFFFTFFFFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
FFFFTFFFFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 60
|
FFFFTFFFFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 60
|
DNF 0 |
CC 0 |
CC 0 |
| 15 TFFTFFFFTFFTFTTF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TFFTFFFFTFFTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
TFFTFFFFTFFTFTTF TTTTTTTTTTTTTTTT --:PM / 60
|
TFFTFFFFTFFTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
TFFTFFFFTFFTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
TFFTFFFFTFFTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
DNF 0 |
CC 0 |
CC 0 |
| 20 FFFFTTTTTTTTFTTF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FFFFTTTTTTTTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFFTTTTTTTTFTTF TTTTTTTTTTTTTTTT --:PM / 60
|
FFFFTTTTTTTTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
FFFFTTTTTTTTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFFTTTTTTTTFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
DNF 0 |
CC 0 |
CC 0 |
| 25 FTFTFFFTTFFFFTTF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 4.00 5.00 4.00 5.00 4.00 (confidence rate) |
FTFTFFFTTFFFFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
FTFTFFFTTFFFFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
FTFTFFFTTFFFFTTF TTTTTTTTTTTTTTTT --:PM / 60
|
CC 0 |
CC 0 |
FTFTFFFTTFFFFTTF TTTTTTTTTTTTTTTT --:-- / 60
|
??????????F?F?T? ----------T-T-T- --:-- / 12
|
DNF 0 |
CC 0 |
CC 0 |
| 30 FTFFTFTFFTTFTTTF (expected value) 5.00 5.00 4.00 4.00 4.00 3.00 4.00 4.00 3.00 3.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FTFFTFTFFTTFTTTF TTTTTTTTTTTTTTTT --:-- / 60
|
FTFFTFTFFTTFTTTF TTTTTTTTTTTTTTTT --:-- / 60
|
FTFFTFTFFTTFTTTF TTTTTTTTTTTTTTTT --:PM / 60
|
CC 0 |
CC 0 |
FT????????TFTTTF TT--------TTTTTT --:-- / 32
|
FTFFT?TF??TFTTTF TTTTT-TT--TTTTTT --:-- / 48
|
DNF 0 |
CC 0 |
CC 0 |
| RERS17pb113 — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 440 | 140 | 0 | 0 | 24 | 16 | 0 | 0 | 0 |
| Road Runner | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 TFTFT? TFTTTFFFTF (expected value) 1.00 2.00 2.00 1.00 1.00 0 2.00 1.00 2.00 2.00 2.00 1.00 1.00 1.00 2.00 1.00 (confidence rate) |
???????????????? -----?---------- --:-- / 0
|
TFTFT?TFTTTFFFTF TTTTT?TTTTTTTTTT --:-- / 52
|
?FT???T?TTT???T? -TT--?T-TTT---T- --:-- / 24
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 2 TTTF? FFF? T? TTT? F (expected value) 2.00 1.00 1.00 1.00 0 1.00 2.00 2.00 0 2.00 0 2.00 2.00 1.00 0 1.00 (confidence rate) |
???????????????? ----?---?-?---?- --:-- / 0
|
TTTF??FF?T?TTT?F TTTT?-TT?T?TTT?T --:-- / 36
|
T????FF??T?TT??? T---?TT-?T?TT-?- --:-- / 20
|
CC 0 |
CC 0 |
???????F???????? ----?--T?-?---?- --:-- / 4
|
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 3 FTFTFTF? F? TTFTTT (expected value) 3.00 2.00 2.00 2.00 1.00 1.00 1.00 0 2.00 0 1.00 1.00 1.00 2.00 1.00 2.00 (confidence rate) |
???????????????? -------?-?------ --:-- / 0
|
FTFTFTF?F?TTFTTT TTTTTTT?T?TTTTTT --:-- / 48
|
?TFT?????????T?T -TTT---?-?---T-T --:-- / 16
|
CC 0 |
CC 0 |
F???????F??????? T------?T?------ --:-- / 8
|
F??????????????? T------?-?------ --:-- / 4
|
DNF 0 |
CC 0 |
CC 0 |
| 4 TFTF? F? TFFFTFTTT (expected value) 1.00 1.00 1.00 1.00 0 1.00 0 2.00 1.00 2.00 1.00 2.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ----?-?--------- --:-- / 0
|
TFTF?F?TFFFTFTTT TTTT?T?TTTTTTTTT --:-- / 48
|
???????T?F?T???? ----?-?T-T-T---- --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 5 TTFTTFTTFFTFFTFT (expected value) 1.00 1.00 1.00 2.00 2.00 1.00 1.00 1.00 1.00 2.00 2.00 2.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFTTFTTFFTFFTFT TTTTTTTTTTTTTTTT --:PM / 56
|
???TT????FTF???? ---TT----TTT---- --:-- / 16
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 6 TT? FT? TTT? FFTTFT (expected value) 3.00 2.00 0 1.00 2.00 0 1.00 1.00 2.00 0 1.00 1.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? --?--?---?------ --:-- / 0
|
TT?FT?TTT?FFTTFT TT?TT?TTT?TTTTTT --:-- / 44
|
?T??????T??????? -T?--?--T?------ --:-- / 8
|
CC 0 |
CC 0 |
T??????????????? T-?--?---?------ --:-- / 4
|
T???T??????????? T-?-T?---?------ --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 7 FFFFTTTFFTFFFFFT (expected value) 1.00 2.00 1.00 1.00 1.00 2.00 2.00 1.00 1.00 2.00 1.00 1.00 1.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFFFTTTFFTFFFFFT TTTTTTTTTTTTTTTT --:PM / 56
|
?????TT??T????FT -----TT--T----TT --:-- / 16
|
CC 0 |
CC 0 |
?F?????????????? -T-------------- --:-- / 4
|
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 8 TTTTFTFFTF? FTTFT (expected value) 1.00 1.00 1.00 1.00 1.00 2.00 1.00 2.00 1.00 2.00 0 1.00 2.00 1.00 2.00 1.00 (confidence rate) |
???????????????? ----------?----- --:-- / 0
|
TTTTFTFFTF?FTTFT TTTTTTTTTT?TTTTT --:-- / 52
|
?????T?F?F??T?F? -----T-T-T?-T-T- --:-- / 16
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 9 TT? TFFTT? TTFTFTF (expected value) 2.00 3.00 0 1.00 1.00 1.00 2.00 1.00 0 1.00 1.00 1.00 1.00 1.00 2.00 1.00 (confidence rate) |
???????????????? --?-----?------- --:-- / 0
|
TT?TFFTT?TTFTFTF TT?TTTTT?TTTTTTT --:-- / 48
|
T?????T???????T? T-?---T-?-----T- --:-- / 12
|
CC 0 |
CC 0 |
?T?????????????? -T?-----?------- --:-- / 4
|
?T?????????????? -T?-----?------- --:-- / 4
|
DNF 0 |
CC 0 |
CC 0 |
| RERS17pb114 — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 48 | 32 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
???????????????? ???????????????? --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 2 ? ? ? ? ? ? F? ? ? ? ? ? F? T (expected value) 0 0 0 0 0 0 1.00 0 0 0 0 0 0 1.00 0 1.00 (confidence rate) |
???????????????? ??????-??????-?- --:-- / 0
|
?????????????F?T ??????-??????T?T --:-- / 8
|
??????F????????? ??????T??????-?- --:-- / 4
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 3 ? ? ? ? T? ? ? ? ? T? T? ? ? (expected value) 0 0 0 0 2.00 0 0 0 0 0 1.00 0 1.00 0 0 0 (confidence rate) |
???????????????? ????-?????-?-??? --:-- / 0
|
????T???????T??? ????T?????-?T??? --:-- / 8
|
????T?????T????? ????T?????T?-??? --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 4 ? ? T? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 1.00 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
???????????????? ??-????????????? --:-- / 0
|
CC 0 |
??T????????????? ??T????????????? --:-- / 4
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 5 ? ? ? ? ? ? F? ? ? T? ? ? ? T (expected value) 0 0 0 0 0 0 1.00 0 0 0 1.00 0 0 0 0 1.00 (confidence rate) |
???????????????? ??????-???-????- --:-- / 0
|
??????F???T????? ??????T???T????- --:-- / 8
|
???????????????T ??????-???-????T --:-- / 4
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 6 T? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 1.00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
???????????????? -??????????????? --:-- / 0
|
CC 0 |
T??????????????? T??????????????? --:-- / 4
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 7 ? F? ? ? ? T? ? FF? ? ? F? (expected value) 0 1.00 0 0 0 0 1.00 0 0 1.00 1.00 0 0 0 1.00 0 (confidence rate) |
???????????????? ?-????-??--???-? --:-- / 0
|
?F????T??FF????? ?T????T??TT???-? --:-- / 12
|
??????????????F? ?-????-??--???T? --:-- / 4
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 8 ? ? T? ? ? T? ? F? ? T? ? ? (expected value) 0 0 1.00 0 0 0 2.00 0 0 1.00 0 0 1.00 0 0 0 (confidence rate) |
???????????????? ??-???-??-??-??? --:-- / 0
|
??T???T??F??T??? ??T???T??T??T??? --:-- / 12
|
??????T????????? ??-???T??-??-??? --:-- / 4
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 9 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (confidence rate) |
???????????????? ???????????????? --:-- / 0
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| RERS17pb115 — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 60 | 60 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 ? ? ? ? ? ? ? ? ? ? ? TF? ? ? (expected value) 0 0 0 0 0 0 0 0 0 0 0 1.00 1.00 0 0 0 (confidence rate) |
???????????????? ???????????--??? --:-- / 0
|
CC 0 |
???????????TF??? ???????????TT??? --:-- / 8
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 2 F? ? ? ? FT? FT? ? ? ? ? T (expected value) 2.00 0 0 0 0 1.00 2.00 0 1.00 1.00 0 0 0 0 0 1.00 (confidence rate) |
???????????????? -????--?--?????- --:-- / 0
|
F?????T?FT?????? T????-T?TT?????- --:-- / 12
|
F????FT????????T T????TT?--?????T --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 3 ? ? ? ? ? ? ? ? F? ? ? ? T? ? (expected value) 0 0 0 0 0 0 0 0 1.00 0 0 0 0 1.00 0 0 (confidence rate) |
???????????????? ????????-????-?? --:-- / 0
|
????????F??????? ????????T????-?? --:-- / 4
|
?????????????T?? ????????-????T?? --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 4 ? ? ? ? ? T? ? TTF? ? ? T? (expected value) 0 0 0 0 0 1.00 0 0 2.00 1.00 1.00 0 0 0 1.00 0 (confidence rate) |
???????????????? ?????-??---???-? --:-- / 0
|
????????T?F???T? ?????-??T-T???T? --:-- / 12
|
?????T??TT?????? ?????T??TT-???-? --:-- / 12
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 5 F? ? ? ? ? ? ? ? ? ? F? ? ? ? (expected value) 1.00 0 0 0 0 0 0 0 0 0 0 1.00 0 0 0 0 (confidence rate) |
???????????????? -??????????-???? --:-- / 0
|
F??????????F???? T??????????T???? --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 6 ? ? F? ? ? ? ? ? F? ? T? ? ? (expected value) 0 0 1.00 0 0 0 0 0 0 2.00 0 0 2.00 0 0 0 (confidence rate) |
???????????????? ??-??????-??-??? --:-- / 0
|
?????????F??T??? ??-??????T??T??? --:-- / 8
|
??F??????F??T??? ??T??????T??T??? --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 7 ? ? ? F? ? ? ? F? ? ? ? ? ? ? (expected value) 0 0 0 1.00 0 0 0 0 1.00 0 0 0 0 0 0 0 (confidence rate) |
???????????????? ???-????-??????? --:-- / 0
|
???F???????????? ???T????-??????? --:-- / 4
|
????????F??????? ???-????T??????? --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 8 ? TF? ? ? ? F? ? ? ? ? ? ? ? (expected value) 0 1.00 1.00 0 0 0 0 1.00 0 0 0 0 0 0 0 0 (confidence rate) |
???????????????? ?--????-???????? --:-- / 0
|
???????F???????? ?--????T???????? --:-- / 4
|
?TF????????????? ?TT????-???????? --:-- / 8
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 9 ? T? ? ? ? ? ? ? ? ? ? ? ? F? (expected value) 0 1.00 0 0 0 0 0 0 0 0 0 0 0 0 1.00 0 (confidence rate) |
???????????????? ?-????????????-? --:-- / 0
|
?T????????????F? ?T????????????T? --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| RefineWMG — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 36 | 576 | 564 | 0 | 0 | 436 | 404 | 0 | 0 | 0 |
| Road Runner | 0 | 6 | 8 | 0 | 0 | 2 | 0 | 0 | 0 | 0 |
| Camel | 0 | 8 | 8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 002002 TTTTTFTTTFFTTFTF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTTTFTTTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 36
|
TTTTTFTTTFFTTFTF TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
TTTTTFTTTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 36
|
TTTTTFTTTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 002003 FTTTFTTFTTFFFTFF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTTFTTFTTFFFTFF TTTTTTTTTTTTTTTT --:-M / 36
|
FTTTFTTFTTFFFTFF TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
FTTTFTTFTTFFFTFF TTTTTTTTTTTTTTTT --:P- / 36
|
FTTTFTTFTTFFFTFF TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 005005 TFTTFTTFFTFFFFTT (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTTFTTFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 36
|
TFTTFTTFFTFFFFTT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
TFTTFTTFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 36
|
TFTTFTTFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 005006 TFFTTTFFTFFFTTTT (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFFTTTFFTFFFTTTT TTTTTTTTTTTTTTTT --:-- / 36
|
TFFTTTFFTFFFTTTT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
TFFTTTFFTFFFTTTT TTTTTTTTTTTTTTTT --:-- / 36
|
TFFTTTFFTFFFTTTT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 007007 TFFTFFTFFTTFTFTT (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFFTFFTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 36
|
TFFTFFTFFTTFTFTT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
TFFTFFTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 36
|
TFFTFFTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 007008 FFTFTFTFTTTFFFFF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTFTFTFTTTFFFFF TTTTTTTTTTTTTTTT --:-M / 36
|
FFTFTFTFTTTFF?FF TTTTTTTTTTTTT-TT --:-- / 32
|
CC 0 |
CC 0 |
FFTFTFTFTTTFFFFF TTTTTTTTTTTTTTTT --:P- / 36
|
FFTFTFTFTTTFFFFF TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 010010 FTTFTFFTTFFFTTTF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 2.00 4.00 2.00 2.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTFTFFTTFFFTTTF TTTTTTTTTTTTTTTT --:PM / 36
|
FTTFTFFTTFFFTTTF TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
FTTFTFF?T??FTTTF TTTTTTT-T--TTTTT --:-- / 28
|
FTTFTFF?T??FTTTF TTTTTTT-T--TTTTT --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
| 010011 FTFFFTTTTTTTTFFT (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFFFTTTTTTTTFFT TTTTTTTTTTTTTTTT --:-- / 36
|
FTFFFTTTTTTTTFFT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
FTFFFTTTTTTTTFFT TTTTTTTTTTTTTTTT --:-- / 36
|
FTFFFTTTTTTTTFFT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 015015 TTFTTTTFTFFTTTFF (expected value) 4.00 4.00 3.00 4.00 4.00 4.00 2.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFTTTTFTFFTTTFF TTTTTTTTTTTTTTTT --:PM / 36
|
TT?TTTTFTFFTTTFF TT-TTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TTFTTT?FTFFTTTFF TTTTTT-TTTTTTTTT --:-- / 32
|
TTFTTT?FTFFTTTFF TTTTTT-TTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
CC 0 |
| 015016 FTTFTFTFTTTTFTFT (expected value) 4.00 4.00 2.00 3.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 2.00 3.00 3.00 2.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTFTFTFTTTTFTFT TTTTTTTTTTTTTTTT --:PM / 36
|
FTT?TFTFTTTTFTFT TTT-TTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
FT?FTFTFTTT?FT?T TT-TTTTTTTT-TT-T --:-- / 28
|
FT?FTFT?TTT????T TT-TTTT-TTT----T --:-- / 24
|
CC 0 |
CC 0 |
CC 0 |
| 025025 TFTTTTTFFFFFTTTF (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 4.00 2.00 4.00 2.00 2.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTTTTTFFFFFTTTF TTTTTTTTTTTTTTTT --:PM / 36
|
TFTTTTTFFFFFTTTF TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
??????????F?T??? ----------T-T--- --:-- / 4
|
??????????F?T??F ----------T-T--T --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 025026 FTFFTFFTTTTFTTFF (expected value) 4.00 2.00 4.00 4.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFFTFFTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 36
|
FTFFTFFTTTTFTTFF TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
F?FF???????F???? T-TT-------T---- --:-- / 8
|
F?FF???????F???? T-TT-------T---- --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 050050 FFFTFTTTTFTTFFTT (expected value) 2.00 2.00 2.00 2.00 4.00 2.00 4.00 2.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFFTFTTTTFTTFFTT TTTTTTTTTTTTTTTT --:-- / 36
|
FFFTFTTTTFTTFFTT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
????F?T???T????? ----T-T---T----- --:-- / 8
|
????F?T???T????? ----T-T---T----- --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 050051 FTFFTFFFTTTTFFTT (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 4.00 2.00 4.00 2.00 2.00 2.00 3.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFFTFFFTTTTFFTT TTTTTTTTTTTTTTTT --:PM / 36
|
FTFFTFFFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
????????T?T????? --------T-T----- --:-- / 4
|
????????T?T???T? --------T-T---T- --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 100100 FFTFTTTTTTTFTFTT (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTFTTTTTTTFTFTT TTTTTTTTTTTTTTTT --:-- / 36
|
FFTFTTTTTTTFTFTT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
FFTFTTTTTTTFTFTT TTTTTTTTTTTTTTTT --:-- / 36
|
FFTFTTTTTTTFTFTT TTTTTTTTTTTTTTTT --:-- / 36
|
DNF 0 |
CC 0 |
CC 0 |
| 100101 TTTFTTTFTFTTTTTT (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
TTTFTTTFTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 36
|
TTTFTTTFTFTTTTTT TTTTTTTTTTTTTTTT --:PM / 36
|
TTTFTTTFTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
TTTFTTTFTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 36
|
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
All «Known» models |
||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Total Points | 5341 | 9184 | 8586 | 5396 | 5331 | 7068 | 7001 | 4124 | 5793 | 5750 |
| Road Runner | 16 | 204 | 224 | 6 | 3 | 83 | 62 | 52 | 4 | 5 |
| Camel | 11 | 347 | 227 | 4 | 10 | 9 | 10 | 23 | 10 | 8 |
| ARMCacheCoherence — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 102 | 102 | 57 | 0 | 0 | 102 | 102 | 102 | 102 | 102 |
| Road Runner | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| none FFTFFTFFTFTTFFFT (expected value) 7.00 8.00 8.00 7.00 8.00 8.00 7.00 8.00 8.00 8.00 8.00 8.00 7.00 7.00 7.00 7.00 (confidence rate) |
FFTFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 102
|
FFTFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:PM / 102
|
?FT?FT?FTFTT???? -TT-TT-TTTTT---- --:-- / 57
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FFTFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 102
|
FFTFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 102
|
FFTFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 102
|
FFTFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 102
|
FFTFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 102
|
| AirplaneLD — Colored | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 68 | 65 | 35 | 40 | 66 | 68 | 8 | 46 | 35 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 3 | 4 | 1 | 0 | 0 |
| Camel | 0 | 4 | 1 | 0 | 2 | 0 | 0 | 0 | 1 | 0 |
| 0010 FTTFFTTTTFTFFFTF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
DNC |
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-M / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:P- / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 0020 FTTTTTFTFFFTFFTF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
DNC |
FTTTTTFTFFFTFFTF TTTTTTTTTTTTTTTT --:-M / 8
|
FTTTTTFT?FFTFFTF TTTTTTTT-TTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FTTTTTFTFFFTFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTTFTFFFTFFTF TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0050 TTTTFFFTFTTTTTTT (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
DNC |
TTTTFFFTFTTTTTTT TTTTTTTTTTTTTTTT --:-M / 8
|
TTTTFFFTFTTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
TTTTFFFTFTTTTTTT TTTTTTTTTTTTTTTT --:P- / 8
|
TTTTFFFTFTTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0100 FTTTTFFFTFTFTTTF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
DNC |
FTTTTFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-M / 8
|
FTTTTFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FTTTTFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFFFTFTFTTTF TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0200 FFTTFFFTFFTTTFFF (expected value) 7.00 7.00 7.00 7.00 7.00 6.00 7.00 7.00 6.00 7.00 5.00 7.00 7.00 7.00 7.00 7.00 (confidence rate) |
DNC |
FFTTFFFTFFTTTFFF TTTTTTTTTTTTTTTT --:-M / 8
|
FFTTFFFTFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTF?FT?F?TTFFF TTTTT-TT-T-TTTTT --:-- / 7
|
FFTTFFFTFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTFFFTFFTTTFFF TTTTTTTTTTTTTTTT --:P- / 8
|
FFTTFFFTFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
FFTTFFFTFF?TTFFF TTTTTTTTTT-TTTTT --:-- / 8
|
CC 0 |
| 0500 FTFFFFTTTFFTTTTT (expected value) 7.00 8.00 8.00 5.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
DNC |
FTF?FFTTTFFTTTTT TTT-TTTTTTTTTTTT --:-- / 8
|
?TF?FFTTTFFTTTTT -TT-TTTTTTTTTTTT --:-- / 7
|
FTF?FFTTTFFTTTTT TTT-TTTTTTTTTTTT --:-- / 8
|
FTFFFFTTTFFTTTTT TTTTTTTTTTTTTTTT --:-M / 8
|
FTFFFFTTTFFTTTTT TTTTTTTTTTTTTTTT --:P- / 8
|
FTFFFFTTTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
DNF 0 |
FTFFFFTTTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFFTTTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 1000 TFTFFTFFTTTFFFTF (expected value) 8.00 7.00 7.00 8.00 8.00 8.00 8.00 5.00 8.00 8.00 8.00 8.00 7.00 6.00 5.00 8.00 (confidence rate) |
DNC |
T?TFFTF?TTTFFF?F T-TTTTT-TTTTTT-T --:-- / 7
|
TF?FFTF?TTTFF??F TT-TTTT-TTTTT--T --:-- / 6
|
TFTFFTF?TTTF???F TTTTTTT-TTTT---T --:-- / 6
|
TFTFFTFFTTTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTFFTTTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTFFTTTFFFTF TTTTTTTTTTTTTTTT --:P- / 8
|
DNF 0 |
TFTFFTFFTTTFFFTF TTTTTTTTTTTTTTTT --:-M / 8
|
TFTFFTFFTTTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 2000 TFFFTFTTTTFFTTTF (expected value) 7.00 7.00 7.00 3.00 7.00 3.00 7.00 5.00 7.00 7.00 4.00 6.00 7.00 6.00 7.00 7.00 (confidence rate) |
DNC |
TFF?T?TTTTF?T?TF TTT-T-TTTTT-T-TT --:-- / 6
|
TFF?T?T?TT?FTTTF TTT-T-T-TT-TTTTT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
TFFFTFTTTTFFTTTF TTTTTTTTTTTTTTTT --:-M / 8
|
TFFFTFTTTTFFTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTTTFFTTTF TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
TFF?T?TTTT?FTTTF TTT-T-TTTT-TTTTT --:-- / 7
|
TFF?T?T?TT?FTTTF TTT-T-T-TT-TTTTT --:-- / 6
|
| 4000 TTTFTFTTFTFFFTTT (expected value) 7.00 5.00 3.00 7.00 6.00 5.00 6.00 6.00 1 1.00 5.00 5.00 1.00 5.00 5.00 5.00 (confidence rate) |
DNC |
T?TFTFTT?TFFFTTT T-TTTTTT-TTTTTTT --:-- / 7
|
TT?FTFTT??FF?TTT TT-TTTTT--TT-TTT --:-- / 6
|
TT?FTFTT??FF?TTT TT-TTTTT--TT-TTT --:-- / 6
|
DNF 0 |
TTTF???????????? TTTT------------ --:-- / 2
|
TTTFTFTT???????? TTTTTTTT-------- --:-- / 4
|
CC 0 |
TT?FTFTTF?FF?TTT TT-TTTTTT-TT-TTT --:-- / 7
|
T??FT?TT??FF?TTT T--TT-TT--TT-TTT --:-- / 5
|
| AirplaneLD — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 38 | 72 | 66 | 28 | 40 | 64 | 66 | 24 | 40 | 40 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 3 | 4 | 2 | 0 | 0 |
| Camel | 0 | 6 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
| 0010 FTTFFTTTTFFFFTFT (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-M / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:P- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| 0020 FTTTTTFTTFFFTTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTTTTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-M / 8
|
FTTTTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FTTTTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
CC 0 |
| 0050 TTTTFFFTTFTTFFFF (expected value) 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTTFFFTTFTTFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTFTTFFFF TTTTTTTTTTTTTTTT --:-M / 8
|
TTTTF?FTTFTTFFFF TTTTT-TTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
TTTTFFFTTFTTFFFF TTTTTTTTTTTTTTTT --:P- / 8
|
TTTTFFFTTFTTFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTFTTFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
| 0100 FTTTTFFFFTFTFTTT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FTTTTFFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFFFFTFTFTTT TTTTTTTTTTTTTTTT --:-M / 8
|
FTTTTFFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FTTTTFFFFTFTFTTT TTTTTTTTTTTTTTTT --:P- / 8
|
FTTTTFFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0200 FFTTFFFTTTTFFTTF (expected value) 7.00 8.00 7.00 8.00 8.00 5.00 7.00 7.00 8.00 7.00 7.00 7.00 8.00 8.00 8.00 8.00 (confidence rate) |
?FTT?????????TTF -TTT---------TTT --:-- / 3
|
FFTTFFFTTTTFFTTF TTTTTTTTTTTTTTTT --:-M / 8
|
FFTTF?FTTTTFFTTF TTTTT-TTTTTTTTTT --:-- / 8
|
FF?TF?FTTTTFFTTF TT-TT-TTTTTTTTTT --:-- / 7
|
FFTTFFFTTTTFFTTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTFFFTTTTFFTTF TTTTTTTTTTTTTTTT --:P- / 8
|
????F???T???F??? ----T---T---T--- --:-- / 2
|
CC 0 |
FFTTFFFTTTTFFTTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTFFFTTTTFFTTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 0500 FTFFFFTTTFFFFFTF (expected value) 6.00 7.00 7.00 5.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTF?FFTTTFFFFFTF TTT-TTTTTTTTTTTT --:-- / 8
|
?TF?FFTTTFFFFFTF -TT-TTTTTTTTTTTT --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
FTFFFFTTTFFFFFTF TTTTTTTTTTTTTTTT --:-M / 8
|
FTFFFFTTTFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFFTTTFFFFFTF TTTTTTTTTTTTTTTT --:P- / 8
|
DNF 0 |
FTFFFFTTTFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFFTTTFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 1000 TFTFFTFFFTFFTTTF (expected value) 9.00 6.00 8.00 9.00 9.00 9.00 9.00 6.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
T??FFTF????????? T--TTTT--------- --:-- / 3
|
TFTFFTFFFTFFTTTF TTTTTTTTTTTTTTTT --:-M / 8
|
T?TFFTF?FTFFTTTF T-TTTTT-TTTTTTTT --:-- / 7
|
T?TFFTF?FTFFTTTF T-TTTTT-TTTTTTTT --:-- / 7
|
TFTFFTFFFTFFTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTFFFTFFTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTFFFTFFTTTF TTTTTTTTTTTTTTTT --:P- / 8
|
DNF 0 |
TFTFFTFFFTFFTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTFFFTFFTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 2000 TFFFTFTTFFTTTTFT (expected value) 8.00 8.00 8.00 6.00 8.00 6.00 8.00 6.00 8.00 6.00 8.00 8.00 7.00 8.00 8.00 6.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFFFTFTTFFTTTTFT TTTTTTTTTTTTTTTT --:-M / 8
|
TFF?T?T?F?TT?TF? TTT-T-T-T-TT-TT- --:-- / 5
|
TFF?T?T?F?TTTTF? TTT-T-T-T-TTTTT- --:-- / 6
|
TFFFTFTTFFTTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTFFTTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTFFTTTTFT TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
TFFFTFTTFFTTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTFFTTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| 4000 TTTFTFTTFTFFFTTF (expected value) 3.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 3.00 1.00 3.00 3.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTFTFTTFTF?FTTF TTTTTTTTTTT-TTTT --:-- / 8
|
TT?FTFTT?TF?FTTF TT-TTTTT-TT-TTTT --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
DNF 0 |
DNF 0 |
TTTFTFTTFTFFFTTF TTTTTTTTTTTTTTTT --:PM / 8
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| Angiogenesis — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 98 | 119 | 119 | 85 | 85 | 116 | 115 | 51 | 85 | 68 |
| Road Runner | 0 | 5 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
| Camel | 0 | 3 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 01 FFFTTFFTFFFTFFFF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-M / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:P- / 17
|
FFFTTFFTFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
CC 0 |
| 05 TTFTFTTTTTTTFTTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFTFTTTTTTTFTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTFTFTTTTTTTFTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTFTFTTTTTTTFTTT TTTTTTTTTTTTTTTT --:-M / 17
|
CC 0 |
CC 0 |
TTFTFTTTTTTTFTTT TTTTTTTTTTTTTTTT --:P- / 17
|
TTFTFTTTTTTTFTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTFTFTTTTTTTFTTT TTTTTTTTTTTTTTTT --:-- / 17
|
CC 0 |
CC 0 |
| 10 TTTTTTTTTTTTTTTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:PM / 17
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
CC 0 |
CC 0 |
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
CC 0 |
CC 0 |
| 15 TFFTTFTTTTTTTTTF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:P- / 17
|
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-M / 17
|
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
DNF 0 |
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TFFTTFTTTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
| 20 TFTFTTTTTTTFTTFF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 8.00 (confidence rate) |
TFTFTTTTTTT?TTF? TTTTTTTTTTT-TTT- --:-- / 15
|
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:PM / 17
|
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
DNF 0 |
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFTTTTTTTFTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
| 25 FTTTTFTTFFFTTTTF (expected value) 9.00 7.00 8.00 9.00 9.00 8.00 9.00 9.00 8.00 9.00 9.00 8.00 9.00 9.00 9.00 6.00 (confidence rate) |
FT?TT?TTFFF?TTT? TT-TT-TTTTT-TTT- --:-- / 13
|
FTTTTFTTFFFTTTTF TTTTTTTTTTTTTTTT --:PM / 17
|
FTTTTFTTFFFTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFTTFFFTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFTTFFFTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
F?TTTFTTFFFTTTT? T-TTTTTTTTTTTTT- --:-- / 15
|
F?TTTFTT?FFTTTT? T-TTTTTT-TTTTTT- --:-- / 14
|
DNF 0 |
FTTTTFTTFFFTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFTTFFFTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
| 50 TFTFFFTTTTFTFTFF (expected value) 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 9.00 7.00 8.00 8.00 (confidence rate) |
????????????FT?? ------------TT-- --:-- / 2
|
TFTFFFTTTTFTFTFF TTTTTTTTTTTTTTTT --:P- / 17
|
TFTFFFTTTTFTFTFF TTTTTTTTTTTTTTTT --:-M / 17
|
TFTFFFTTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFFFTTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFFFTTTTFTF?FF TTTTTTTTTTTTT-TT --:-- / 16
|
TFTFFFTTTTFTF?FF TTTTTTTTTTTTT-TT --:-- / 16
|
DNF 0 |
TFTFFFTTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTFFFTTTTFTFTFF TTTTTTTTTTTTTTTT --:-- / 17
|
| AutoFlight — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 124 | 160 | 148 | 76 | 84 | 125 | 104 | 64 | 78 | 77 |
| Road Runner | 0 | 18 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
| Camel | 0 | 17 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 01a FFFTTFFFFTFFTTFT (expected value) 10.00 9.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:PM / 8
|
F?FTTFFFFTFFTTFT T-TTTTTTTTTTTTTT --:-- / 7
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTTFFFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| 01b TTTTFFFTTTFFFFFF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:PM / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFFFTTTFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
| 02a FFTTTFTTFTFTFTTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FFTTTFTTFTFTFTTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTTFTTFTFTFTTF TTTTTTTTTTTTTTTT --:-M / 8
|
FFTTTFTTFTFTFTTF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FFTTTFTTFTFTFTTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTTFTTFTFTFTTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTTFTTFTFTFTTF TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
CC 0 |
| 02b FFTTTTFFTTFTTTTT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FFTTTTFFTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTTTFFTTFTTTTT TTTTTTTTTTTTTTTT --:PM / 8
|
FFTTTTFFTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FFTTTTFFTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTTTTFFTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 03a FTFTFTTTTTFTTTFF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTFTFTTTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTFTTTTTFTTTFF TTTTTTTTTTTTTTTT --:-M / 8
|
FTFTFTTTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FTFTFTTTTTFTTTFF TTTTTTTTTTTTTTTT --:P- / 8
|
FTFTFTTTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTFTTTTTFTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
| 03b TTTTFTTFTTTTFTTT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 5.00 5.00 (confidence rate) |
TTTTFTTFTTTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFTTFTTTTFTTT TTTTTTTTTTTTTTTT --:PM / 8
|
TTTTFTTFTTTTF?TT TTTTTTTTTTTTT-TT --:-- / 7
|
CC 0 |
CC 0 |
TTTTFTTFTTTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFTTFTTTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 04a TTFTFTTTFTTFTFTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT --:P- / 8
|
TTFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
TTFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTTTFTTFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
| 04b TTTTFTTFFTTFTTFT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 4.00 5.00 5.00 5.00 4.00 3.00 4.00 (confidence rate) |
TTTTFTTFFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFTTFFTTFTTFT TTTTTTTTTTTTTTTT --:PM / 8
|
TTTTFTTFFTTFTT?T TTTTTTTTTTTTTT-T --:-- / 7
|
CC 0 |
CC 0 |
TTTTFTTFFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTFTTF??TFT??? TTTTTTTT--TTT--- --:-- / 5
|
DNF 0 |
CC 0 |
CC 0 |
| 05a TTTTTFTTFFFFFFFF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:PM / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTTTFTTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
| 05b TFFFTFTTTFTTTTTT (expected value) 9.00 9.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 7.00 8.00 (confidence rate) |
TFFFTFT?TFTTTT?T TTTTTTT-TTTTTT-T --:-- / 7
|
TFFFTFTTTFTTTTTT TTTTTTTTTTTTTTTT --:PM / 8
|
TFFFTFTTTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TF?F???T???????? TT-T---T-------- --:-- / 2
|
DNF 0 |
TFFFTFTTTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFTFTTTFTTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 06a FTFTTTTFFTTFTFTT (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:PM / 8
|
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTTTFFTTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 06b TTFTFTTTFFTFTFTT (expected value) 2.00 4.00 3.00 4.00 4.00 4.00 3.00 4.00 3.00 4.00 3.00 3.00 4.00 4.00 3.00 2.00 (confidence rate) |
?T?TFT??????TF?? -T-TTT------TT-- --:-- / 3
|
TTFTFTTTFFTFTFTT TTTTTTTTTTTTTTTT --:PM / 8
|
?TFTFTTTFFTFTFT? -TTTTTTTTTTTTTT- --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
TTFTFTTTFFTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
???????T?F?????? -------T-T------ --:-- / 1
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 12a FTTFFTTFTFTTTTFF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 5.00 10.00 10.00 10.00 10.00 10.00 10.00 5.00 (confidence rate) |
FTTFFTTFTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTFTFTTTTFF TTTTTTTTTTTTTTTT --:PM / 8
|
FTTFFTTF?FTTTTF? TTTTTTTT-TTTTTT- --:-- / 7
|
FTTFFTTF?FTTTTF? TTTTTTTT-TTTTTT- --:-- / 7
|
FTTFFTTF?FTTTTF? TTTTTTTT-TTTTTT- --:-- / 7
|
FTTFFTTFTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTFTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTFTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTF?FTTTTF? TTTTTTTT-TTTTTT- --:-- / 7
|
FTTFFTTF?FTTTTF? TTTTTTTT-TTTTTT- --:-- / 7
|
| 12b TFTTTTFFTTTTTFFF (expected value) 5.00 6.00 6.00 5.00 4.00 5.00 6.00 4.00 6.00 4.00 6.00 5.00 4.00 6.00 4.00 1.00 (confidence rate) |
??????F?T?T??F?? ------T-T-T--T-- --:-- / 2
|
TFTTTTFFTTTTTFFF TTTTTTTTTTTTTTTT --:PM / 8
|
TFTTTTFFTTTTTFF? TTTTTTTTTTTTTTT- --:-- / 7
|
TFTTTTFFTTTTTFF? TTTTTTTTTTTTTTT- --:-- / 7
|
TFTTTTFFTTTTTFF? TTTTTTTTTTTTTTT- --:-- / 7
|
TFTT?TF?T?TT?F?? TTTT-TT-T-TT-T-- --:-- / 5
|
DNF 0 |
DNF 0 |
?FT????????????? -TT------------- --:-- / 1
|
DNF 0 |
| 24a FTTTFTFTTTFTTTTT (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:P- / 8
|
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-M / 8
|
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFTTTFTTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 24b FTTTFTFTTFFTTTTF (expected value) 3.00 3.00 3.00 2.00 2.00 2.00 1.00 1.00 3.00 3.00 3.00 2.00 2.00 3.00 3.00 2.00 (confidence rate) |
FTT?????TFF??TT? TTT-----TTT--TT- --:-- / 4
|
FTTTFTFTTFFTTTTF TTTTTTTTTTTTTTTT --:PM / 8
|
FTTTFT??TFFTTTTF TTTTTT--TTTTTTTT --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 48a FFFTFTTFTTFFFTTT (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:P- / 8
|
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-M / 8
|
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFTFTTFTTFFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 48b TTFTTTTTFTTTTTTF (expected value) 6.00 6.00 7.00 6.00 1.00 6.00 6.00 1.00 6.00 6.00 7.00 6.00 6.00 1.00 7.00 6.00 (confidence rate) |
??F???????T???T? --T-------T---T- --:-- / 1
|
TTFTTTTTFTTTTTTF TTTTTTTTTTTTTTTT --:PM / 8
|
TTFT?TT?FTTTT?TF TTTT-TT-TTTTT-TT --:-- / 6
|
TTFT?TT?FTTTT?TF TTTT-TT-TTTTT-TT --:-- / 6
|
TTFT?TT?FTTTT?TF TTTT-TT-TTTTT-TT --:-- / 6
|
DNF 0 |
DNF 0 |
DNF 0 |
TTFT?TT?FTTTT?TF TTTT-TT-TTTTT-TT --:-- / 6
|
TTFT?TT?FTTTT?TF TTTT-TT-TTTTT-TT --:-- / 6
|
| 96a TTTFTTTFTTFTFFTT (expected value) 6.00 7.00 7.00 6.00 7.00 6.00 6.00 6.00 6.00 7.00 6.00 6.00 6.00 6.00 7.00 7.00 (confidence rate) |
?TT?T????T????TT -TT-T----T----TT --:-- / 3
|
TTTFTTTFTTFTFFTT TTTTTTTTTTTTTTTT --:PM / 8
|
TTTFTTTFTTFTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFTTTFTTFTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFTTTFTTFTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
DNF 0 |
DNF 0 |
DNF 0 |
TTTFTTTFTTFTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFTTTFTTFTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 96b TTTTTTTTTTTFTFFT (expected value) 1.00 2.00 1.00 1.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 1.00 2.00 2.00 1.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTTTTTTTTTFTFFT TTTTTTTTTTTTTTTT --:PM / 8
|
?T??TTTTT?T?TF?T -T--TTTTT-T-TT-T --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| BART — Colored (first 8 formulas disabled + no check between colored and P/T) | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 002 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| 005 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| 010 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| 020 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| 030 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| 040 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| 050 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| 060 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? (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 |
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 0 |
CC 0 |
DNF 0 |
???????????????? ???????????????? --:-- / 0
|
???????????????? ???????????????? --:-- / 0
|
| BART — P/T (first 8 formulas disabled + no check between colored and P/T) | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 0 | 0 | 0 | 10 | 10 | 30 | 30 | 11 | 11 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 1 | 5 | 0 | 0 | 0 |
| Camel | 0 | 0 | 0 | 0 | 1 | 0 | 4 | 0 | 1 | 0 |
| 002 TTTFTFFTTTFTFFTF (expected value) 7.00 7.00 5.00 5.00 7.00 5.00 7.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TT??T?F?FFTF???? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
TTTFTFFTTTFTFFTF --------TTTTTTTT --:-- / 5
|
TTTFTFFTTTFTFFTF --------TTTTTTTT --:P- / 5
|
TTTFTFFTTTFTFFTF --------TTTTTTTT --:-- / 5
|
TT??T?F?TTFTFFTF --------TTTTTTTT --:-- / 5
|
TTTFTFFTTTFTFFTF --------TTTTTTTT --:-M / 5
|
TTTFTFFTTTFTFFTF --------TTTTTTTT --:-- / 5
|
| 005 FTTFTFTTFFTFFTFT (expected value) 7.00 7.00 5.00 6.00 5.00 5.00 7.00 5.00 7.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FT?T??T?FTFT???? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
FTTFTFTTFFTFFTFT --------TTTTTTTT --:-M / 5
|
FTTFTFTTFFTFFTFT --------TTTTTTTT --:-- / 5
|
FTTFTFTTFFTFFTFT --------TTTTTTTT --:P- / 5
|
FT?F??T?FFTFFTFT --------TTTTTTTT --:-- / 5
|
FTTFTFTTFFTFFTFT --------TTTTTTTT --:-- / 5
|
FTTFTFTTFFTFFTFT --------TTTTTTTT --:-- / 5
|
| 010 TTFFTFFFTTTTFTTF (expected value) 1.00 2.00 2.00 1.00 3.00 5.00 5.00 1.00 3.00 3.00 2.00 2.00 4.00 4.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?FT?T???TTF????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
?????FF????????? ---------------- --:-- / 0
|
?????FF????????? ---------------- --:-- / 0
|
TTFFTFFFTTTTFTTF --------TTTTTTTT --:PM / 5
|
?TF?T???TTTTFTTF --------TTTTTTTT --:-- / 5
|
?????FF?????FT?? ------------TT-- --:-- / 1
|
?????FF?????FT?? ------------TT-- --:-- / 1
|
| 020 TFFTFTTFTTFTTFTT (expected value) 1.00 3.00 4.00 2.00 2.00 2.00 3.00 2.00 2.00 3.00 2.00 2.00 3.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?FTFTF?TFTTFTT?? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
??F???T????????? ---------------- --:-- / 0
|
??F???T????????? ---------------- --:-- / 0
|
TFFTFTTFTTFTTFTT --------TTTTTTTT --:PM / 5
|
?FFTFT?FTTFTTFTT --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 030 FFTFTTTTTTTTTTFT (expected value) 3.00 1.00 3.00 3.00 2.00 3.00 3.00 2.00 1 2.00 1 1 1 1 1 1 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
????T??TFT?????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
FFTF?TT????????? ---------------- --:-- / 0
|
F?TF?TT????????? ---------------- --:-- / 0
|
F?TF?TT????????? ---------------- --:-- / 0
|
????T??TTTTTTTFT --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 040 TFTTTFFFFTTTFTTT (expected value) 3.00 3.00 3.00 1.00 1.00 1.00 3.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
???????TT??????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
TFT???F????????? ---------------- --:-- / 0
|
TFT???F????????? ---------------- --:-- / 0
|
TFTTTFFFFTTTFTTT --------TTTTTTTT --:PM / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 050 TTFFTFTFFTTFTFTF (expected value) 3.00 1.00 3.00 3.00 3.00 1 1 1 2.00 2.00 1 1 1 1 1 1 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?????TFTFTF????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
T?FFT??????????? ---------------- --:-- / 0
|
TTFFT??????????? ---------------- --:-- / 0
|
T?FFT??????????? ---------------- --:-- / 0
|
?????FTFFTTFTFTF --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 060 FFTFFFFFFTTFTFTT (expected value) 3.00 2.00 2.00 3.00 3.00 3.00 3.00 3.00 1.00 2.00 1.00 1.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?TF?????TT?????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
F??FFFFF???????? ---------------- --:-- / 0
|
F??FFFFF???????? ---------------- --:-- / 0
|
FFTFFFFFFTTFTFTT --------TTTTTTTT --:PM / 5
|
?FT????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| BridgeAndVehicles — Colored | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 91 | 72 | 44 | 43 | 65 | 65 | 25 | 24 | 20 |
| Road Runner | 0 | 0 | 1 | 0 | 0 | 5 | 2 | 0 | 0 | 0 |
| Camel | 0 | 7 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| V04P05N02 FFTTFTFFFFFTFFFF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
DNC |
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:PM / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
| V10P10N10 TFFFTTFTTFTFTFFT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
DNC |
TFFFTTFTTFTFTFFT TTTTTTTTTTTTTTTT --:-M / 5
|
TFFFTTF?TFTFTFFT TTTTTTT-TTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
TFFFTTFTTFTFTFFT TTTTTTTTTTTTTTTT --:P- / 5
|
TFFFTTFTTFTFTFFT TTTTTTTTTTTTTTTT --:-- / 5
|
TFFFTTFTTFTFTFFT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N10 FFTTFFFFFTTFFFFF (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
DNC |
FFTTFFFFFTTFFFFF TTTTTTTTTTTTTTTT --:-M / 5
|
FFTTFFFFFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
FFTTFFFFFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFFFFFTTFFFFF TTTTTTTTTTTTTTTT --:P- / 5
|
FFTTFFFFFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N20 TFTTTFFFFFTTFFFF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 3.00 4.00 4.00 4.00 (confidence rate) |
DNC |
TFTTTFFFFFTTFFFF TTTTTTTTTTTTTTTT --:-M / 5
|
TFTTTFFFFF?T?FFF TTTTTTTTTT-T-TTT --:-- / 5
|
CC 0 |
CC 0 |
TFTTTFFFFFTTFFFF TTTTTTTTTTTTTTTT --:P- / 5
|
TFTTTFFFFFTTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
DNF 0 |
CC 0 |
CC 0 |
| V20P10N50 FFFTTFFFFFFFTTFF (expected value) 4.00 4.00 4.00 4.00 5.00 4.00 4.00 5.00 5.00 5.00 5.00 4.00 5.00 4.00 4.00 5.00 (confidence rate) |
DNC |
FFFTTFFFFFFFTTFF TTTTTTTTTTTTTTTT --:-M / 5
|
????T??FFFF?T??F ----T--TTTT-T--T --:-- / 2
|
CC 0 |
CC 0 |
FFFTTFFFFFFFTTFF TTTTTTTTTTTTTTTT --:P- / 5
|
FFFTTFFFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
FFFTTFFFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P20N10 TTFTFFFFTFTFTTTF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
DNC |
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-M / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:P- / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFTFTFTTTF TTTTTTTTTTTTTTTT --:-- / 5
|
| V20P20N20 TFFTFFTFFFFFTTTT (expected value) 8.00 8.00 7.00 7.00 8.00 7.00 8.00 8.00 8.00 8.00 7.00 7.00 7.00 8.00 8.00 8.00 (confidence rate) |
DNC |
TFFTFFTFFFFFTTTT TTTTTTTTTTTTTTTT --:-M / 5
|
TF??F?TFFF???TTT TT--T-TTTT---TTT --:-- / 3
|
TFFTFFTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 5
|
TFFTFFTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 5
|
TFFTFFTFFFFFTTTT TTTTTTTTTTTTTTTT --:P- / 5
|
TFFTFFTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 5
|
DNF 0 |
TFFTFFTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 5
|
TFFTFFTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 5
|
| V20P20N50 FFTFFFFFFFFFTTFT (expected value) 8.00 7.00 8.00 7.00 7.00 7.00 7.00 8.00 7.00 7.00 7.00 7.00 8.00 7.00 7.00 7.00 (confidence rate) |
DNC |
FFTFFFFFFFFFTTFT TTTTTTTTTTTTTTTT --:-M / 5
|
F?T????F????T??? T-T----T----T--- --:-- / 1
|
FFTFFFFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
FFTFFFFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
FFTFFFFFFFFFTTFT TTTTTTTTTTTTTTTT --:P- / 5
|
FFTFFFFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
DNF 0 |
FFTFFFFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
FFTFFFFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
| V50P20N10 FFFTFT? FTFFFTTFF (expected value) 5.00 2.00 5.00 2.00 2.00 2.00 0 6.00 4.00 4.00 4.00 2.00 2.00 2.00 4.00 2.00 (confidence rate) |
DNC |
FFFTFT?F???FTT?F TTTTTT?T---TTT-T --:-- / 4
|
?F?TFT?F???FTT?F -T-TTT?T---TTT-T --:-- / 3
|
F?F????FTFF???F? T-T---?TTTT---T- --:-- / 2
|
F?F????FTFF???F? T-T---?TTTT---T- --:-- / 2
|
F?F????FTFF???F? T-T---?TTTT---T- --:-- / 2
|
F?F????FTFF???F? T-T---?TTTT---T- --:-- / 2
|
DNF 0 |
???????????????? ------?--------- --:-- / 0
|
???????????????? ------?--------- --:-- / 0
|
| V50P20N20 TFFFFFTFFFTTFFFF (expected value) 2.00 4.00 4.00 2.00 4.00 2.00 4.00 2.00 2.00 2.00 2.00 5.00 2.00 2.00 4.00 2.00 (confidence rate) |
DNC |
T??F?F?FFFTTFF?F T--T-T-TTTTTTT-T --:-- / 4
|
T??F?F?FFFT?FF?F T--T-T-TTTT-TT-T --:-- / 3
|
?FF?F?T????T??F? -TT-T-T----T--T- --:-- / 2
|
?FF?F?T????T??F? -TT-T-T----T--T- --:-- / 2
|
?FF?F?T????T??F? -TT-T-T----T--T- --:-- / 2
|
?FF?F?T????T??F? -TT-T-T----T--T- --:-- / 2
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V50P20N50 TTFTFTTT? FTTTFTF (expected value) 2.00 4.00 3.00 5.00 3.00 2.00 3.00 3.00 0 3.00 3.00 3.00 3.00 3.00 3.00 7.00 (confidence rate) |
DNC |
T?FTFTTT?FTTTFTF T-TTTTTT?TTTTTTT --:-- / 5
|
??F?F?TT?FTTTFTF --T-T-TT?TTTTTTT --:-- / 4
|
?T?T???????????F -T-T----?------T --:-- / 1
|
?T?T???????????F -T-T----?------T --:-- / 1
|
?T?T???????????F -T-T----?------T --:-- / 1
|
?T?T???????????F -T-T----?------T --:-- / 1
|
DNF 0 |
T?F?FTTT?FTTTFTF T-T-TTTT?TTTTTTT --:-- / 4
|
???????????????? --------?------- --:-- / 0
|
| V50P50N10 FTT? FFFTFTTFTTTF (expected value) 5.00 2.00 2.00 0 5.00 2.00 2.00 4.00 2.00 2.00 2.00 2.00 5.00 2.00 6.00 2.00 (confidence rate) |
DNC |
FTT?FFF?FTTFTTTF TTT?TTT-TTTTTTTT --:-- / 5
|
?TT??FF?FTTF?TTF -TT?-TT-TTTT-TTT --:-- / 4
|
F???F??T????T?T? T--?T--T----T-T- --:-- / 2
|
F???F??T????T?T? T--?T--T----T-T- --:-- / 2
|
F???F??T????T?T? T--?T--T----T-T- --:-- / 2
|
F???F??T????T?T? T--?T--T----T-T- --:-- / 2
|
DNF 0 |
???????????????? ---?------------ --:-- / 0
|
???????????????? ---?------------ --:-- / 0
|
| V50P50N20 TFTFFFFFTTTFFFFF (expected value) 3.00 3.00 3.00 5.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 5.00 5.00 2.00 2.00 2.00 (confidence rate) |
DNC |
???F?FFFTTTFFFFF ---T-TTTTTTTTTTT --:-- / 4
|
?????FFFTTT??FFF -----TTTTTT--TTT --:-- / 3
|
???F???????FF??? ---T-------TT--- --:-- / 1
|
TFTFF??????FF??? TTTTT------TT--- --:-- / 2
|
TFTFF??????FF??? TTTTT------TT--- --:-- / 2
|
TFTFF??????FF??? TTTTT------TT--- --:-- / 2
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V50P50N50 FFFFTTFTFFFTFTTF (expected value) 6.00 4.00 2.00 2.00 1.00 4.00 2.00 4.00 2.00 2.00 2.00 5.00 2.00 2.00 2.00 2.00 (confidence rate) |
DNC |
F?FFT?F?FFFTFTTF T-TTT-T-TTTTTTTT --:-- / 4
|
F?FF??F?FFF?FTTF T-TT--T-TTT-TTTT --:-- / 4
|
FF???T?T???T???? TT---T-T---T---- --:-- / 2
|
FF???T?T???T???? TT---T-T---T---- --:-- / 2
|
FF???T?T???T???? TT---T-T---T---- --:-- / 2
|
FF???T?T???T???? TT---T-T---T---- --:-- / 2
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V80P20N10 ? FFTTTTTFTFTTFTF (expected value) 0 6.00 4.00 2.00 2.00 5.00 4.00 2.00 5.00 5.00 2.00 2.00 2.00 2.00 5.00 4.00 (confidence rate) |
DNC |
?F?TTT?TFTFTTFT? ?T-TTT-TTTTTTTT- --:-- / 4
|
?F?TT??T??FTTF?? ?T-TT--T--TTTT-- --:-- / 3
|
?FF??TT?FT????TF ?TT--TT-TT----TT --:-- / 3
|
?FF??TT?FT????TF ?TT--TT-TT----TT --:-- / 3
|
?FF??TT?FT????TF ?TT--TT-TT----TT --:-- / 3
|
?FF??TT?FT????TF ?TT--TT-TT----TT --:-- / 3
|
DNF 0 |
???????????????? ?--------------- --:-- / 0
|
???????????????? ?--------------- --:-- / 0
|
| V80P20N20 FTFTFFTFFFFTFFFT (expected value) 2.00 5.00 2.00 2.00 2.00 2.00 5.00 2.00 2.00 4.00 2.00 5.00 2.00 4.00 2.00 5.00 (confidence rate) |
DNC |
FTFTFFTFF?FTF?FT TTTTTTTTT-TTT-TT --:-- / 5
|
F?FTFF?FF?F?F?F? T-TTTT-TT-T-T-T- --:-- / 3
|
?T????T??F?T?F?T -T----T--T-T-T-T --:-- / 2
|
?T????T??F?T?F?T -T----T--T-T-T-T --:-- / 2
|
?T????T??F?T?F?T -T----T--T-T-T-T --:-- / 2
|
?T????T??F?T?F?T -T----T--T-T-T-T --:-- / 2
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V80P20N50 FFTTTTT? TTFFFFFF (expected value) 2.00 4.00 4.00 2.00 2.00 2.00 2.00 0 4.00 2.00 4.00 4.00 4.00 5.00 4.00 2.00 (confidence rate) |
DNC |
F??TTTT??T???F?F T--TTTT?-T---T-T --:-- / 3
|
F??TTTT??T?????F T--TTTT?-T-----T --:-- / 2
|
?FT?????T?FFFFF? -TT----?T-TTTTT- --:-- / 3
|
?FT?????T?FFFFF? -TT----?T-TTTTT- --:-- / 3
|
?FT?????T?FFFFF? -TT----?T-TTTTT- --:-- / 3
|
?FT?????T?FFFFF? -TT----?T-TTTTT- --:-- / 3
|
DNF 0 |
???????????????? -------?-------- --:-- / 0
|
???????????????? -------?-------- --:-- / 0
|
| V80P50N10 FFTFFFTTFFTT? TFF (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 5.00 2.00 5.00 3.00 0 2.00 3.00 5.00 (confidence rate) |
DNC |
FFTFFFTTFFT??T?F TTTTTTTTTTT-?T-T --:-- / 4
|
FFTFFFTTFF???T?F TTTTTTTTTT--?T-T --:-- / 4
|
????????F?TT??FF --------T-TT?-TT --:-- / 2
|
??????????T????? ----------T-?--- --:-- / 0
|
????????F?TT??FF --------T-TT?-TT --:-- / 2
|
????????F?TT??FF --------T-TT?-TT --:-- / 2
|
DNF 0 |
???????????????? ------------?--- --:-- / 0
|
???????????????? ------------?--- --:-- / 0
|
| V80P50N20 FFFFFFFFTTTFFFFF (expected value) 6.00 2.00 2.00 2.00 2.00 6.00 2.00 4.00 2.00 2.00 2.00 4.00 6.00 2.00 2.00 2.00 (confidence rate) |
DNC |
FFFFFFF?TTT?FFFF TTTTTTT-TTT-TTTT --:-- / 5
|
FFFFFFF?TTT?FFFF TTTTTTT-TTT-TTTT --:-- / 5
|
F????F?F???FF??? T----T-T---TT--- --:-- / 2
|
F????F?F???FF??? T----T-T---TT--- --:-- / 2
|
F????F?F???FF??? T----T-T---TT--- --:-- / 2
|
F????F?F???FF??? T----T-T---TT--- --:-- / 2
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V80P50N50 TTFTFTTFFF? TFT? F (expected value) 5.00 2.00 2.00 5.00 4.00 6.00 2.00 4.00 5.00 2.00 0 2.00 4.00 2.00 0 2.00 (confidence rate) |
DNC |
TTFT?TT?FF?T?T?F TTTT-TT-TT?T-T?T --:-- / 4
|
?TF??TT??F?T?T?F -TT--TT--T?T-T?T --:-- / 3
|
T??TFT?FF???F??? T--TTT-TT-?-T-?- --:-- / 2
|
T??TFT?FF???F??? T--TTT-TT-?-T-?- --:-- / 2
|
T??TFT?FF???F??? T--TTT-TT-?-T-?- --:-- / 2
|
T??TFT?FF???F??? T--TTT-TT-?-T-?- --:-- / 2
|
DNF 0 |
???????????????? ----------?---?- --:-- / 0
|
???????????????? ----------?---?- --:-- / 0
|
| BridgeAndVehicles — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 52 | 91 | 64 | 32 | 34 | 50 | 58 | 30 | 18 | 18 |
| Road Runner | 0 | 2 | 1 | 0 | 0 | 0 | 4 | 1 | 0 | 0 |
| Camel | 0 | 7 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| V04P05N02 FFTTFTFFFFTFFFTF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:PM / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFTFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 5
|
| V10P10N10 TFFFTTFTFTTFTTFF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFFFTTFTFTTFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
TFFFTTFTFTTFTTFF TTTTTTTTTTTTTTTT --:-M / 5
|
TFFFTTFTFTTFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
TFFFTTFTFTTFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
TFFFTTFTFTTFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
TFFFTTFTFTTFTTFF TTTTTTTTTTTTTTTT --:P- / 5
|
CC 0 |
CC 0 |
| V20P10N10 FFTTFFFFFTTTFFTT (expected value) 6.00 6.00 5.00 5.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 (confidence rate) |
FF??FFF?FTTTF?TT TT--TTT-TTTTT-TT --:-- / 4
|
FFTTFFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-M / 5
|
FFTTFFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
FFTTFFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
FFTTFFFFFTTTFFTT TTTTTTTTTTTTTTTT --:P- / 5
|
FFTTFFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N20 TFTTTFFFTTFTFTFT (expected value) 6.00 4.00 3.00 5.00 6.00 5.00 6.00 6.00 5.00 5.00 4.00 6.00 5.00 6.00 5.00 5.00 (confidence rate) |
T??TTFFFTT?TFT?? T--TTTTTTT-TTT-- --:-- / 4
|
TFTTTFFFTTFTFTFT TTTTTTTTTTTTTTTT --:-M / 5
|
T??TTFFFTT?TFTFT T--TTTTTTT-TTTTT --:-- / 4
|
CC 0 |
CC 0 |
TF??T?FF??FT?TFT TT--T-TT--TT-TTT --:-- / 3
|
TFTTTFFFTTFTFTFT TTTTTTTTTTTTTTTT --:P- / 5
|
TFTTTFFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N50 FFFTTFFFTTTTFTTF (expected value) 3.00 3.00 3.00 3.00 5.00 4.00 4.00 5.00 4.00 3.00 3.00 4.00 4.00 4.00 5.00 5.00 (confidence rate) |
????T??FT??TFT?? ----T--TT--TTT-- --:-- / 2
|
FFFTTFFFTTTTFTTF TTTTTTTTTTTTTTTT --:-M / 5
|
????T??F??????TF ----T--T------TT --:-- / 1
|
CC 0 |
CC 0 |
?????FF???????TF -----TT-------TT --:-- / 1
|
FFFTTFFFTTTTFTTF TTTTTTTTTTTTTTTT --:P- / 5
|
FFFTTFFFTTTTFTTF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P20N10 TTFTFFFFFTFFTTFF (expected value) 9.00 7.00 10.00 10.00 9.00 10.00 10.00 10.00 9.00 9.00 10.00 9.00 10.00 9.00 10.00 10.00 (confidence rate) |
T?FT?FFF??F?T?FF T-TT-TTT--T-T-TT --:-- / 3
|
TTFTFFFFFTFFTTFF TTTTTTTTTTTTTTTT --:-M / 5
|
?TFTFFFFFTFFTTFF -TTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFFTFFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFFTFFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFFTFFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFTFFFFFTFFTTFF TTTTTTTTTTTTTTTT --:P- / 5
|
TTFTFFFFFTFFTTFF TTTTTTTTTTTTTTTT --:-- / 5
|
T?FTFFFFFTFFTTFF T-TTTTTTTTTTTTTT --:-- / 5
|
T?FTFFFFFTFFTTFF T-TTTTTTTTTTTTTT --:-- / 5
|
| V20P20N20 TFFTFFTFFTTTFTTT (expected value) 9.00 7.00 6.00 5.00 7.00 5.00 7.00 7.00 8.00 6.00 7.00 5.00 8.00 5.00 5.00 7.00 (confidence rate) |
TF??F?TF?TTT?TTT TT--T-TT-TTT-TTT --:-- / 4
|
TFFTFFTFFTTTFTTT TTTTTTTTTTTTTTTT --:PM / 5
|
TFF?F?TFFTTTFTTT TTT-T-TTTTTTTTTT --:-- / 5
|
T?FT?F??F???F??? T-TT-T--T---T--- --:-- / 2
|
T?FT?F??F???F??? T-TT-T--T---T--- --:-- / 2
|
TFFTFFTFF?T?F??T TTTTTTTTT-T-T--T --:-- / 4
|
TFFTFFTFFTT?F??T TTTTTTTTTTT-T--T --:-- / 4
|
DNF 0 |
TF??F?TFFTTTFTTT TT--T-TTTTTTTTTT --:-- / 4
|
TF??F?TFFTTTFTTT TT--T-TTTTTTTTTT --:-- / 4
|
| V20P20N50 FFTFFFFFFTFTFFFF (expected value) 3.00 1.00 3.00 1.00 1.00 1.00 1.00 3.00 4.00 3.00 2.00 1.00 1.00 4.00 1.00 4.00 (confidence rate) |
F?T????F??F????? T-T----T--T----- --:-- / 1
|
FFTFFFFFFTFTFFFF TTTTTTTTTTTTTTTT --:PM / 5
|
F?T????FF????F?F T-T----TT----T-T --:-- / 2
|
DNF 0 |
DNF 0 |
????????FT???F?F --------TT---T-T --:-- / 1
|
????????FT???F?F --------TT---T-T --:-- / 1
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V50P20N10 FFFTFT? FTTTFFTT? (expected value) 5.00 3.00 5.00 3.00 3.00 3.00 0 6.00 6.00 2.00 2.00 3.00 2.00 3.00 6.00 0 (confidence rate) |
?F?TFT???TTFFT?? -T-TTT?--TTTTT-? --:-- / 3
|
FFFTFT?FTTTFFTT? TTTTTT?TTTTTTTT? --:-- / 5
|
?F?TFT?FT??F?TT? -T-TTT?TT--T-TT? --:-- / 3
|
F?F????FT?????T? T-T---?TT-----T? --:-- / 2
|
F?F????FT?????T? T-T---?TT-----T? --:-- / 2
|
F?F????FT?????T? T-T---?TT-----T? --:-- / 2
|
F?F????FT?????T? T-T---?TT-----T? --:-- / 2
|
DNF 0 |
???????????????? ------?--------? --:-- / 0
|
???????????????? ------?--------? --:-- / 0
|
| V50P20N20 TFFFFFTFTF? FT? TF (expected value) 3.00 4.00 4.00 3.00 4.00 3.00 4.00 3.00 1.00 1.00 0 1.00 4.00 0 6.00 3.00 (confidence rate) |
T??F?F?F????T??F T--T-T-T--?-T?-T --:-- / 2
|
T??F?F?FTF?FT?TF T--T-T-TTT?TT?TT --:-- / 3
|
T??F?F?F????T?TF T--T-T-T--?-T?TT --:-- / 2
|
?FF?F?T???????T? -TT-T-T---?--?T- --:-- / 2
|
?FF?F?T???????T? -TT-T-T---?--?T- --:-- / 2
|
?FF?F?T???????T? -TT-T-T---?--?T- --:-- / 2
|
?FF?F?T?????T?T? -TT-T-T---?-T?T- --:-- / 2
|
DNF 0 |
???????????????? ----------?--?-- --:-- / 0
|
???????????????? ----------?--?-- --:-- / 0
|
| V50P20N50 TTFTFTTTFTTTTFFT (expected value) 2.00 4.00 3.00 4.00 2.00 2.00 2.00 2.00 6.00 2.00 1.00 1.00 1.00 5.00 5.00 1.00 (confidence rate) |
??F??????T?????? --T------T------ --:-- / 1
|
T?F?FTTTFTTTTFFT T-T-TTTTTTTTTTTT --:-- / 5
|
T?F?FTTTF??????? T-T-TTTTT------- --:-- / 2
|
?T?T????F????FF? -T-T----T----TT- --:-- / 2
|
?T?T????F????FF? -T-T----T----TT- --:-- / 2
|
?T?T????F????FF? -T-T----T----TT- --:-- / 2
|
?T?T????F????FF? -T-T----T----TT- --:-- / 2
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V50P50N10 FTT? FFFTFFFTTTTT (expected value) 5.00 3.00 3.00 0 4.00 3.00 3.00 4.00 6.00 2.00 3.00 3.00 2.00 5.00 3.00 2.00 (confidence rate) |
?TT??FF??FFTT?TT -TT?-TT--TTTT-TT --:-- / 3
|
FTT??FF?FFFTTTTT TTT?-TT-TTTTTTTT --:-- / 4
|
?TT??FF?F?FT??T? -TT?-TT-T-TT--T- --:-- / 3
|
F???F??TF????T?? T--?T--TT----T-- --:-- / 2
|
F???F??TF????T?? T--?T--TT----T-- --:-- / 2
|
F???F??TF????T?? T--?T--TT----T-- --:-- / 2
|
F???F??TF????T?? T--?T--TT----T-- --:-- / 2
|
DNF 0 |
???????????????? ---?------------ --:-- / 0
|
???????????????? ---?------------ --:-- / 0
|
| V50P50N20 TFTFFFFFTTFFTFTF (expected value) 4.00 4.00 4.00 5.00 4.00 3.00 3.00 3.00 2.00 2.00 6.00 2.00 1.00 2.00 4.00 6.00 (confidence rate) |
?????FFFT??F?FT? -----TTTT--T-TT- --:-- / 2
|
???F?FFFTTFFTFTF ---T-TTTTTTTTTTT --:-- / 4
|
?????FFF?TF???TF -----TTT-TT---TT --:-- / 2
|
TFTFF?????F????F TTTTT-----T----T --:-- / 2
|
TFTFF?????F????F TTTTT-----T----T --:-- / 2
|
TFTFF?????F????F TTTTT-----T----T --:-- / 2
|
TFTFF?????F???TF TTTTT-----T---TT --:-- / 3
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V50P50N50 FFFFTTFTTTTTFTTF (expected value) 7.00 4.00 3.00 3.00 1.00 4.00 3.00 4.00 1.00 1.00 5.00 1.00 5.00 2.00 3.00 6.00 (confidence rate) |
F?FF??F??????TT? T-TT--T------TT- --:-- / 2
|
F?FFT?F?TTTTFTTF T-TTT-T-TTTTTTTT --:-- / 4
|
F?FF??F???????TF T-TT--T-------TT --:-- / 2
|
FF???T?T??T?F??F TT---T-T--T-T--T --:-- / 2
|
FF???T?T??T?F??F TT---T-T--T-T--T --:-- / 2
|
FF???T?T??T?F??F TT---T-T--T-T--T --:-- / 2
|
FF???T?T??T?F??F TT---T-T--T-T--T --:-- / 2
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V80P20N10 ? FFTTTTTTFTTTTFF (expected value) 0 5.00 3.00 2.00 3.00 4.00 3.00 2.00 2.00 2.00 2.00 3.00 2.00 1.00 2.00 5.00 (confidence rate) |
????T?????TTT??? ?---T-----TTT--- --:-- / 1
|
?F?TTT?TTFTTTTFF ?T-TTT-TTTTTTTTT --:-- / 4
|
?F?TT??TTF?T??FF ?T-TT--TTT-T--TT --:-- / 3
|
DNF 0 |
?FF??TT????????F ?TT--TT--------T --:-- / 2
|
?FF??TT????????F ?TT--TT--------T --:-- / 2
|
?FF??TT????????F ?TT--TT--------T --:-- / 2
|
DNF 0 |
???????????????? ?--------------- --:-- / 0
|
???????????????? ?--------------- --:-- / 0
|
| V80P20N20 FTFTFFTFTFTTTTTT (expected value) 3.00 5.00 3.00 3.00 2.00 3.00 4.00 2.00 2.00 3.00 2.00 3.00 2.00 2.00 2.00 2.00 (confidence rate) |
F?FT?F??TFTTTTTT T-TT-T--TTTTTTTT --:-- / 4
|
FTFTFF?FTFTTTTTT TTTTTT-TTTTTTTTT --:-- / 5
|
F?FTFF?F?F?T???? T-TTTT-T-T-T---- --:-- / 3
|
?T????T????????? -T----T--------- --:-- / 1
|
?T????T????????? -T----T--------- --:-- / 1
|
?T????T????????? -T----T--------- --:-- / 1
|
?T????T????????? -T----T--------- --:-- / 1
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V80P20N50 FFTTTTT? FTT? T? TT (expected value) 2.00 4.00 4.00 2.00 2.00 2.00 3.00 0 6.00 1.00 6.00 0 6.00 0 1.00 1.00 (confidence rate) |
??????T????????? ------T?---?-?-- --:-- / 0
|
F??TTTT?FTT?T?T? T--TTTT?TTT?T?T- --:-- / 3
|
F??TTTT?F?T?T??T T--TTTT?T-T?T?-T --:-- / 3
|
?FT?????F?T?T??? -TT----?T-T?T?-- --:-- / 2
|
?FT?????F?T?T??? -TT----?T-T?T?-- --:-- / 2
|
?FT?????F?T?T??? -TT----?T-T?T?-- --:-- / 2
|
?FT?????F?T?T??? -TT----?T-T?T?-- --:-- / 2
|
DNF 0 |
???????????????? -------?---?-?-- --:-- / 0
|
???????????????? -------?---?-?-- --:-- / 0
|
| V80P50N10 FFTFFFTTTTFFFT? T (expected value) 5.00 5.00 5.00 5.00 5.00 4.00 5.00 5.00 2.00 5.00 5.00 7.00 4.00 7.00 0 2.00 (confidence rate) |
FFTFF?TT?T?????T TTTTT-TT-T----?T --:-- / 3
|
FFTFFFTTTTFFFT?T TTTTTTTTTTTTTT?T --:-- / 5
|
FFTFFFTTTTFF?T?? TTTTTTTTTTTT-T?- --:-- / 4
|
??????????FFFT?? ----------TTTT?- --:-- / 1
|
??????????FFFT?? ----------TTTT?- --:-- / 1
|
DNF 0 |
??????????FFFT?? ----------TTTT?- --:-- / 1
|
DNF 0 |
FFTFFFTT?T?F?T?? TTTTTTTT-T-T-T?- --:-- / 4
|
FFTFFFTT?T?F?T?? TTTTTTTT-T-T-T?- --:-- / 4
|
| V80P50N20 FFFFFFFFTTFT? FTF (expected value) 6.00 3.00 3.00 3.00 3.00 6.00 3.00 4.00 2.00 2.00 6.00 2.00 0 6.00 3.00 2.00 (confidence rate) |
?FFFF?F?TT?T??TF -TTTT-T-TT-T?-TT --:-- / 3
|
FFFFFFF?TTFT?FTF TTTTTTT-TTTT?TTT --:-- / 5
|
FFFFFFF???F??FT? TTTTTTT---T-?TT- --:-- / 3
|
F????F?F??F??F?? T----T-T--T-?T-- --:-- / 2
|
F????F?F??F??F?? T----T-T--T-?T-- --:-- / 2
|
F????F?F??F??F?? T----T-T--T-?T-- --:-- / 2
|
F????F?F??F??F?? T----T-T--T-?T-- --:-- / 2
|
DNF 0 |
???????????????? ------------?--- --:-- / 0
|
???????????????? ------------?--- --:-- / 0
|
| V80P50N50 TTFTFTTFTTFTF? FF (expected value) 5.00 2.00 2.00 4.00 4.00 6.00 3.00 4.00 6.00 2.00 1.00 1.00 1.00 0 1.00 1.00 (confidence rate) |
??????T????????? ------T------?-- --:-- / 0
|
TTF??TT?TTFT??FF TTT--TT-TTTT-?TT --:-- / 4
|
?TF??TT?TT??F??? -TT--TT-TT--T?-- --:-- / 2
|
T??TFT?FT??????? T--TTT-TT----?-- --:-- / 2
|
T??TFT?FT??????? T--TTT-TT----?-- --:-- / 2
|
T??TFT?FT??????? T--TTT-TT----?-- --:-- / 2
|
T??TFT?FT??????? T--TTT-TT----?-- --:-- / 2
|
DNF 0 |
???????????????? -------------?-- --:-- / 0
|
???????????????? -------------?-- --:-- / 0
|
| CSRepetitions — Colored | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 66 | 52 | 18 | 21 | 47 | 47 | 44 | 20 | 20 |
| Road Runner | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| Camel | 0 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 02 FFFTTTFFFTFTFTTT (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 (confidence rate) |
DNC |
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:-M / 11
|
FFFTTTFFFTFT?TTT TTTTTTTTTTTT-TTT --:-- / 10
|
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:P- / 11
|
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFFTFTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
| 03 TTFTFTFFTTTTTTFT (expected value) 5.00 4.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 4.00 5.00 5.00 (confidence rate) |
DNC |
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-M / 11
|
T?FTF?FFTTTT??FT T-TTT-TTTTTT--TT --:-- / 8
|
CC 0 |
CC 0 |
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:P- / 11
|
CC 0 |
CC 0 |
| 04 FTFFFFTTFFTFTFTT (expected value) 5.00 4.00 5.00 4.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
DNC |
FTFFFFTTFFTFTFTT TTTTTTTTTTTTTTTT --:-M / 11
|
F?F?FFT?FFTFTFTT T-T-TTT-TTTTTTTT --:-- / 9
|
CC 0 |
CC 0 |
FTFFFFTTFFTFTFTT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFFFFTTFFTFTFTT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFFFFTTFFTFTFTT TTTTTTTTTTTTTTTT --:P- / 11
|
CC 0 |
CC 0 |
| 05 FTFTFFFTFTFFFFTT (expected value) 5.00 5.00 9.00 5.00 5.00 4.00 9.00 9.00 7.00 6.00 6.00 5.00 5.00 5.00 7.00 6.00 (confidence rate) |
DNC |
FTFTFFFTFTFFFFTT TTTTTTTTTTTTTTTT --:PM / 11
|
FTFTF?FTF??FFFT? TTTTT-TTT--TTTT- --:-- / 8
|
??F???FT?TF????T --T---TT-TT----T --:-- / 4
|
??F???FT?TF????T --T---TT-TT----T --:-- / 4
|
??F???FTFTF???TT --T---TTTTT---TT --:-- / 6
|
??F???FTFTF???TT --T---TTTTT---TT --:-- / 6
|
FTFTFFFTFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFFTF??FFFT? TTTTTTTTT--TTTT- --:-- / 9
|
FTFTFFFTF??FFFT? TTTTTTTTT--TTTT- --:-- / 9
|
| 07 FFFFTFTFTFFTTFFF (expected value) 2.00 6.00 2.00 2.00 2.00 2.00 4.00 4.00 6.00 2.00 2.00 5.00 5.00 5.00 2.00 2.00 (confidence rate) |
DNC |
FFFFTFTFTFFTTFFF TTTTTTTTTTTTTTTT --:PM / 11
|
FFFFTFTFTFF???FF TTTTTTTTTTT---TT --:-- / 9
|
?F??????T??TTF?? -T------T--TTT-- --:-- / 3
|
?F??????T??TTF?? -T------T--TTT-- --:-- / 3
|
?F????TFT??TTF?? -T----TTT--TTT-- --:-- / 5
|
?F????TFT??TTF?? -T----TTT--TTT-- --:-- / 5
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 10 FTFFFTTFFTFTFFTT (expected value) 2.00 2.00 2.00 4.00 2.00 2.00 2.00 4.00 2.00 2.00 4.00 4.00 5.00 2.00 2.00 2.00 (confidence rate) |
DNC |
FTFFFTTFFTFTFFTT TTTTTTTTTTTTTTTT --:PM / 11
|
FTF?FTT?FT??FFTT TTT-TTT-TT--TTTT --:-- / 8
|
DNF 0 |
???F???F??FTF??? ---T---T--TTT--- --:-- / 3
|
???F???F??FTF??? ---T---T--TTT--- --:-- / 3
|
???F???F??FTF??? ---T---T--TTT--- --:-- / 3
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| CSRepetitions — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 31 | 66 | 61 | 23 | 22 | 47 | 39 | 22 | 43 | 43 |
| Road Runner | 0 | 1 | 2 | 0 | 0 | 2 | 0 | 0 | 1 | 0 |
| Camel | 0 | 4 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 02 FFFTTTFFTFTFTFTF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:PM / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTFFTFTFTFTF TTTTTTTTTTTTTTTT --:-- / 11
|
| 03 TTFTFTFFFTFFFFFT (expected value) 6.00 5.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTFTFTFFFTFFFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTFTFFFTFFFFFT TTTTTTTTTTTTTTTT --:-M / 11
|
T?FTF?FFFTFFFFFT T-TTT-TTTTTTTTTT --:-- / 10
|
CC 0 |
CC 0 |
TTFTFTFFFTFFFFFT TTTTTTTTTTTTTTTT --:P- / 11
|
TTFTFTFFFTFFFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTFTFFFTFFFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
CC 0 |
| 04 FTFFFFTTFFFFFFTT (expected value) 4.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 4.00 5.00 4.00 4.00 2.00 4.00 4.00 5.00 (confidence rate) |
?????????F?????T ---------T-----T --:-- / 1
|
FTFFFFTTFFFFFFTT TTTTTTTTTTTTTTTT --:-M / 11
|
F?F?FFT?FFFF?FTT T-T-TTT-TTTT-TTT --:-- / 8
|
CC 0 |
CC 0 |
FTFFFFTTFFFFFFTT TTTTTTTTTTTTTTTT --:P- / 11
|
FT?F???TFFFF?FTT TT-T---TTTTT-TTT --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 05 FTFTFFFTFTFTTFFT (expected value) 4.00 5.00 9.00 4.00 4.00 4.00 9.00 9.00 7.00 8.00 5.00 7.00 8.00 9.00 7.00 8.00 (confidence rate) |
?TF???FT????TF?? -TT---TT----TT-- --:-- / 4
|
FTFTFFFTFTFTTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFFTFTFTTFFT TTTTTTTTTTTTTTTT --:PM / 11
|
??F???FTFT?TTFFT --T---TTTT-TTTTT --:-- / 7
|
??F???FTFT?TTFFT --T---TTTT-TTTTT --:-- / 7
|
??F???FTFTFTTFFT --T---TTTTTTTTTT --:-- / 8
|
??F???FT?T???F?T --T---TT-T---T-T --:-- / 4
|
DNF 0 |
FTFTFFFTFTFTTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFFTFTFTTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
| 07 FFFFTFTFTTTTFFTT (expected value) 4.00 8.00 4.00 4.00 4.00 4.00 8.00 8.00 8.00 4.00 8.00 4.00 4.00 6.00 4.00 8.00 (confidence rate) |
??????TF???????? ------TT-------- --:-- / 1
|
FFFFTFTFTTTTFFTT TTTTTTTTTTTTTTTT --:-M / 11
|
FFFFTFTFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 11
|
?F????TFT?T????T -T----TTT-T----T --:-- / 4
|
?F??????T?T????T -T------T-T----T --:-- / 3
|
?F????TFT?T??F?T -T----TTT-T--T-T --:-- / 5
|
?F????TFT?T??F?T -T----TTT-T--T-T --:-- / 5
|
DNF 0 |
FFFFTFTFTTTTFFTT TTTTTTTTTTTTTTTT --:P- / 11
|
FFFFTFTFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 11
|
| 10 FTFFFTTFTTTFTFTF (expected value) 5.00 5.00 4.00 4.00 4.00 5.00 5.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
FT???TT????????? TT---TT--------- --:-- / 3
|
FTFFFTTFTTTFTFTF TTTTTTTTTTTTTTTT --:PM / 11
|
FTF?FTT?TTTFTFTF TTT-TTT-TTTTTTTT --:-- / 10
|
???F???F???????? ---T---T-------- --:-- / 1
|
???F???F???????? ---T---T-------- --:-- / 1
|
???F???F???????? ---T---T-------- --:-- / 1
|
DNF 0 |
DNF 0 |
FTF?FTT?TTTFTFTF TTT-TTT-TTTTTTTT --:-- / 10
|
FTF?FTT?TTTFTFTF TTT-TTT-TTTTTTTT --:-- / 10
|
| CircadianClock — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 58 | 114 | 110 | 75 | 63 | 101 | 97 | 57 | 75 | 75 |
| Road Runner | 1 | 4 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| Camel | 1 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 000001 FFFFFTFFFTFFTTTT (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:PM / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFFFTFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
| 000010 TTTTFFTFTFFTTTTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-M / 19
|
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
CC 0 |
CC 0 |
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 19
|
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:P- / 19
|
CC 0 |
CC 0 |
| 000100 FFTTTFFTFTTFTFFT (expected value) 5.00 6.00 6.00 5.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TFTFTFFTFTTFTFFT XTTXTTTTTTTTTTTT V-:-- / 12
|
FFTTTFFTFTTFTFFT TTTTTTTTTTTTTTTT --:PM / 19
|
FFTTT?FTFTTFTFFT TTTTT-TTTTTTTTTT --:-- / 18
|
CC 0 |
CC 0 |
FFTTTFFTFTTFTFFT TTTTTTTTTTTTTTTT --:-- / 19
|
FFTTTFFTFTTFTFFT TTTTTTTTTTTTTTTT --:-- / 19
|
FFTTTFFTFTTFTFFT TTTTTTTTTTTTTTTT --:-- / 19
|
CC 0 |
CC 0 |
| 001000 FFFTFTTFFTTTTFTT (expected value) 9.00 8.00 8.00 8.00 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
FF?T??TF???????? TT-T--TT-------- --:-- / 6
|
FFFTFTTFFTTTTFTT TTTTTTTTTTTTTTTT --:PM / 19
|
FFFT?TTFFTTTTFTT TTTT-TTTTTTTTTTT --:-- / 18
|
FFFTFTTFFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFTFTTFFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFTFTTFFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 19
|
F?F?FT??FTTTTFTT T-T-TT--TTTTTTTT --:-- / 15
|
DNF 0 |
FFFTFTTFFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 19
|
FFFTFTTFFTTTTFTT TTTTTTTTTTTTTTTT --:-- / 19
|
| 010000 TFTFTTTTFFTTFFFT (expected value) 8.00 6.00 8.00 8.00 8.00 5.00 6.00 5.00 8.00 5.00 8.00 7.00 5.00 5.00 5.00 8.00 (confidence rate) |
?F????T????????? -T----T--------- --:-- / 2
|
TFTFTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:PM / 19
|
TFTFTTTTFFT?FFFT TTTTTTTTTTT-TTTT --:-- / 18
|
TFTFTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-- / 19
|
T?TFT???F?TT???T T-TTT---T-TT---T --:-- / 10
|
T?TFT???F?TT???T T-TTT---T-TT---T --:-- / 10
|
T?TFT???F?TT???T T-TTT---T-TT---T --:-- / 10
|
DNF 0 |
TFTFTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-- / 19
|
| 100000 FTFFTTTTFFFTTTTF (expected value) 8.00 8.00 8.00 8.00 8.00 8.00 5.00 8.00 1.00 5.00 8.00 8.00 8.00 5.00 8.00 8.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFFTTTTFFFTTTTF TTTTTTTTTTTTTTTT --:PM / 19
|
FTFFTTTT?FFTTTTF TTTTTTTT-TTTTTTT --:-- / 18
|
FTFFTTTT?FFTTTTF TTTTTTTT-TTTTTTT --:-- / 18
|
FTFFTT?T??FTT?TF TTTTTT-T--TTT-TT --:-- / 15
|
FTFFTT?T??FTT?TF TTTTTT-T--TTT-TT --:-- / 15
|
FTFFTT?T??FTT?TF TTTTTT-T--TTT-TT --:-- / 15
|
DNF 0 |
FTFFTTTT?FFTTTTF TTTTTTTT-TTTTTTT --:-- / 18
|
FTFFTTTT?FFTTTTF TTTTTTTT-TTTTTTT --:-- / 18
|
| CircularTrains — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 113 | 119 | 118 | 51 | 51 | 119 | 89 | 51 | 51 | 51 |
| Road Runner | 1 | 1 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 1 | 1 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 012 TTTFFTFFFFFFTTFT (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:PM / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTFFTFFFFFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
| 024 FFFFFTTTTTTFFFFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 (confidence rate) |
FFFFFTTTTTTFFFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FFFFFTTTTTTFFFFT TTTTTTTTTTTTTTTT --:PM / 17
|
FFFFFTTTTTT?FFFT TTTTTTTTTTT-TTTT --:-- / 16
|
CC 0 |
CC 0 |
FFFFFTTTTTTFFFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FFFFFTTTTTTFFFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FFFFFTTTTTTFFFFT TTTTTTTTTTTTTTTT --:-- / 17
|
CC 0 |
CC 0 |
| 048 TTTTFTTTFTTTTTTF (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTTFTTTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFTTTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFTTTFTTTTTTF TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
TTTTFTTTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFTTTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFTTTFTTTTTTF TTTTTTTTTTTTTTTT --:-- / 17
|
CC 0 |
CC 0 |
| 096 TTTTFFTFTFFTTTTT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFFTFTFFTTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
DNF 0 |
CC 0 |
CC 0 |
| 192 FTFTFFFTTTTTTFFT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FTFTFFFTTTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFTFFFTTTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFTFFFTTTTTTFFT TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
FTFTFFFTTTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFTFFFTTTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
DNF 0 |
CC 0 |
CC 0 |
| 384 TFTTFTTFFFTTTTFF (expected value) 9.00 8.00 8.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 9.00 8.00 (confidence rate) |
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:PM / 17
|
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
T???F?????????F? T---T---------T- --:-- / 3
|
DNF 0 |
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:-- / 17
|
| 768 TFTTTTFTFFFFTTTT (expected value) 8.00 8.00 8.00 7.00 8.00 8.00 8.00 8.00 8.00 7.00 8.00 8.00 8.00 7.00 7.00 7.00 (confidence rate) |
TFT?TTFTF??FT??? TTT-TTTTT--TT--- --:-- / 11
|
TFTTTTFTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTTTFTFFFFTTTT TTTTTTTTTTTTTTTT --:PM / 17
|
TFTTTTFTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTTTFTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTTTFTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
??????????F????? ----------T----- --:-- / 1
|
DNF 0 |
TFTTTTFTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
TFTTTTFTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 17
|
| ClientsAndServers — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 80 | 160 | 158 | 160 | 160 | 126 | 126 | 40 | 160 | 160 |
| Road Runner | 0 | 10 | 10 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 11 | 9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N0001P0 FFTFFFFTTFTTTFFT (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 9.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:PM / 8
|
FFTFFFFT?FTTTFFT TTTTTTTT-TTTTTTT --:-- / 7
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFFTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0002P0 FTTTTFTTTFFFFTFF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:PM / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
| N0002P1 TFFTFTFFFFTTTFFF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:PM / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
| N0005P0 TTFTFTFFTFTFFFTF (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:PM / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| N0005P1 TTFTFTFFTTFTFTFT (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:PM / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0010P0 TFTFFTTFFFFFTFFT (expected value) 8.00 7.00 7.00 9.00 8.00 8.00 9.00 7.00 9.00 9.00 7.00 9.00 9.00 8.00 9.00 9.00 (confidence rate) |
?FTF??TFFFFFT?FT -TTT--TTTTTTT-TT --:-- / 6
|
TFTFFTTFFFFFTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTTFFFFFTFFT TTTTTTTTTTTTTTTT --:PM / 8
|
TFTFFTTFFFFFTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTTFFFFFTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
T??FFTT?FF?FTFFT T--TTTT-TT-TTTTT --:-- / 6
|
T??FFTT?FF?FTFFT T--TTTT-TT-TTTTT --:-- / 6
|
DNF 0 |
TFTFFTTFFFFFTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
TFTFFTTFFFFFTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0010P1 TFFTFTFFFFFTTFTF (expected value) 9.00 8.00 9.00 9.00 8.00 9.00 7.00 8.00 7.00 9.00 7.00 7.00 9.00 8.00 9.00 9.00 (confidence rate) |
T?FT?TF?FFFTT?TF T-TT-TT-TTTTT-TT --:-- / 6
|
TFFTFTFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFFTTFTF TTTTTTTTTTTTTTTT --:PM / 8
|
TFFTFTFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFT?F?F??TFTF TTTTTT-T-T--TTTT --:-- / 6
|
TFFTFT?F?F??TFTF TTTTTT-T-T--TTTT --:-- / 6
|
DNF 0 |
TFFTFTFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTFFFFFTTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| N0010P2 TFTTTFTTTFFTFTTT (expected value) 9.00 8.00 7.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 8.00 7.00 (confidence rate) |
T?TTTFTTTFFTFT?T T-TTTTTTTTTTTT-T --:-- / 7
|
TFTTTFTTTFFTFTTT TTTTTTTTTTTTTTTT --:PM / 8
|
TFTTTFTTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFTTTFTTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFTTTFTTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TF?TTFTTTFFTFTT? TT-TTTTTTTTTTTT- --:-- / 7
|
TF?TTFTTTFFTFTT? TT-TTTTTTTTTTTT- --:-- / 7
|
DNF 0 |
TFTTTFTTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFTTTFTTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0020P0 TTFTFFFFFTFFTTTT (expected value) 8.00 9.00 7.00 8.00 7.00 7.00 7.00 8.00 5.00 7.00 8.00 9.00 8.00 8.00 8.00 9.00 (confidence rate) |
?TF?FFF??T?F???T -TT-TTT--T-T---T --:-- / 4
|
TTFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT --:PM / 8
|
TTFTFFFF?TFFTTTT TTTTTTTT-TTTTTTT --:-- / 7
|
TTFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TT?T???F??FFTTTT TT-T---T--TTTTTT --:-- / 5
|
TT?T???F??FFTTTT TT-T---T--TTTTTT --:-- / 5
|
DNF 0 |
TTFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFFFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0020P1 FTFTTFTTTTTFTTFT (expected value) 7.00 8.00 8.00 8.00 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
F???T??????????? T---T----------- --:-- / 1
|
FTFTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:PM / 8
|
FTFTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
?TFT?FTTTTTFTTFT -TTT-TTTTTTTTTTT --:-- / 7
|
?TFT?FTTTTTFTTFT -TTT-TTTTTTTTTTT --:-- / 7
|
DNF 0 |
FTFTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTTTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0020P2 FFFFFTFTTFTFFFFF (expected value) 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 6.00 8.00 7.00 6.00 9.00 (confidence rate) |
F????????????F?F T------------T-T --:-- / 1
|
FFFFFTFTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFFFFTFTTFTFFFFF TTTTTTTTTTTTTTTT --:PM / 8
|
FFFFFTFTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFFFFTFTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
?FFFFTFTTFT?F??F -TTTTTTTTTT-T--T --:-- / 6
|
?FFFFTFTTFT?F??F -TTTTTTTTTT-T--T --:-- / 6
|
DNF 0 |
FFFFFTFTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFFFFTFTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
| N0020P3 FFTFFFTFTFFTTTFT (expected value) 7.00 7.00 8.00 7.00 9.00 7.00 7.00 7.00 8.00 9.00 8.00 8.00 7.00 8.00 7.00 8.00 (confidence rate) |
FF?FFFTF?F??T?F? TT-TTTTT-T--T-T- --:-- / 5
|
FFTFFFTFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFTFTFFTTTFT TTTTTTTTTTTTTTTT --:PM / 8
|
FFTFFFTFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFTFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
??T?F???TFFT?T?T --T-T---TTTT-T-T --:-- / 4
|
??T?F???TFFT?T?T --T-T---TTTT-T-T --:-- / 4
|
DNF 0 |
FFTFFFTFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFTFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0020P4 TFFTFTTFTTTFFTTT (expected value) 7.00 7.00 8.00 8.00 8.00 8.00 7.00 7.00 8.00 8.00 8.00 8.00 7.00 7.00 8.00 8.00 (confidence rate) |
TF????TF????FT?? TT----TT----TT-- --:-- / 3
|
TFFTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:PM / 8
|
TFFTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
??FTFT??TTTF??TT --TTTT--TTTT--TT --:-- / 5
|
??FTFT??TTTF??TT --TTTT--TTTT--TT --:-- / 5
|
DNF 0 |
TFFTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TFFTFTTFTTTFFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0050P0 FFTFTTFFTTTTFFTT (expected value) 8.00 8.00 8.00 8.00 9.00 8.00 7.00 7.00 9.00 8.00 8.00 8.00 7.00 8.00 8.00 8.00 (confidence rate) |
????T?FFT???F??? ----T-TTT---T--- --:-- / 2
|
FFTFTTFFTTTTFFTT TTTTTTTTTTTTTTTT --:PM / 8
|
FFTFTTFFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTTFFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTTFFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTT??TTTT?FTT TTTTTT--TTTT-TTT --:-- / 6
|
FFTFTT??TTTT?FTT TTTTTT--TTTT-TTT --:-- / 6
|
DNF 0 |
FFTFTTFFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTTFFTTTTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0100P0 FFFFFFFTFFTFFTFT (expected value) 8.00 7.00 8.00 8.00 8.00 8.00 7.00 6.00 7.00 9.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
?F????F?FF?????? -T----T-TT------ --:-- / 2
|
FFFFFFFTFFTFFTFT TTTTTTTTTTTTTTTT --:PM / 8
|
FFFFFFFTFFTFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFFFFFTFFTFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFFFFFTFFTFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
F?FFFF???FTFFTFT T-TTTT---TTTTTTT --:-- / 6
|
F?FFFF???FTFFTFT T-TTTT---TTTTTTT --:-- / 6
|
DNF 0 |
FFFFFFFTFFTFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FFFFFFFTFFTFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0200P0 FTTFFTTTFTTFTTFT (expected value) 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 6.00 6.00 8.00 8.00 8.00 8.00 (confidence rate) |
F??????????????? T--------------- --:-- / 0
|
FTTFFTTTFTTFTTFT TTTTTTTTTTTTTTTT --:PM / 8
|
FTTFFTTTFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
?TTFFTTTFT??TTFT -TTTTTTTTT--TTTT --:-- / 6
|
?TTFFTTTFT??TTFT -TTTTTTTTT--TTTT --:-- / 6
|
DNF 0 |
FTTFFTTTFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0500P0 FTTTFTFFTFTTFTFT (expected value) 8.00 8.00 8.00 8.00 8.00 8.00 8.00 6.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTTFTFFTFTTFTFT TTTTTTTTTTTTTTTT --:PM / 8
|
FTTTFTFFTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFFTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFFTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTF?TFTTFTFT TTTTTTT-TTTTTTTT --:-- / 7
|
FTTTFTF?TFTTFTFT TTTTTTT-TTTTTTTT --:-- / 7
|
DNF 0 |
FTTTFTFFTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTFTFFTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N1000P0 TFTTTFTFTTFFTFFF (expected value) 6.00 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 7.00 6.00 6.00 8.00 8.00 (confidence rate) |
?F?????????F???? -T---------T---- --:-- / 1
|
TFTTTFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTTTFTFTTFFTFFF TTTTTTTTTTTTTTTT --:PM / 8
|
TFTTTFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTTTFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
??TTTFTFTTF???FF --TTTTTTTTT---TT --:-- / 5
|
??TTTFTFTTF???FF --TTTTTTTTT---TT --:-- / 5
|
DNF 0 |
TFTTTFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFTTTFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
| N2000P0 FTTTTFTTTFFTFTFT (expected value) 7.00 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 6.00 8.00 8.00 8.00 (confidence rate) |
FT?????????????? TT-------------- --:-- / 1
|
FTTTTFTTTFFTFTFT TTTTTTTTTTTTTTTT --:-M / 8
|
FTTTTFTTTFFTFTFT TTTTTTTTTTTTTTTT --:P- / 8
|
FTTTTFTTTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
??TTTFTTTFFT?TFT --TTTTTTTTTT-TTT --:-- / 6
|
??TTTFTTTFFT?TFT --TTTTTTTTTT-TTT --:-- / 6
|
DNF 0 |
FTTTTFTTTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTFTTTFFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
| N5000P0 TTFTFTFTFFFTTFTT (expected value) 8.00 7.00 8.00 8.00 8.00 6.00 8.00 6.00 8.00 7.00 8.00 7.00 6.00 8.00 6.00 8.00 (confidence rate) |
?T???????F?T???? -T-------T-T---- --:-- / 1
|
TTFTFTFTFFFTTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFTFFFTTFTT TTTTTTTTTTTTTTTT --:PM / 8
|
TTFTFTFTFFFTTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFTFFFTTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
T?FTF?F?F?F??F?T T-TTT-T-T-T--T-T --:-- / 4
|
T?FTF?F?F?F??F?T T-TTT-T-T-T--T-T --:-- / 4
|
DNF 0 |
TTFTFTFTFFFTTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFTFTFFFTTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
| CloudDeployment — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 83 | 130 | 116 | 64 | 11 | 88 | 88 | 55 | 64 | 64 |
| Road Runner | 0 | 5 | 2 | 0 | 0 | 4 | 0 | 0 | 0 | 0 |
| Camel | 0 | 8 | 2 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 2a TFFFFFFTTFTFTTTT (expected value) 10.00 10.00 10.00 10.00 10.00 10.00 10.00 9.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 10.00 (confidence rate) |
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:PM / 11
|
TFFFFFF?TFTFTTTT TTTTTTT-TTTTTTTT --:-- / 10
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFFFFFFTTFTFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
| 2b TTTFFFTTTTTTTTFF (expected value) 8.00 7.00 8.00 8.00 8.00 8.00 8.00 7.00 8.00 8.00 7.00 7.00 8.00 8.00 8.00 7.00 (confidence rate) |
T?TFFFT?TT??TTF? T-TTTTT-TT--TTT- --:-- / 8
|
TTTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:PM / 11
|
TTTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 11
|
DNF 0 |
TTTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 11
|
DNF 0 |
TTTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 11
|
| 3a FFFTTTTTTTTFFTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FFFTTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:PM / 11
|
FFFTTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
CC 0 |
FFFTTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
CC 0 |
| 3b TTTFTTTTFFTFFTTF (expected value) 4.00 4.00 4.00 4.00 4.00 5.00 5.00 5.00 4.00 4.00 5.00 5.00 4.00 4.00 5.00 4.00 (confidence rate) |
?????TTT??TF??T? -----TTT--TT--T- --:-- / 4
|
TTTFTTTTFFTFFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTTTTFFTFFTTF TTTTTTTTTTTTTTTT --:PM / 11
|
CC 0 |
CC 0 |
TTTFTTTTFFTFFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTTTTFFTFFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
DNF 0 |
CC 0 |
CC 0 |
| 4a FTFTTFFFFTFTFFTT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
FTFTTFFFFTFTFFTT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTTFFFFTFTFFTT TTTTTTTTTTTTTTTT --:-M / 11
|
FTFTTFFFFTFTFFTT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
CC 0 |
FTFTTFFFFTFTFFTT TTTTTTTTTTTTTTTT --:P- / 11
|
FTFTTFFFFTFTFFTT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTTFFFFTFTFFTT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
CC 0 |
| 4b TTFFTTTTTFFTTTTT (expected value) 3.00 2.00 1.00 2.00 3.00 3.00 3.00 2.00 3.00 1.00 2.00 3.00 2.00 2.00 2.00 2.00 (confidence rate) |
T???TTT?T??T???? T---TTT-T--T---- --:-- / 4
|
TTFFTTTTTFFTTTTT TTTTTTTTTTTTTTTT --:PM / 11
|
TT?FTTTTT?FTTTTT TT-TTTTTT-TTTTTT --:-- / 10
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 5a FTTTFFTFTTFFTFFF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 9.00 5.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
FTTTFFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FTTTFFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-M / 11
|
FTTTFFT?TTFFTFFF TTTTTTT-TTTTTTTT --:-- / 10
|
FTTTFFT?TTFFTFFF TTTTTTT-TTTTTTTT --:-- / 10
|
DNF 0 |
FTTTFFTFTTFFTFFF TTTTTTTTTTTTTTTT --:P- / 11
|
FTTTFFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FTTTFFTFTTFFTFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FTTTFFT?TTFFTFFF TTTTTTT-TTTTTTTT --:-- / 10
|
FTTTFFT?TTFFTFFF TTTTTTT-TTTTTTTT --:-- / 10
|
| 5b TFTTFTTTTFFFTFFT (expected value) 5.00 6.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 6.00 5.00 5.00 5.00 5.00 (confidence rate) |
?F?????????F???? -T---------T---- --:-- / 1
|
TFTTFTTTTFFFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
TFTTFTTTTFFFTFFT TTTTTTTTTTTTTTTT --:PM / 11
|
TFTTFTTTTFFFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
TFTTFTTTTFFFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
TFTTFTTTTFFFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
| 6a TTTFTTTTTTTFFTFT (expected value) 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 4.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTFTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTTTTTTT?FTFT TTTTTTTTTTT-TTTT --:-- / 10
|
TTTFTTTTTTT?FTFT TTTTTTTTTTT-TTTT --:-- / 10
|
???????????????? ---------------- --:-- / 0
|
DNF 0 |
TTTFTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:P- / 11
|
TTTFTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTTTTTTTFFTFT TTTTTTTTTTTTTTTT --:-M / 11
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 6b FFTFFFT? TFTFTTTT (expected value) 5.00 5.00 4.00 5.00 5.00 5.00 5.00 0 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
???????????????? -------?-------- --:-- / 0
|
FF?FFFT?TFTFTTTT TT-TTTT?TTTTTTTT --:-- / 10
|
FFTFFFT?TFTFTTTT TTTTTTT?TTTTTTTT --:-- / 10
|
FFTFFFT?TFTFTTTT TTTTTTT?TTTTTTTT --:-- / 10
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
FFTFFFT?TFTFTTTT TTTTTTT?TTTTTTTT --:-- / 10
|
FFTFFFT?TFTFTTTT TTTTTTT?TTTTTTTT --:-- / 10
|
| 7a TTFTTTFTTTFFTTTT (expected value) 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-M / 11
|
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
DNF 0 |
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:P- / 11
|
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
DNF 0 |
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 11
|
| 7b FTTFTTTFFTFFFTFF (expected value) 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTFTTTFFTFFFTFF TTTTTTTTTTTTTTTT --:PM / 11
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| CloudReconfiguration — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 94 | 154 | 153 | 125 | 125 | 154 | 154 | 0 | 147 | 147 |
| Road Runner | 0 | 0 | 7 | 0 | 0 | 8 | 4 | 0 | 1 | 2 |
| Camel | 0 | 13 | 6 | 0 | 0 | 0 | 0 | 0 | 1 | 2 |
| 301 TTTFFFTTTFFFFTTT (expected value) 5.00 5.00 5.00 4.00 5.00 5.00 4.00 4.00 4.00 5.00 5.00 4.00 4.00 5.00 5.00 5.00 (confidence rate) |
TTT?FF???FF??TTT TTT-TT---TT--TTT --:-- / 5
|
TTTFFFTTTFFFFTTT TTTTTTTTTTTTTTTT --:-M / 7
|
TTTFFFTTTFFFFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
TTTFFFTTTFFFFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTFFFTTTFFFFTTT TTTTTTTTTTTTTTTT --:P- / 7
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 302 TTTTTTTFFTFFTTTT (expected value) 8.00 9.00 8.00 8.00 8.00 8.00 9.00 9.00 9.00 8.00 8.00 9.00 8.00 9.00 8.00 8.00 (confidence rate) |
?T????TFF??F?T?? -T----TTT--T-T-- --:-- / 3
|
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:-M / 7
|
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:P- / 7
|
DNF 0 |
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTTTTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
| 303 TTFTTTTTTFTTFTFT (expected value) 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 (confidence rate) |
TTFTT?TTTFT?FTFT TTTTT-TTTTT-TTTT --:-- / 6
|
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:-M / 7
|
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:P- / 7
|
DNF 0 |
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTFTTTTTTFTTFTFT TTTTTTTTTTTTTTTT --:-- / 7
|
| 304 FTTTTTTFTTTTTTTF (expected value) 8.00 8.00 9.00 9.00 9.00 8.00 8.00 9.00 8.00 8.00 9.00 8.00 9.00 9.00 9.00 8.00 (confidence rate) |
??TTT??F??T?TTT? --TTT--T--T-TTT- --:-- / 4
|
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:PM / 7
|
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTTTTFTTTTTTTF TTTTTTTTTTTTTTTT --:-- / 7
|
| 305 FTFTFTFFTTTTTTFT (expected value) 6.00 5.00 6.00 6.00 7.00 6.00 5.00 7.00 7.00 7.00 6.00 6.00 7.00 7.00 6.00 6.00 (confidence rate) |
????F??FTT??TT?? ----T--TTT--TT-- --:-- / 3
|
FTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
F?FTFT?FTTTTTTFT T-TTTT-TTTTTTTTT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:P- / 7
|
FTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
FTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
FTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-M / 7
|
| 306 FFFFFTFTFTTTFTTT (expected value) 9.00 9.00 9.00 9.00 8.00 9.00 8.00 9.00 9.00 9.00 8.00 9.00 8.00 9.00 8.00 9.00 (confidence rate) |
FFFF?T?TFT?T?T?T TTTT-T-TTT-T-T-T --:-- / 5
|
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-M / 7
|
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:P- / 7
|
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FFFFFTFTFTTTFTTT TTTTTTTTTTTTTTTT --:-- / 7
|
| 307 TFTTTTTTTTFTTFFF (expected value) 9.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
TFTTTT?TTTFTTFFF TTTTTT-TTTTTTTTT --:-- / 7
|
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-M / 7
|
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:P- / 7
|
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTFTTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
| 308 TTTFTFTFFTFFTTTT (expected value) 8.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
?TTFTFTF?TF????? -TTTTTTT-TT----- --:-- / 4
|
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:-M / 7
|
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:P- / 7
|
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTFTFTFFTFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
| 309 FTTTFFTTFFFFTTTT (expected value) 8.00 8.00 8.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 8.00 (confidence rate) |
???TFFTTFF?FTTT? ---TTTTTTT-TTTT- --:-- / 5
|
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:-M / 7
|
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:P- / 7
|
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
FTTTFFTTFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
| 310 FTTTFFTTTTTFTFFT (expected value) 9.00 9.00 9.00 9.00 8.00 9.00 9.00 8.00 9.00 9.00 8.00 9.00 9.00 9.00 3.00 9.00 (confidence rate) |
FTTT?FT?TT?FTF?T TTTT-TT-TT-TTT-T --:-- / 5
|
FTTTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:-M / 7
|
FTTTFFTTTTTFTF?T TTTTTTTTTTTTTT-T --:-- / 7
|
FTTTFFTTTTTFTF?T TTTTTTTTTTTTTT-T --:-- / 7
|
FTTTFFTTTTTFTF?T TTTTTTTTTTTTTT-T --:-- / 7
|
FTTTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:P- / 7
|
FTTTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
FTTTFFTTTTTFTF?T TTTTTTTTTTTTTT-T --:-- / 7
|
FTTTFFTTTTTFTF?T TTTTTTTTTTTTTT-T --:-- / 7
|
| 311 TFTTTFTFFFFTFFTF (expected value) 9.00 9.00 8.00 8.00 9.00 8.00 9.00 8.00 8.00 9.00 8.00 9.00 9.00 8.00 8.00 5.00 (confidence rate) |
TF??T?T??F?TF??? TT--T-T--T-TT--- --:-- / 3
|
TFTTTFTFFFFTFFTF TTTTTTTTTTTTTTTT --:-M / 7
|
TFTTTFTFFFFTFFT? TTTTTTTTTTTTTTT- --:-- / 7
|
TFTTTFTFFFFTFFT? TTTTTTTTTTTTTTT- --:-- / 7
|
TFTTTFTFFFFTFFT? TTTTTTTTTTTTTTT- --:-- / 7
|
TFTTTFTFFFFTFFTF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTFTFFFFTFFTF TTTTTTTTTTTTTTTT --:P- / 7
|
DNF 0 |
TFTTTFTFFFFTFFTF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTFTFFFFTFFTF TTTTTTTTTTTTTTTT --:-- / 7
|
| 312 TTTTFFTFFTFFTTFT (expected value) 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 9.00 8.00 9.00 8.00 8.00 8.00 9.00 (confidence rate) |
TTTT?FTFFT?F???T TTTT-TTTTT-T---T --:-- / 5
|
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:-M / 7
|
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:P- / 7
|
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTFFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
| 313 TFTFFFTTTTTTTTFF (expected value) 9.00 8.00 8.00 8.00 8.00 9.00 9.00 9.00 8.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 (confidence rate) |
T????FTT?TT?TTFF T----TTT-TT-TTTT --:-- / 5
|
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-M / 7
|
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:P- / 7
|
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 7
|
TFTFFFTTTTTTTTFF TTTTTTTTTTTTTTTT --:-- / 7
|
| 314 TTTTFFTTFTFFTTFT (expected value) 9.00 9.00 9.00 9.00 8.00 9.00 9.00 8.00 8.00 8.00 9.00 8.00 8.00 8.00 9.00 9.00 (confidence rate) |
TTTT?FT???F???FT TTTT-TT---T---TT --:-- / 4
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-M / 7
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:P- / 7
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 7
|
| 315 TTTTFFFFTTTFTFFF (expected value) 9.00 9.00 9.00 8.00 8.00 9.00 9.00 8.00 8.00 9.00 8.00 8.00 9.00 8.00 9.00 8.00 (confidence rate) |
TTT?FFF??T??T?F? TTT-TTT--T--T-T- --:-- / 4
|
TTTTFFFFTTTFTFFF TTTTTTTTTTTTTTTT --:-M / 7
|
TTTT?FFFTTTFTFFF TTTT-TTTTTTTTTTT --:-- / 7
|
TTTTFFFFTTTFTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFFFTTTFTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFFFTTTFTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFFFTTTFTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
TTTTFFFFTTTFTFFF TTTTTTTTTTTTTTTT --:-- / 7
|
TTTTFFFFTTTFTFFF TTTTTTTTTTTTTTTT --:P- / 7
|
| 316 TFTTTTTTTTTTTTTT (expected value) 9.00 9.00 9.00 9.00 9.00 8.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 (confidence rate) |
TFTTT?TTTTTTTTTT TTTTT-TTTTTTTTTT --:-- / 7
|
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:PM / 7
|
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
DNF 0 |
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 7
|
TFTTTTTTTTTTTTTT TTTTTTTTTTTTTTTT --:-- / 7 |