Introduction
Please find here the computed results for the CTLFireability 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 CTLFireability | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Total Points | 5875 | 13090 | 10413 | 2052 | 2296 | 6552 | 6142 | 5816 | 3473 | 3470 |
All «Surprise» models |
||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Total Points | 2176 | 5288 | 3928 | 0 | 0 | 2124 | 1828 | 1656 | 0 | 0 |
| Road Runner | 3 | 13 | 7 | 0 | 0 | 19 | 8 | 9 | 0 | 0 |
| Camel | 5 | 14 | 6 | 0 | 0 | 7 | 4 | 23 | 0 | 0 |
| ASLink — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 32 | 396 | 352 | 0 | 0 | 32 | 36 | 32 | 0 | 0 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| Camel | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| 01a TFFTTFTTFTTTFTFF (expected value) 6.00 6.00 6.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) |
TFFTTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 32 
|
TFFTTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:-M / 32
|
TFFTTFTTFTTTF?FF TTTTTTTTTTTTT-TT --:-- / 28
|
CC 0 |
CC 0 |
TFFTTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:P- / 32
|
TFF????????????? TTT------------- --:-- / 4
|
TFFTTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 01b FTFF? FFTTTTTTFFT (expected value) 2.00 2.00 2.00 1.00 0 1.00 2.00 1.00 1.00 1.00 2.00 2.00 2.00 1.00 1.00 2.00 (confidence rate) |
???????????????? ----?----------- --:-- / 0
|
FTFF?FFT?TTTTFFT TTTT?TTT-TTTTTTT --:-- / 28
|
FTF???F?T?TTT??T TTT-?-T-T-TTT--T --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 02a TFFFTTFFFTFTFTFT (expected value) 2.00 2.00 1.00 2.00 2.00 1.00 1.00 1.00 1.00 1.00 2.00 2.00 2.00 2.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TF?FT?????FTFT?? TT-TT-----TTTT-- --:-- / 16
|
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
TFFFTTFFFTFTFTFT TTTTTTTTTTTTTTTT --:PM / 32
|
DNF 0 |
CC 0 |
CC 0 |
| 02b TTFFTTTFTTFFTTFF (expected value) 1.00 2.00 2.00 1.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
|
TTF?TTTFTTFFTTFF TTT-TTTTTTTTTTTT --:-- / 28
|
?TFFTTTFTTFFTTFF -TTTTTTTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 03a TTFTT? TTFTTFTTFF (expected value) 2.00 2.00 2.00 2.00 2.00 0 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? -----?---------- --:-- / 0
|
TTFTT?TTFTTFTTFF TTTTT?TTTTTTTTTT --:-- / 28
|
TTFTT?TTFTT?TTFF TTTTT?TTTTT-TTTT --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 03b FFFT? ? ? ? FFFTFF? F (expected value) 1.00 2.00 1.00 2.00 0 0 0 0 2.00 2.00 2.00 2.00 1.00 2.00 0 2.00 (confidence rate) |
???????????????? ----????------?- --:-- / 0
|
?FFT????FFFT?F?F -TTT????TTTT-T?T --:-- / 16
|
FF?T????FFFTFF?F TT-T????TTTTTT?T --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 04a TTFTFF? TTFF? F? T? (expected value) 1.00 2.00 2.00 2.00 2.00 2.00 0 2.00 2.00 2.00 2.00 0 2.00 0 2.00 0 (confidence rate) |
???????????????? ------?----?-?-? --:-- / 0
|
TTFTFF?TTFF?F?T? TTTTTT?TTTT?T?T? --:-- / 24
|
?TFTFF?TTFF?F?T? -TTTTT?TTTT?T?T? --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 04b ? T? FFT? F? TTTTFFF (expected value) 0 1.00 0 1.00 2.00 2.00 0 2.00 0 2.00 1.00 2.00 1.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ?-?---?-?------- --:-- / 0
|
?T?FFT?F?TTTTFFF ?T?TTT?T?TTTTTTT --:-- / 24
|
????FT?F?T?T?FFF ?-?-TT?T?T-T-TTT --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 05a FFTTT? FFF? FTTF? ? (expected value) 2.00 2.00 2.00 2.00 2.00 0 1.00 2.00 2.00 0 2.00 2.00 2.00 2.00 0 0 (confidence rate) |
???????????????? -----?---?----?? --:-- / 0
|
FFTTT?FFF?FTTF?? TTTTT?TTT?TTTT?? --:-- / 24
|
FFTTT??FF?FTTF?? TTTTT?-TT?TTTT?? --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 05b ? ? ? F? F? ? ? F? ? T? FF (expected value) 0 0 0 1.00 0 2.00 0 0 0 2.00 0 0 1.00 0 1.00 2.00 (confidence rate) |
???????????????? ???-?-???-??-?-- --:-- / 0
|
?????F???F??T??F ???-?T???T??T?-T --:-- / 8
|
???F?F???F????FF ???T?T???T??-?TT --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 06a TFFFFTFT? ? ? TFFF? (expected value) 3.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 0 0 0 1.00 1.00 1.00 2.00 0 (confidence rate) |
???????????????? --------???----? --:-- / 0
|
TFFFFTFT???T?FF? TTTTTTTT???T-TT? --:-- / 20
|
TFFF??FT????F?F? TTTT--TT???-T-T? --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
T??????????????? T-------???----? --:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
| 06b TFFFF? ? TFF? ? T? ? F (expected value) 1.00 1.00 2.00 2.00 2.00 0 0 2.00 2.00 1.00 0 0 1.00 0 0 2.00 (confidence rate) |
???????????????? -----??---??-??- --:-- / 0
|
??FFF??TFF??T??F --TTT??TTT??T??T --:-- / 16
|
TFFFF??TF??????F TTTTT??TT-??-??T --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 07a FF? TFFFFFFFTFF? F (expected value) 2.00 2.00 0 1.00 1.00 1.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 2.00 0 2.00 (confidence rate) |
???????????????? --?-----------?- --:-- / 0
|
FF??FFFFF??TFF?F TT?-TTTTT--TTT?T --:-- / 20
|
FF?T??FFFFFTFF?F TT?T--TTTTTTTT?T --:-- / 24
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 07b TF? ? F? ? TFFFTFTTT (expected value) 2.00 1.00 0 0 2.00 0 0 2.00 2.00 2.00 1.00 2.00 2.00 2.00 1.00 2.00 (confidence rate) |
???????????????? --??-??--------- --:-- / 0
|
TF??F??TFFFTFT?T TT??T??TTTTTTT-T --:-- / 20
|
T???F??TFF?TFTTT T-??T??TTT-TTTTT --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 08a FT? T? ? T? ? T? F? ? ? ? (expected value) 1.00 1.00 0 1.00 0 0 2.00 0 0 1.00 0 2.00 0 0 0 0 (confidence rate) |
???????????????? --?-??-??-?-???? --:-- / 0
|
?T????T??T?F???? -T?-??T??T?T???? --:-- / 8
|
F??T??T????F???? T-?T??T??-?T???? --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 08b FFF? ? FTTTTFTFFF? (expected value) 1.00 2.00 1.00 0 0 2.00 2.00 1.00 2.00 1.00 1.00 2.00 2.00 2.00 2.00 0 (confidence rate) |
???????????????? ---??----------? --:-- / 0
|
FFF??FTTTTFTFFF? TTT??TTTTTTTTTT? --:-- / 24
|
?F???FT?T??TFFF? -T-??TT-T--TTTT? --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 09a ? FF? ? TFF? ? ? TF? FT (expected value) 0 1.00 2.00 0 0 2.00 2.00 1.00 0 0 0 2.00 1.00 0 2.00 2.00 (confidence rate) |
???????????????? ?--??---???--?-- --:-- / 0
|
??F??TF????TF?FT ?-T??TT-???TT?TT --:-- / 12
|
?FF??TFF???T??FT ?TT??TTT???T-?TT --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 09b ? FTFFF? ? FT? FFT? F (expected value) 0 1.00 1.00 2.00 2.00 2.00 0 0 2.00 2.00 0 2.00 2.00 2.00 0 2.00 (confidence rate) |
???????????????? ?-----??--?---?- --:-- / 0
|
??TFFF??FT?FFT?F ?-TTTT??TT?TTT?T --:-- / 20
|
?F?FFF??FT?FFT?F ?T-TTT??TT?TTT?T --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 10a ? ? FT? F? ? FTTFFFTF (expected value) 0 0 2.00 2.00 0 2.00 0 0 2.00 2.00 1.00 2.00 1.00 2.00 1.00 2.00 (confidence rate) |
???????????????? ??--?-??-------- --:-- / 0
|
??FT?F??FT?F?FTF ??TT?T??TT-T-TTT --:-- / 16
|
??FT?F??FTTFFF?F ??TT?T??TTTTTT-T --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 10b ? F? ? ? F? ? T? FTFF? T (expected value) 0 2.00 0 0 0 2.00 0 0 1.00 0 2.00 2.00 2.00 1.00 0 2.00 (confidence rate) |
???????????????? ?-???-??-?----?- --:-- / 0
|
?F???F????FTFF?T ?T???T??-?TTTT?T --:-- / 12
|
?F???F??T?FTF??T ?T???T??T?TTT-?T --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
CC 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 | 104 | 572 | 352 | 0 | 0 | 268 | 40 | 32 | 0 | 0 |
| Road Runner | 1 | 7 | 0 | 0 | 0 | 5 | 0 | 0 | 0 | 0 |
| Camel | 1 | 7 | 0 | 0 | 0 | 4 | 0 | 1 | 0 | 0 |
| 01 FTFFTFFFTFFFFTTF (expected value) 4.00 5.00 4.00 4.00 3.00 3.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
FTFFTFFFTFFFFTTF TTTTTTTTTTTTTTTT --:-M / 32
|
FTFFTFF?TFFFFTTF TTTTTTT-TTTTTTTT --:-- / 28
|
?T?????????????? -T-------------- --:-- / 0
|
CC 0 |
CC 0 |
FTFFTFFFTFFFFTTF TTTTTTTTTTTTTTTT --:P- / 32
|
FTFF???????????? TTTT------------ --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 02 TTTFTTTFTTTFFFFT (expected value) 6.00 5.00 6.00 5.00 5.00 5.00 5.00 5.00 6.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 (confidence rate) |
TTTFTTTFTTTFFFFT TTTTTTTTTTTTTTTT --:P- / 32
|
TTT?TTTFTT??FFFT TTT-TTTTTT--TTTT --:-- / 24
|
T?TF????T?T????? T-TT----T-T----- --:-- / 8
|
CC 0 |
CC 0 |
TTTFTTTFTTTFFFFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTTFTTTFFFFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFTTTFTTTFFFFT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 03 FTTTFTTTTTTTTFFF (expected value) 4.00 4.00 4.00 4.00 3.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) |
FTTTFTTTTTTTTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTFTTTTTTTTFFF TTTTTTTTTTTTTTTT --:PM / 32
|
FTTT?TTTTTTTTFFF TTTT-TTTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
FTTTFTTTTTTTTFFF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 04 TTFTFFF? TTTFTFFT (expected value) 2.00 1.00 1.00 2.00 2.00 1.00 2.00 0 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
???????????????? -------?-------- --:-- / 0
|
TTFTFFF?TTTFTFFT TTTTTTT?TTTTTTTT --:-- / 28
|
T??TF?F?TTTFT?FT T--TT-T?TTTTT-TT --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 05 TFTTFFFFFFTTFTFT (expected value) 4.00 3.00 4.00 3.00 4.00 2.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 3.00 1.00 3.00 (confidence rate) |
??T?F??????????? --T-T----------- --:-- / 4
|
TFTTFFFFFFTTFT?T TTTTTTTTTTTTTT-T --:-- / 28
|
TFTTF?FFFFT?FT?T TTTTT-TTTTT-TT-T --:-- / 24
|
CC 0 |
CC 0 |
TFTTFFFFFFTTFTFT TTTTTTTTTTTTTTTT --:PM / 32
|
T??????????????? T--------------- --:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
| 06 TTFFFTFTFTFTTTFT (expected value) 2.00 3.00 2.00 3.00 3.00 2.00 2.00 1.00 1.00 2.00 3.00 3.00 2.00 2.00 2.00 2.00 (confidence rate) |
?T?F???????????? -T-T------------ --:-- / 4
|
T?FFFTF??TFTTTFT T-TTTTT--TTTTTTT --:-- / 24
|
?T??F?????FT???? -T--T-----TT---- --:-- / 8
|
CC 0 |
CC 0 |
TTFFFTFTFTFTTTFT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 07 TFTFFFFTTTTFTFFT (expected value) 1.00 1.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 1.00 1.00 1.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTFFFFTTTTFTFFT TTTTTTTTTTTTTTTT --:PM / 32
|
??T?FFFTT???TFFT --T-TTTTT---TTTT --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 08 TTTTFTFTTFFTFFFT (expected value) 3.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTTFTFTTFFTFFFT TTTTTTTTTTTTTTTT --:PM / 32
|
TT?TFTFT?FFTFF?T TT-TTTTT-TTTTT-T --:-- / 24
|
CC 0 |
CC 0 |
TTTTFTFTTFFTFFFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 09 FTTFTTFFTFTFFTT? (expected value) 3.00 3.00 3.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 1.00 1.00 2.00 1.00 2.00 0 (confidence rate) |
???????????????? ---------------? --:-- / 0
|
FTTFTTFFTFTFFTT? TTTTTTTTTTTTTTT? --:-- / 28
|
FTT?TTF?TF??F?T? TTT-TTT-TT--T-T? --:-- / 20
|
CC 0 |
CC 0 |
FTTF???????????? TTTT-----------? --:-- / 8
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 10 FFFT? TTTT? FFFTF? (expected value) 2.00 2.00 1.00 1.00 0 1.00 2.00 2.00 1.00 0 2.00 2.00 2.00 2.00 2.00 0 (confidence rate) |
???????????????? ----?----?-----? --:-- / 0
|
FFF??TTTT?FFFTF? TTT-?TTTT?TTTTT? --:-- / 24
|
FF?T??TT??FFFTF? TT-T?-TT-?TTTTT? --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 11 FTTTFTTTTTTFFTTF (expected value) 4.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 2.00 1.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTTFTTTT?TFFTTF TTTTTTTTT-TTTTTT --:-- / 28
|
FTTTFTTT??TFFTTF TTTTTTTT--TTTTTT --:-- / 28
|
CC 0 |
CC 0 |
FTTTFTTTTTTFFTTF TTTTTTTTTTTTTTTT --:PM / 32
|
F??????????????? T--------------- --:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
| 12 FFTFFTTTTTTTFFFF (expected value) 1.00 3.00 3.00 3.00 1.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?FTF?TTTTTTTFFF? -TTT-TTTTTTTTTT- --:-- / 24
|
?FTF?TTTTTTTF?F? -TTT-TTTTTTTT-T- --:-- / 24
|
CC 0 |
CC 0 |
FFTFFTTTTTTTFFFF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 13 FFFTFTFFTTTTF? FF (expected value) 1.00 2.00 2.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 0 1.00 1.00 (confidence rate) |
???????????????? -------------?-- --:-- / 0
|
FFFTFTFFTTTTF?FF TTTTTTTTTTTTT?TT --:-- / 28
|
?FF????????????? -TT----------?-- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 14 FFTFTFTTFTTFTFTT (expected value) 2.00 1.00 2.00 1.00 2.00 2.00 1.00 2.00 1.00 2.00 1.00 1.00 2.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTFTFTTFTTFTFTT TTTTTTTTTTTTTTTT --:PM / 32
|
F?T?TF?T?T??T??? T-T-TT-T-T--T--- --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 15 T? TFTFFTTTTFFTFT (expected value) 2.00 0 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 2.00 (confidence rate) |
???????????????? -?-------------- --:-- / 0
|
T?TFTFFTTTTFFTFT T?TTTTTTTTTTTTTT --:-- / 28
|
T?TFTFFTTTTFFT?T T?TTTTTTTTTTTT-T --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 16 FFTTTT? TTTTTTTFT (expected value) 2.00 1.00 1.00 2.00 2.00 1.00 0 2.00 2.00 1.00 2.00 2.00 1.00 2.00 2.00 1.00 (confidence rate) |
???????????????? ------?--------- --:-- / 0
|
FFTTTT?TTTTTTTFT TTTTTT?TTTTTTTTT --:-- / 28
|
F??TT??TT?TT?TF? T--TT-?TT-TT-TT- --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 17 FTTFFTFTTTTTTFFF (expected value) 3.00 3.00 2.00 1.00 2.00 2.00 1.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 1.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTFFTFTTTTTTFFF TTTTTTTTTTTTTTTT --:PM / 32
|
FT??FT?TTT??TF?F TT--TT-TTT--TT-T --:-- / 20
|
CC 0 |
CC 0 |
FTT????????????? TTT------------- --:-- / 4
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 18 FTFTFTTFT? FTTT? F (expected value) 2.00 2.00 1.00 2.00 1.00 1.00 1.00 1.00 1.00 0 1.00 1.00 1.00 1.00 0 1.00 (confidence rate) |
???????????????? ---------?----?- --:-- / 0
|
FTFTFTTFT?FTTT?F TTTTTTTTT?TTTT?T --:-- / 28
|
?T?T???????????? -T-T-----?----?- --:-- / 4
|
CC 0 |
CC 0 |
F??????????????? T--------?----?- --:-- / 0
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 19 FTTTTFFFFFFTFFTT (expected value) 1.00 1.00 2.00 1.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 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTTTTFFFFFFTFFTT TTTTTTTTTTTTTTTT --:PM / 32
|
??T???FFFFF?F?TT --T---TTTTT-T-TT --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 20 TTTFFTTTFTFTFTTT (expected value) 2.00 1.00 2.00 1.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
|
TTTFFTTTFTFTFTTT TTTTTTTTTTTTTTTT --:PM / 32
|
T?T?FTTTFTFTFTTT T-T-TTTTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 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 | 140 | 408 | 376 | 0 | 0 | 204 | 204 | 0 | 0 | 0 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 4 | 1 | 0 | 0 | 0 |
| Camel | 3 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| 2a FTTTTFTTTFFTTFFT (expected value) 4.00 4.00 4.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 4.00 4.00 3.00 3.00 5.00 5.00 (confidence rate) |
FTTTTFTTTFFTTFFT TTTTTTTTTTTTTTTT --:-M / 40
|
F?TTT?TTTFFT??FT T-TTT-TTTTTT--TT --:-- / 28
|
?T?TTFTTTF????FT -T-TTTTTTT----TT --:-- / 24
|
CC 0 |
CC 0 |
FTTTTFTTTFFTTFFT TTTTTTTTTTTTTTTT --:P- / 40
|
FTTTTFTTTFFTTFFT TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 2b TTTFTTFFTTTTTTFT (expected value) 2.00 1.00 1.00 1.00 1.00 1.00 2.00 1.00 1.00 1.00 2.00 2.00 1.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTF?TF?TTTTTTFT TTTT-TT-TTTTTTTT --:-- / 36
|
T???T?FF??TT??FT T---T-TT--TT--TT --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 3a TFFTTTTTTFTTTFFT (expected value) 4.00 4.00 5.00 4.00 5.00 4.00 4.00 5.00 5.00 5.00 5.00 4.00 4.00 4.00 4.00 3.00 (confidence rate) |
TFFTTTTTTFTTTFFT TTTTTTTTTTTTTTTT --:-M / 40
|
?FFTT?TTTFTTTFF? -TTTT-TTTTTTTTT- --:-- / 32
|
T?F?TT?TTFT????? T-T-TT-TTTT----- --:-- / 20
|
CC 0 |
CC 0 |
TFFTTTTTTFTTTFFT TTTTTTTTTTTTTTTT --:P- / 40
|
TFFTTTTTTFTTTFFT TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 3b FTTTTTTTTFTT? TFF (expected value) 1.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 0 1.00 1.00 2.00 (confidence rate) |
???????????????? ------------?--- --:-- / 0
|
?TTTTT?TTFTT??FF -TTTTT-TTTTT?-TT --:-- / 28
|
FTTTTTTTTFTT?T?F TTTTTTTTTTTT?T-T --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 4a TFTFFTTFTFTTTTFT (expected value) 3.00 4.00 4.00 4.00 2.00 5.00 4.00 3.00 5.00 4.00 4.00 4.00 5.00 5.00 5.00 5.00 (confidence rate) |
?????T??TFT?TTFT -----T--TTT-TTTT --:-- / 20
|
TFTF?TTFTFTTTTFT TTTT-TTTTTTTTTTT --:-- / 36
|
?FTF?TT?T??TTTFT -TTT-TT-T--TTTTT --:-- / 28
|
CC 0 |
CC 0 |
TFTFFTTFTFTTTTFT TTTTTTTTTTTTTTTT --:PM / 40
|
TFTFFTTFTFTTTTFT TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 4b FTFTFT? TT? TTTFFF (expected value) 2.00 2.00 2.00 2.00 2.00 1.00 0 2.00 1.00 0 1.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ------?--?------ --:-- / 0
|
FTFTFT?TT??TTFFF TTTTTT?TT?-TTTTT --:-- / 32
|
FTFTF??T??TTTFFF TTTTT-?T-?TTTTTT --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 5a TFFTTTFFFTTFFFTT (expected value) 4.00 3.00 4.00 4.00 4.00 3.00 4.00 2.00 4.00 4.00 4.00 4.00 3.00 4.00 3.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
T?FTT?F?FTTFFFTT T-TTT-T-TTTTTTTT --:-- / 32
|
TFFTTTF?FTTF?F?T TTTTTTT-TTTT-T-T --:-- / 32
|
CC 0 |
CC 0 |
TFFTTTFFFTTFFFTT TTTTTTTTTTTTTTTT --:-- / 40
|
TFFTTTFFFTTFFFTT TTTTTTTTTTTTTTTT --:PM / 40
|
CC 0 |
CC 0 |
CC 0 |
| 5b F? FTFTFFFFFFFFFF (expected value) 2.00 0 2.00 1.00 2.00 2.00 2.00 1.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? -?-------------- --:-- / 0
|
F?F?FTF?FF?FFFFF T?T-TTT-TT-TTTTT --:-- / 28
|
F?FTFTFFFFFFFFFF T?TTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 6a FFFFTFFTFTTTFFTF (expected value) 5.00 5.00 5.00 5.00 5.00 3.00 3.00 4.00 5.00 4.00 5.00 5.00 4.00 5.00 4.00 5.00 (confidence rate) |
FFFFTFFTFTTTFFTF TTTTTTTTTTTTTTTT --:-M / 40
|
FFFFT??TF?TT?FTF TTTTT--TT-TT-TTT --:-- / 28
|
FFFFT???FTTTFF?F TTTTT---TTTTTT-T --:-- / 28
|
CC 0 |
CC 0 |
FFFFTFFTFTTTFFTF TTTTTTTTTTTTTTTT --:P- / 40
|
FFFFTFFTFTTTFFTF TTTTTTTTTTTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
| 6b TTFFFTFFFTTT? TFT (expected value) 2.00 2.00 2.00 1.00 2.00 2.00 1.00 1.00 2.00 2.00 2.00 2.00 0 2.00 2.00 1.00 (confidence rate) |
???????????????? ------------?--- --:-- / 0
|
TTFFFTF?FTTT?TFT TTTTTTT-TTTT?TTT --:-- / 36
|
TTF?FT?FFTTT?TF? TTT-TT-TTTTT?TT- --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 7a TTTFF? TTTFTFTTFF (expected value) 2.00 4.00 1.00 2.00 2.00 0 2.00 2.00 2.00 1.00 2.00 1.00 2.00 2.00 1.00 1.00 (confidence rate) |
???????????????? -----?---------- --:-- / 0
|
?TTFF?TTTFTFTTF? -TTTT?TTTTTTTTT- --:-- / 32
|
?T?FF?TTT?T?TT?F -T-TT?TTT-T-TT-T --:-- / 24
|
CC 0 |
CC 0 |
TT?????????????? TT---?---------- --:-- / 4
|
TT?????????????? TT---?---------- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
| 7b ? T? ? ? T? TTFTTTT? ? (expected value) 0 1.00 0 0 0 1.00 0 1.00 2.00 2.00 2.00 2.00 1.00 2.00 0 0 (confidence rate) |
???????????????? ?-???-?-------?? --:-- / 0
|
????????TFTT?T?? ?-???-?-TTTT-T?? --:-- / 12
|
?T???T?TTFTTTT?? ?T???T?TTTTTTT?? --:-- / 24
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 8a FTTF? TTTF? FFT? F? (expected value) 1.00 1.00 1.00 2.00 0 2.00 2.00 2.00 2.00 0 2.00 2.00 2.00 0 2.00 0 (confidence rate) |
???????????????? ----?----?---?-? --:-- / 0
|
FT?F?TTTF?FFT?F? TT-T?TTTT?TTT?T? --:-- / 28
|
??TF?TTTF?FFT?F? --TT?TTTT?TTT?T? --:-- / 24
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 8b F? F? ? TFT? TFTTFFF (expected value) 2.00 0 1.00 0 0 1.00 2.00 2.00 0 1.00 2.00 2.00 2.00 1.00 1.00 1.00 (confidence rate) |
???????????????? -?-??---?------- --:-- / 0
|
F?????FT?TFTT?F? T?-??-TT?TTTT-T- --:-- / 20
|
F?F??TFT??FTTF?F T?T??TTT?-TTTT-T --:-- / 24
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 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 | 404 | 560 | 412 | 0 | 0 | 608 | 580 | 640 | 0 | 0 |
| Road Runner | 0 | 3 | 0 | 0 | 0 | 4 | 6 | 7 | 0 | 0 |
| Camel | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 17 | 0 | 0 |
| 06a TFTFFFFTFFTTTFTF (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) |
TFTFFFFTFFTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFFFFTFFTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFFFFTFFTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
TFTFFFFTFFTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTFFFFTFFTTTFTF TTTTTTTTTTTTTTTT --:P- / 32
|
TFTFFFFTFFTTTFTF TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 06b FTFFTTFFTFFTTTFT (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) |
FTFFTTFFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFTTFFTFFTTTFT TTTTTTTTTTTTTTTT --:PM / 32
|
FTFFTTFFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
FTFFTTFFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFTTFFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFTTFFTFFTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 07a TFTTTTFTFFFFFTFF (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 4.00 5.00 5.00 5.00 (confidence rate) |
TFTTTTFTFFFFFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTTFTFFFF?TFF TTTTTTTTTTTT-TTT --:-- / 28
|
DNF 0 |
CC 0 |
CC 0 |
TFTTTTFTFFFFFTFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTTFTFFFFFTFF TTTTTTTTTTTTTTTT --:P- / 32
|
TFTTTTFTFFFFFTFF TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 07b TFTTTFFFTFTTTFTF (expected value) 4.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 4.00 6.00 6.00 5.00 6.00 (confidence rate) |
TFTTTFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
?FTTTFFFTFT?TFTF -TTTTTTTTTT-TTTT --:-- / 28
|
?FTTTFF?TFT?TF?F -TTTTTT-TTT-TT-T --:-- / 24
|
CC 0 |
CC 0 |
TFTTTFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTFFFTFTTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTFFFTFTTTFTF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
| 08a FTTTTTFTTFFFFTFT (expected value) 6.00 6.00 6.00 5.00 6.00 5.00 4.00 6.00 6.00 4.00 6.00 6.00 6.00 6.00 6.00 5.00 (confidence rate) |
FTTTTTFTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTT??TT?FFFTF? TTTTT--TT-TTTTT- --:-- / 24
|
FTT?TT?TT?FFFTFT TTT-TT-TT-TTTTTT --:-- / 24
|
CC 0 |
CC 0 |
FTTTTTFTTFFFFTFT TTTTTTTTTTTTTTTT --:P- / 32
|
FTTTTTFTTFFFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTTTTFTTFFFFTFT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 08b FTTFFFFTFTTFTTFT (expected value) 5.00 5.00 5.00 6.00 4.00 5.00 4.00 5.00 5.00 4.00 3.00 4.00 4.00 4.00 5.00 5.00 (confidence rate) |
FTTF?F?TF?????FT TTTT-T-TT-----TT --:-- / 16
|
FTTFFFFTFT?FTTFT TTTTTTTTTT-TTTTT --:-- / 28
|
???F???????????? ---T------------ --:-- / 0
|
CC 0 |
CC 0 |
FTTFFFFTFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTFFFFTFTTFTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTTFFFFTFTTFTTFT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
| 09a FTFTTTTFTTTTTTFT (expected value) 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 4.00 6.00 6.00 6.00 6.00 5.00 6.00 5.00 (confidence rate) |
FTFTTTTFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTTTF?TTTT?FT TTTTTTTT-TTTT-TT --:-- / 28
|
FTF?TTTF?TTTTTF? TTT-TTTT-TTTTTT- --:-- / 24
|
CC 0 |
CC 0 |
FTFTTTTFTTTTTTFT TTTTTTTTTTTTTTTT --:P- / 32
|
FTFTTTTFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTTTFTTTTTTFT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 09b TTTTFFTFTFTFFTFT (expected value) 5.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 4.00 4.00 3.00 (confidence rate) |
??TT???????????? --TT------------ --:-- / 4
|
TTTTFFTFTFTFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
T?TTFFTFTFTFFTF? T-TTTTTTTTTTTTT- --:-- / 28
|
CC 0 |
CC 0 |
TTTTFFTFTFTFFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TT?????????????? TT-------------- --:-- / 4
|
TTTTFFTFTFTFFTFT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
| 10a TFTTTFFTFTTTFFFF (expected value) 6.00 6.00 6.00 5.00 6.00 5.00 6.00 5.00 6.00 4.00 6.00 6.00 4.00 5.00 6.00 5.00 (confidence rate) |
TFTTTFFTFTTTFFFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTT?FTF?TT??FF TTTTT-TTT-TT--TT --:-- / 24
|
TFT?TFF?F?TT?FF? TTT-TTT-T-TT-TT- --:-- / 20
|
CC 0 |
CC 0 |
TFTTTFFTFTTTFFFF TTTTTTTTTTTTTTTT --:-- / 32
|
TFTTTFFTFTTTFFFF TTTTTTTTTTTTTTTT --:P- / 32
|
TFTTTFFTFTTTFFFF TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 10b FFTTTTTFFTFFTFFT (expected value) 5.00 4.00 4.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 4.00 5.00 5.00 4.00 5.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTTTTTFFTFFTFFT TTTTTTTTTTTTTTTT --:PM / 32
|
F??TTTTFFTF?TF?T T--TTTTTTTT-TT-T --:-- / 24
|
CC 0 |
CC 0 |
FFTTTTTFFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FFTTTTTFFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FFTTTTTFFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 11a TTFTFTFFTTTTTTFT (expected value) 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 6.00 4.00 5.00 (confidence rate) |
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TT?TFTFFTTTTTT?T TT-TTTTTTTTTTT-T --:-- / 28
|
?TFTFTFFTTTTTT?? -TTTTTTTTTTTTT-- --:-- / 24
|
CC 0 |
CC 0 |
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 32
|
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:P- / 32
|
TTFTFTFFTTTTTTFT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 11b FTFFFFFFTFFTTFTF (expected value) 5.00 5.00 4.00 5.00 4.00 3.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFF??FFTFFTTFTF TTTT--TTTTTTTTTT --:-- / 28
|
FT?FF?FFTFFTTFTF TT-TT-TTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
FTFFFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFFFFFFTFFTTFTF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
| 12a TFFTFTTTTTTFTTTT (expected value) 6.00 6.00 4.00 6.00 6.00 6.00 6.00 5.00 6.00 5.00 6.00 6.00 4.00 6.00 6.00 6.00 (confidence rate) |
TFFTFTTTTTTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TF?TFTTTT?TF?TTT TT-TTTTTT-TT-TTT --:-- / 24
|
TF?TFTT?TTTF?TTT TT-TTTT-TTTT-TTT --:-- / 24
|
CC 0 |
CC 0 |
TFFTFTTTTTTFTTTT TTTTTTTTTTTTTTTT --:P- / 32
|
TFFTFTTTTTTFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
TFFTFTTTTTTFTTTT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 12b FFFFFFFFTTFFTTTT (expected value) 5.00 4.00 4.00 4.00 4.00 5.00 4.00 4.00 5.00 4.00 5.00 4.00 4.00 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFFFFFFFTTFFTTTT TTTTTTTTTTTTTTTT --:PM / 32
|
F????F??T?F????? T----T--T-T----- --:-- / 8
|
CC 0 |
CC 0 |
FFFFFFFFTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
FFFFFFFFTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
FFFFFFFFTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 32
|
CC 0 |
CC 0 |
| 13a FFTTFFTTTTTTFFFT (expected value) 6.00 6.00 4.00 5.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 5.00 4.00 6.00 (confidence rate) |
FFTTFFTTTTTTFFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FF?TFFTTTTTTFF?T TT-TTTTTTTTTTT-T --:-- / 28
|
FF??FFTT?TTTF??T TT--TTTT-TTTT--T --:-- / 20
|
CC 0 |
CC 0 |
FFTTFFTTTTTTFFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FFTTFFTTTTTTFFFT TTTTTTTTTTTTTTTT --:P- / 32
|
FFTTFFTTTTTTFFFT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 13b TTTFFTTFTTFFTTTF (expected value) 5.00 5.00 3.00 5.00 5.00 3.00 3.00 5.00 5.00 5.00 5.00 3.00 4.00 4.00 5.00 5.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TT?FF??FTTF?TTTF TT-TT--TTTT-TTTT --:-- / 24
|
TT?FF??FTTF???TF TT-TT--TTTT---TT --:-- / 20
|
CC 0 |
CC 0 |
TTTFFTTFTTFFTTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFFTTFTTFFTTTF TTTTTTTTTTTTTTTT --:-- / 32
|
TTTFFTTFTTFFTTTF TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
| 14a FTFTFTTTFFTFTTFF (expected value) 5.00 5.00 6.00 6.00 4.00 5.00 5.00 5.00 5.00 4.00 4.00 5.00 5.00 5.00 4.00 5.00 (confidence rate) |
FTFTFTTTFFTFTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFT?TTTF??FTT?F TTTT-TTTT--TTT-T --:-- / 24
|
??FT???????????? --TT------------ --:-- / 4
|
CC 0 |
CC 0 |
FTFTFTTTFFTFTTFF TTTTTTTTTTTTTTTT --:P- / 32
|
FTFTFTTTFFTFTTFF TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTFTTTFFTFTTFF TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 14b FTFTTFTFFTTTFTFT (expected value) 4.00 5.00 5.00 5.00 5.00 4.00 4.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFTTF?FFT?TFTFT TTTTTT-TTT-TTTTT --:-- / 28
|
?TFTT?TFFTTTFTFT -TTTT-TTTTTTTTTT --:-- / 28
|
CC 0 |
CC 0 |
FTFTTFTFFTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTFTFFTTTFTFT TTTTTTTTTTTTTTTT --:-- / 32
|
FTFTTFTFFTTTFTFT TTTTTTTTTTTTTTTT --:PM / 32
|
CC 0 |
CC 0 |
| 15a FFFTTTTFFTTFTFFT (expected value) 4.00 5.00 6.00 5.00 6.00 6.00 6.00 5.00 6.00 6.00 5.00 6.00 5.00 6.00 6.00 6.00 (confidence rate) |
FFFTTTTFFTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
?FF?TTTFFTTFTFFT -TT-TTTTTTTTTTTT --:-- / 28
|
??FTTTT?FT?F?FFT --TTTTT-TT-T-TTT --:-- / 20
|
CC 0 |
CC 0 |
FFFTTTTFFTTFTFFT TTTTTTTTTTTTTTTT --:-- / 32
|
FFFTTTTFFTTFTFFT TTTTTTTTTTTTTTTT --:P- / 32
|
FFFTTTTFFTTFTFFT TTTTTTTTTTTTTTTT --:-M / 32
|
CC 0 |
CC 0 |
| 15b TFTTFFTTFFTTTFFT (expected value) 2.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 1 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTTFFTTFFTTTF?T TTTTTTTTTTTTTT-T --:-- / 28
|
?FTTFFTTFFTTTF?T -TTTTTTTTTTTTT-T --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
TFTTFFTTFFTTTFFT TTTTTTTTTTTTTTTT --:PM / 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 | 120 | 416 | 372 | 0 | 0 | 180 | 180 | 120 | 0 | 0 |
| Road Runner | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| Camel | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 001 FFFTFTTTFTTFTFFF (expected value) 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 6.00 (confidence rate) |
FFFTFTTTFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFTTTFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFT?TTTFTTFTFFF TTTT-TTTTTTTTTTT --:-- / 56
|
CC 0 |
CC 0 |
FFFTFTTTFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFTTTFTTFTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFTTTFTTFTFFF TTTTTTTTTTTTTTTT --:PM / 60
|
CC 0 |
CC 0 |
| 002 TTTTTTFFFFFFFFFF (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) |
TTTTTTFFFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
TTTTTTFFFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
TTTTTTFFFFFFFFFF TTTTTTTTTTTTTTTT --:PM / 60
|
CC 0 |
CC 0 |
TTTTTTFFFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
TTTTTTFFFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
TTTTTTFFFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
| 003 FFFTFTTTTFTTTFFF (expected value) 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 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFFTFTTTTFTTTFFF TTTTTTTTTTTTTTTT --:PM / 60
|
FFFTFTTTTFT?TFFF TTTTTTTTTTT-TTTT --:-- / 56
|
CC 0 |
CC 0 |
FFFTFTTTTFTTTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFTFTTTTFTTTFFF TTTTTTTTTTTTTTTT --:-- / 60
|
DNF 0 |
CC 0 |
CC 0 |
| 004 FFFTTFFTFT? FFFTF (expected value) 2.00 2.00 2.00 2.00 1.00 2.00 2.00 1.00 2.00 2.00 0 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ----------?----- --:-- / 0
|
FFFTTFFTFT?FFFTF TTTTTTTTTT?TTTTT --:-- / 56
|
FFFT?FF?FT?FFFTF TTTT-TT-TT?TTTTT --:-- / 48
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 010 ? TFF? T? F? FF? FFFF (expected value) 0 2.00 2.00 2.00 0 2.00 0 2.00 0 2.00 2.00 0 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ?---?-?-?--?---- --:-- / 0
|
?TFF?T?F?FF?FFFF ?TTT?T?T?TT?TTTT --:-- / 40
|
?TFF?T?F?FF?FFFF ?TTT?T?T?TT?TTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 020 ? ? TFFT? FFT? TFFT? (expected value) 0 0 2.00 1.00 2.00 2.00 0 1.00 2.00 2.00 0 2.00 2.00 2.00 2.00 0 (confidence rate) |
???????????????? ??----?---?----? --:-- / 0
|
??TFFT?FFT?TFFT? ??TTTT?TTT?TTTT? --:-- / 40
|
??T?FT??FT?TFFT? ??T-TT?-TT?TTTT? --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 100 F? TFT? F? FFFFFFFT (expected value) 2.00 0 2.00 1.00 2.00 0 1.00 0 1.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? -?---?-?-------- --:-- / 0
|
F?TFT?F?FF?FFFFT T?TTT?T?TT-TTTTT --:-- / 44
|
F?T?T????FFFFFFT T?T-T?-?-TTTTTTT --:-- / 40
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 200 ? FFFFTFFFFFFTFFF (expected value) 0 2.00 2.00 1.00 1.00 1.00 2.00 2.00 2.00 2.00 2.00 1.00 1.00 2.00 1.00 2.00 (confidence rate) |
???????????????? ?--------------- --:-- / 0
|
?FFFFTFFFFFFTFFF ?TTTTTTTTTTTTTTT --:-- / 56
|
?FF???FFFFF??F?F ?TT---TTTTT--T-T --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
CC 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 | 424 | 424 | 368 | 0 | 0 | 264 | 256 | 288 | 0 | 0 |
| Road Runner | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| Camel | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 02010 FTTFFTFFFTFFFFTT (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) |
FTTFFTFFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFTFFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFTFFFTFFFFTT TTTTTTTTTTTTTTTT --:PM / 144
|
CC 0 |
CC 0 |
FTTFFTFFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFTFFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 144
|
FTTFFTFFFTFFFFTT TTTTTTTTTTTTTTTT --:-- / 144
|
CC 0 |
CC 0 |
| 10420 TTTFFFFFFTFTFFTF (expected value) 6.00 6.00 5.00 4.00 4.00 4.00 4.00 4.00 3.00 3.00 4.00 4.00 4.00 3.00 4.00 4.00 (confidence rate) |
TTTFFFFFFTFTFFTF TTTTTTTTTTTTTTTT --:-- / 144
|
TTTFFFFFFTFTFFTF TTTTTTTTTTTTTTTT --:-- / 144
|
TTTFFFFF??FTF?TF TTTTTTTT--TTT-TT --:-- / 116
|
CC 0 |
CC 0 |
TTT????????????? TTT------------- --:-- / 28
|
TT?????????????? TT-------------- --:-- / 20
|
TTTFFFFFFTFTFFTF TTTTTTTTTTTTTTTT --:PM / 144
|
CC 0 |
CC 0 |
| 10421 TTFTFFFFFFTFFFFF (expected value) 5.00 2.00 5.00 5.00 4.00 4.00 5.00 5.00 5.00 4.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
T?FTFFFFFFTFFFFF T-TTTTTTTTTTTTTT --:-- / 136
|
T?FTFFFFFFTFFFFF T-TTTTTTTTTTTTTT --:-- / 136
|
T?FT??FFF?TFFFFF T-TT--TTT-TTTTTT --:-- / 108
|
CC 0 |
CC 0 |
TTFTFFFFFF?????? TTTTTTTTTT------ --:-- / 92
|
TTFTFFFFFF?????? TTTTTTTTTT------ --:-- / 92
|
DNF 0 |
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 | 332 | 384 | 0 | 0 | 0 | 24 | 0 | 0 | 0 |
| Road Runner | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| none FTTFFFFTTTFTTFFF (expected value) 4.00 3.00 3.00 1.00 3.00 2.00 3.00 3.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
FTTFFFFTTTFTTFFF TTTTTTTTTTTTTTTT --:PM / 408
|
FTT?F?FTT?FTTFFF TTT-T-TTT-TTTTTT --:-- / 332
|
FTT?FFFTTTFTTFFF TTT-TTTTTTTTTTTT --:-- / 384
|
CC 0 |
CC 0 |
CC 0 |
F??????????????? T--------------- --:-- / 24
|
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 | 368 | 212 | 0 | 0 | 224 | 224 | 424 | 0 | 0 |
| Road Runner | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| Camel | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 |
| 5310 FTTFTFFTFFFFFTTT (expected value) 5.00 3.00 3.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 3.00 2.00 3.00 2.00 (confidence rate) |
FTTFTFFTFFFFFTTT TTTTTTTTTTTTTTTT --:P- / 212
|
FTTF?FFTFF?FF?T? TTTT-TTTTT-TT-T- --:-- / 156
|
DNF 0 |
CC 0 |
CC 0 |
F??????????????? T--------------- --:-- / 12
|
F??????????????? T--------------- --:-- / 12
|
FTTFTFFTFFFFFTTT TTTTTTTTTTTTTTTT --:-M / 212
|
CC 0 |
CC 0 |
| 5320 TFTFFFTTFTTTFTTF (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) |
TFTFFFTTFTTTFTTF TTTTTTTTTTTTTTTT --:-- / 212
|
TFTFFFTTFTTTFTTF TTTTTTTTTTTTTTTT --:-- / 212
|
TFTFFFTTFTTTFTTF TTTTTTTTTTTTTTTT --:-- / 212
|
CC 0 |
CC 0 |
TFTFFFTTFTTTFTTF TTTTTTTTTTTTTTTT --:P- / 212
|
TFTFFFTTFTTTFTTF TTTTTTTTTTTTTTTT --:-- / 212
|
TFTFFFTTFTTTFTTF TTTTTTTTTTTTTTTT --:-M / 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 | 120 | 340 | 312 | 0 | 0 | 120 | 120 | 120 | 0 | 0 |
| Road Runner | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 05 TFTTTTFTTTFFTTTT (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) |
TFTTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 60
|
TFTTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 60
|
TFTTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:P- / 60
|
CC 0 |
CC 0 |
TFTTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 60
|
TFTTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 60
|
TFTTTTFTTTFFTTTT TTTTTTTTTTTTTTTT --:-M / 60
|
CC 0 |
CC 0 |
| 08 FTTFFFFTFTTFFFFF (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) |
FTTFFFFTFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FTTFFFFTFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FTTFFFFTFTTFFFFF TTTTTTTTTTTTTTTT --:PM / 60
|
CC 0 |
CC 0 |
FTTFFFFTFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FTTFFFFTFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
FTTFFFFTFTTFFFFF TTTTTTTTTTTTTTTT --:-- / 60
|
CC 0 |
CC 0 |
| 10 FFFFFTFTFFFFFTFF (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
|
FFFFFTFTFFFFFTFF TTTTTTTTTTTTTTTT --:-- / 60
|
FFFFFTFTFFFFFTFF TTTTTTTTTTTTTTTT --:PM / 60
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 12 TFFFTF? FFFFFT? FT (expected value) 1.00 1.00 2.00 2.00 1.00 2.00 0 2.00 2.00 2.00 2.00 2.00 2.00 0 2.00 2.00 (confidence rate) |
???????????????? ------?------?-- --:-- / 0
|
?FFFTF?FFFFFT?FT -TTTTT?TTTTTT?TT --:-- / 48
|
T?FF?F?FFFFFT?FT T-TT-T?TTTTTT?TT --:-- / 44
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 15 ? ? ? ? ? F? T? T? F? TT? (expected value) 0 0 0 0 0 2.00 0 2.00 0 2.00 0 1.00 0 2.00 2.00 0 (confidence rate) |
???????????????? ?????-?-?-?-?--? --:-- / 0
|
?????F?T?T?F?TT? ?????T?T?T?T?TT? --:-- / 24
|
?????F?T?T???TT? ?????T?T?T?-?TT? --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 20 FFTF? TF? ? F? ? ? ? T? (expected value) 2.00 2.00 2.00 2.00 0 2.00 2.00 0 0 2.00 0 0 0 0 2.00 0 (confidence rate) |
???????????????? ----?--??-????-? --:-- / 0
|
FFTF?TF??F????T? TTTT?TT??T????T? --:-- / 32
|
FFTF?TF??F????T? TTTT?TT??T????T? --:-- / 32
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 25 FT? TT? ? ? FTT? ? ? ? ? (expected value) 1.00 2.00 0 2.00 1.00 0 0 0 1.00 1.00 1.00 0 0 0 0 0 (confidence rate) |
???????????????? --?--???---????? --:-- / 0
|
FT?TT???FTT????? TT?TT???TTT????? --:-- / 28
|
?T?T???????????? -T?T-???---????? --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 30 ? ? TT? FT? TFF? ? ? ? ? (expected value) 0 0 2.00 2.00 0 2.00 2.00 0 2.00 2.00 2.00 0 0 0 0 0 (confidence rate) |
???????????????? ??--?--?---????? --:-- / 0
|
??TT?FT?TFF????? ??TT?TT?TTT????? --:-- / 28
|
??TT?FT?TFF????? ??TT?TT?TTT????? --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
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 | 436 | 220 | 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 TFFFFTTF? TTFTFTF (expected value) 2.00 2.00 2.00 1.00 2.00 1.00 1.00 2.00 0 2.00 1.00 1.00 1.00 2.00 2.00 1.00 (confidence rate) |
???????????????? --------?------- --:-- / 0
|
TFFFFTTF?TTFTFTF TTTTTTTT?TTTTTTT --:-- / 52
|
TFF?F??F?T???FT? TTT-T--T?T---TT- --:-- / 28
|
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 2 TFTTTTTFFT? TFFTF (expected value) 1.00 2.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 0 1.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ----------?----- --:-- / 0
|
TFTTT?TFFT?TFFTF TTTTT-TTTT?TTTTT --:-- / 48
|
?F???T?????????? -T---T----?----- --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 3 TFTFFF? TTFFTFTFF (expected value) 2.00 2.00 1.00 1.00 1.00 2.00 0 2.00 2.00 1.00 2.00 2.00 1.00 2.00 2.00 1.00 (confidence rate) |
???????????????? ------?--------- --:-- / 0
|
TFTFFF?TTFFTFTFF TTTTTT?TTTTTTTTT --:-- / 52
|
TF???F?TT?FT?TF? TT---T?TT-TT-TT- --:-- / 32
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 4 FF? TTFFTT? TFF? FF (expected value) 1.00 1.00 0 1.00 1.00 2.00 1.00 1.00 1.00 0 1.00 1.00 1.00 0 1.00 1.00 (confidence rate) |
???????????????? --?------?---?-- --:-- / 0
|
FF?TTFFTT?TFF?FF TT?TTTTTT?TTT?TT --:-- / 44
|
?????F?????????? --?--T---?---?-- --:-- / 4
|
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 5 FFFT? FFFFTFT? FFF (expected value) 1.00 2.00 2.00 2.00 0 2.00 1.00 2.00 2.00 2.00 2.00 1.00 0 1.00 1.00 2.00 (confidence rate) |
???????????????? ----?-------?--- --:-- / 0
|
FFFT?FFFFTFT?F?F TTTT?TTTTTTT?T-T --:-- / 44
|
?FFT?F?FFTF???FF -TTT?T-TTTT-?-TT --:-- / 36
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 6 TTTTTTTTFTF? FF? T (expected value) 2.00 1.00 2.00 2.00 1.00 2.00 2.00 1.00 1.00 1.00 2.00 0 2.00 1.00 0 2.00 (confidence rate) |
???????????????? -----------?--?- --:-- / 0
|
TTTTTTTT?TF?FF?T TTTTTTTT-TT?TT?T --:-- / 44
|
T?TT?TT?F?F?F??T T-TT-TT-T-T?T-?T --:-- / 32
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 7 ? TFFTFFFTFTTFFTT (expected value) 0 1.00 2.00 2.00 1.00 1.00 2.00 1.00 2.00 1.00 1.00 1.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ?--------------- --:-- / 0
|
?TFFTFFFTFTTFFTT ?TTTTTTTTTTTTTTT --:-- / 52
|
??FF??F?T???FFTT ?-TT--T-T---TTTT --:-- / 28
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| 8 FTFFTTTFFF? FFFTF (expected value) 1.00 1.00 1.00 2.00 1.00 2.00 1.00 1.00 1.00 1.00 0 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ----------?----- --:-- / 0
|
FTFFTTTF?F?FFFTF TTTTTTTT-T?TTTTT --:-- / 48
|
???F?T??F??FF?TF ---T-T--T-?TT-TT --:-- / 24
|
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 9 FFFT? FFFFFTTTFFT (expected value) 1.00 2.00 1.00 1.00 0 1.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 2.00 1.00 2.00 (confidence rate) |
???????????????? ----?----------- --:-- / 0
|
FFFT?FFFFFTTTFFT TTTT?TTTTTTTTTTT --:-- / 52
|
?F????FFF??TTF?T -T--?-TTT--TTT-T --:-- / 28
|
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
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 | 276 | 244 | 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 TFTFTFTFFFTFF? FT (expected value) 1.00 2.00 1.00 2.00 2.00 1.00 1.00 2.00 1.00 2.00 1.00 2.00 2.00 0 1.00 1.00 (confidence rate) |
???????????????? -------------?-- --:-- / 0
|
TFTFTFTFFFTFF?FT TTTTTTTTTTTTT?TT --:-- / 52
|
?F?FT??F?F?FF??? -T-TT--T-T-TT?-- --:-- / 24
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 2 ? ? TTFF? TF? FFT? ? ? (expected value) 0 0 2.00 2.00 2.00 2.00 0 2.00 2.00 0 2.00 1.00 1.00 0 0 0 (confidence rate) |
???????????????? ??----?--?---??? --:-- / 0
|
??TTFF?TF?F?T??? ??TTTT?TT?T-T??? --:-- / 28
|
??TTFF?TF?FF???? ??TTTT?TT?TT-??? --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 3 FFFFTTF? F? F? ? ? ? T (expected value) 1.00 1.00 1.00 2.00 1.00 2.00 1.00 0 2.00 0 2.00 0 0 0 0 2.00 (confidence rate) |
???????????????? -------?-?-????- --:-- / 0
|
???F?T??F?F????T ---T-T-?T?T????T --:-- / 16
|
FFFFTTF?F?F????T TTTTTTT?T?T????T --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 4 ? TFFTFTFFFTF? ? TT (expected value) 0 1.00 2.00 1.00 1.00 1.00 2.00 1.00 1.00 1.00 1.00 2.00 0 0 2.00 2.00 (confidence rate) |
???????????????? ?-----------??-- --:-- / 0
|
?TF?TFTFFFTF??TT ?TT-TTTTTTTT??TT --:-- / 40
|
??FF??T????F??TT ?-TT--T----T??TT --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 5 ? T? ? ? FF? FF? ? TT? F (expected value) 0 2.00 0 0 0 2.00 1.00 0 2.00 2.00 0 0 2.00 1.00 0 2.00 (confidence rate) |
???????????????? ?-???--?--??--?- --:-- / 0
|
?T???F??FF??T??F ?T???T-?TT??T-?T --:-- / 20
|
?T???FF?FF??TT?F ?T???TT?TT??TT?T --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 6 ? FFFTFFTTT? FTFF? (expected value) 0 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 1.00 0 2.00 2.00 1.00 2.00 0 (confidence rate) |
???????????????? ?---------?----? --:-- / 0
|
?FFFTFFTT??FTFF? ?TTTTTTTT-?TTTT? --:-- / 40
|
?FFFTF?TTT?FT?F? ?TTTTT-TTT?TT-T? --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 7 FTF? TFFTFFF? ? F? ? (expected value) 1.00 2.00 2.00 0 1.00 2.00 1.00 1.00 2.00 2.00 2.00 0 0 1.00 0 0 (confidence rate) |
???????????????? ---?-------??-?? --:-- / 0
|
FTF?TFFTFFF????? TTT?TTTTTTT??-?? --:-- / 36
|
?TF??F??FFF??F?? -TT?-T--TTT??T?? --:-- / 24
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 8 F? ? ? ? ? ? FF? T? ? ? TT (expected value) 1.00 0 0 0 0 0 0 2.00 1.00 0 1.00 0 0 0 2.00 1.00 (confidence rate) |
???????????????? -??????--?-???-- --:-- / 0
|
???????F??????T? -??????T-?-???T- --:-- / 8
|
F??????FF?T???TT T??????TT?T???TT --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 9 ? FF? F? FFF? FF? F? F (expected value) 0 2.00 2.00 0 1.00 0 2.00 2.00 2.00 0 2.00 2.00 0 2.00 0 1.00 (confidence rate) |
???????????????? ?--?-?---?--?-?- --:-- / 0
|
?FF?F?FFF?FF?F?F ?TT?T?TTT?TT?T?T --:-- / 36
|
?FF???FFF?FF?F?? ?TT?-?TTT?TT?T?- --:-- / 28
|
CC 0 |
CC 0 |
CC 0 |
CC 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 | 276 | 100 | 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 ? ? ? FFFF? ? FFFFT? T (expected value) 0 0 0 1.00 1.00 2.00 1.00 0 0 1.00 2.00 2.00 1.00 1.00 0 1.00 (confidence rate) |
???????????????? ???----??-----?- --:-- / 0
|
???FFFF??FFFFT?T ???TTTT??TTTTT?T --:-- / 36
|
?????F????FF???? ???--T-??-TT--?- --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 2 ? FFT? ? F? ? F? ? ? F? F (expected value) 0 2.00 2.00 1.00 0 0 1.00 0 0 1.00 0 0 0 1.00 0 2.00 (confidence rate) |
???????????????? ?---??-??-???-?- --:-- / 0
|
?FF???F??F???F?F ?TT-??T??T???T?T --:-- / 20
|
?FFT???????????F ?TTT??-??-???-?T --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 3 TFTTFF? FFT? F? ? FF (expected value) 1.00 1.00 1.00 2.00 2.00 1.00 0 1.00 2.00 1.00 0 2.00 0 0 1.00 1.00 (confidence rate) |
???????????????? ------?---?-??-- --:-- / 0
|
TFTTFF?FFT?F??FF TTTTTT?TTT?T??TT --:-- / 40
|
???TF???F??F???? ---TT-?-T-?T??-- --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 4 TFF? F? TF? ? ? T? FF? (expected value) 2.00 2.00 1.00 0 1.00 0 1.00 1.00 0 0 0 1.00 0 1.00 1.00 0 (confidence rate) |
???????????????? ---?-?--???-?--? --:-- / 0
|
TFF?F?TF???T?FF? TTT?T?TT???T?TT? --:-- / 32
|
TF?????????????? TT-?-?--???-?--? --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 5 FTTTTTTT? ? F? ? ? FF (expected value) 1.00 1.00 2.00 1.00 1.00 1.00 1.00 1.00 0 0 1.00 0 0 0 1.00 1.00 (confidence rate) |
???????????????? --------??-???-- --:-- / 0
|
FTTTTTTT??F???FF TTTTTTTT??T???TT --:-- / 36
|
??T????????????? --T-----??-???-- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 6 T? T? ? F? F? ? FT? T? F (expected value) 2.00 0 2.00 0 0 1.00 0 1.00 0 0 1.00 1.00 0 1.00 0 1.00 (confidence rate) |
???????????????? -?-??-?-??--?-?- --:-- / 0
|
T?T??F?????T???F T?T??T?-??-T?-?T --:-- / 16
|
T?T????F??F??T?? T?T??-?T??T-?T?- --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 7 FF? FFT? T? TTFTF? F (expected value) 1.00 1.00 0 1.00 1.00 1.00 0 1.00 0 1.00 2.00 1.00 1.00 1.00 0 1.00 (confidence rate) |
???????????????? --?---?-?-----?- --:-- / 0
|
FF?FFT?T?TTFTF?F TT?TTT?T?TTTTT?T --:-- / 40
|
??????????T????? --?---?-?-T---?- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 8 TFFFFFTF? FTF? ? ? ? (expected value) 1.00 2.00 1.00 2.00 1.00 2.00 2.00 1.00 0 1.00 2.00 2.00 0 0 0 0 (confidence rate) |
???????????????? --------?---???? --:-- / 0
|
TFFFFFTF?FTF???? TTTTTTTT?TTT???? --:-- / 36
|
?F?F?FT???TF???? -T-T-TT-?-TT???? --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 9 T? FTTF? ? ? ? FF? ? ? ? (expected value) 1.00 0 2.00 1.00 2.00 2.00 0 0 0 0 1.00 1.00 0 0 0 0 (confidence rate) |
???????????????? -?----????--???? --:-- / 0
|
??FTTF????FF???? -?TTTT????TT???? --:-- / 20
|
T?F?TF?????????? T?T-TT????--???? --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
CC 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 | 0 | 484 | 224 | 0 | 0 | 224 | 164 | 0 | 0 | 0 |
| Road Runner | 0 | 2 | 2 | 0 | 0 | 4 | 0 | 0 | 0 | 0 |
| Camel | 0 | 2 | 2 | 0 | 0 | 2 | 2 | 0 | 0 | 0 |
| 002002 TTTFTTFTFTFFTFFT (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
|
TTTFTTFTFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 36
|
TTTFTTFTFTFFTFFT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
TTTFTTFTFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 36
|
TTTFTTFTFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 002003 FFTFTTFTTFFFTTFT (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
|
FFTFTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-- / 36
|
FFTFTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:PM / 36
|
CC 0 |
CC 0 |
FFTFTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-- / 36
|
FFTFTTFTTFFFTTFT TTTTTTTTTTTTTTTT --:-- / 36
|
CC 0 |
CC 0 |
CC 0 |
| 005005 FTFFFFTFTTFTFFTF (expected value) 3.00 3.00 2.00 4.00 3.00 2.00 3.00 3.00 3.00 2.00 2.00 3.00 2.00 3.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FT?FF?TFT??T?FTF TT-TT-TTT--T-TTT --:-- / 24
|
???F???????????? ---T------------ --:-- / 4
|
CC 0 |
CC 0 |
FTFFFFTFTTFTFFTF TTTTTTTTTTTTTTTT --:P- / 36
|
FTFFFFTFTTFTFFTF TTTTTTTTTTTTTTTT --:-M / 36
|
CC 0 |
CC 0 |
CC 0 |
| 005006 TTTFFTTFFFTTTTFF (expected value) 4.00 3.00 4.00 4.00 3.00 2.00 2.00 2.00 3.00 3.00 2.00 2.00 1.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTFF?TFFFTT??FF TTTTT-TTTTTT--TT --:-- / 28
|
T?TFFT??FF?????? T-TTTT--TT------ --:-- / 16
|
CC 0 |
CC 0 |
TTTFFTTFFFTTTTFF TTTTTTTTTTTTTTTT --:PM / 36
|
TTTF???????????? TTTT------------ --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 007007 FTTTFTTFTTFFFFFF (expected value) 4.00 4.00 3.00 1.00 3.00 2.00 2.00 3.00 2.00 2.00 3.00 2.00 2.00 3.00 2.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTT?FTTF?TFFFFF? TTT-TTTT-TTTTTT- --:-- / 28
|
FTT?F??FT?F??F?? TTT-T--TT-T--T-- --:-- / 20
|
CC 0 |
CC 0 |
FTTTFTTFTTFFFFFF TTTTTTTTTTTTTTTT --:PM / 36
|
FT?????????????? TT-------------- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
| 007008 FTFFFTFFTFTTFFFT (expected value) 4.00 2.00 4.00 4.00 3.00 4.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
F?FFFTFFTFTTFFFT T-TTTTTTTTTTTTTT --:-- / 32
|
F?FF?T?????????? T-TT-T---------- --:-- / 8
|
CC 0 |
CC 0 |
FTFFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:P- / 36
|
FTFFFTFFTFTTFFFT TTTTTTTTTTTTTTTT --:-M / 36
|
CC 0 |
CC 0 |
CC 0 |
| 010010 TFTFFFFTTT? FFFFF (expected value) 2.00 1.00 1.00 2.00 1.00 2.00 1.00 2.00 1.00 2.00 0 2.00 2.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ----------?----- --:-- / 0
|
TFTFFFFTTT?FFFFF TTTTTTTTTT?TTTTT --:-- / 32
|
T??F?F?T?T?FF??? T--T-T-T-T?TT--- --:-- / 16
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 010011 ? FTFFT? TTTFFFTT? (expected value) 0 1.00 1.00 1.00 1.00 1.00 0 1.00 1.00 1.00 1.00 1.00 1.00 2.00 1.00 0 (confidence rate) |
???????????????? ?-----?--------? --:-- / 0
|
?FTFFT?TTTFFFTT? ?TTTTT?TTTTTTTT? --:-- / 28
|
?????????????T?? ?-----?------T-? --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 015015 FFFTTFTFFTT? TFFF (expected value) 1.00 1.00 2.00 1.00 1.00 1.00 2.00 1.00 1.00 1.00 1.00 0 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? -----------?---- --:-- / 0
|
FFFTTFTFFTT?TFFF TTTTTTTTTTT?TTTT --:-- / 32
|
??F???T????????? --T---T----?---- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 015016 TTFTTTTFFTTTFFTT (expected value) 2.00 1.00 2.00 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 1.00 1.00 1.00 1.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFTTTTFFTTTFFTT TTTTTTTTTTTTTTTT --:PM / 36
|
T?F?TTT?FTT????T T-T-TTT-TTT----T --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 025025 TFF? TTFF? ? FT? FTT (expected value) 1.00 2.00 2.00 0 1.00 1.00 1.00 1.00 0 0 1.00 1.00 0 1.00 1.00 1.00 (confidence rate) |
???????????????? ---?----??--?--- --:-- / 0
|
TFF?TTFF??FT?FTT TTT?TTTT??TT?TTT --:-- / 28
|
?FF????????????? -TT?----??--?--- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 025026 TTTTFTFTFFFFTTFF (expected value) 2.00 1.00 1.00 2.00 2.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 2.00 2.00 2.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTTFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:PM / 36
|
T??TF???????TTF? T--TT-------TTT- --:-- / 12
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 050050 ? F? TF? FFTFFT? F? ? (expected value) 0 2.00 0 2.00 2.00 0 2.00 2.00 2.00 1.00 2.00 2.00 0 1.00 0 0 (confidence rate) |
???????????????? ?-?--?------?-?? --:-- / 0
|
?F?TF?FFTFFT?F?? ?T?TT?TTTTTT?T?? --:-- / 24
|
?F?TF?FFT?FT???? ?T?TT?TTT-TT?-?? --:-- / 20
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 050051 T? FFFFTFTTTTFFT? (expected value) 1.00 0 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 0 (confidence rate) |
???????????????? -?-------------? --:-- / 0
|
T?FFFFTFTTTTFFT? T?TTTTTTTTTTTTT? --:-- / 32
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
| 100100 FTT? FTFTFT? TFFT? (expected value) 4.00 4.00 4.00 0 1.00 2.00 2.00 1.00 2.00 2.00 0 2.00 2.00 2.00 2.00 0 (confidence rate) |
???????????????? ---?------?----? --:-- / 0
|
FTT?FTFTFT?TFFT? TTT?TTTTTT?TTTT? --:-- / 28
|
FTT??TF?FT?TFFT? TTT?-TT-TT?TTTT? --:-- / 24
|
CC 0 |
CC 0 |
FTT????????????? TTT?------?----? --:-- / 8
|
FTT????????????? TTT?------?----? --:-- / 8
|
DNF 0 |
CC 0 |
CC 0 |
| 100101 TTF? ? TTFF? FT? ? F? (expected value) 1.00 1.00 1.00 0 0 1.00 1.00 1.00 1.00 0 1.00 1.00 0 0 1.00 0 (confidence rate) |
???????????????? ---??----?--??-? --:-- / 0
|
TTF??TTFF?FT??F? TTT??TTTT?TT??T? --:-- / 24
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
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 | 3699 | 7802 | 6485 | 2052 | 2296 | 4428 | 4314 | 4160 | 3473 | 3470 |
| Road Runner | 31 | 52 | 74 | 0 | 1 | 45 | 56 | 140 | 7 | 7 |
| Camel | 9 | 53 | 104 | 0 | 11 | 9 | 15 | 173 | 6 | 33 |
| ARMCacheCoherence — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 102 | 83 | 57 | 0 | 102 | 102 | 102 | 102 | 102 | 102 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| Camel | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| none FTFTFTFTTFFTFTTT (expected value) 9.00 9.00 9.00 7.00 8.00 9.00 8.00 9.00 9.00 8.00 8.00 9.00 8.00 7.00 8.00 9.00 (confidence rate) |
FTFTFTFTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 102
|
FTF?FTFTTFFTF??T TTT-TTTTTTTTT--T --:-- / 83
|
FTF??T?TT??T??TT TTT--T-TT--T--TT --:-- / 57
|
???????????????? ---------------- --:-- / 0
|
FTFTFTFTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 102
|
FTFTFTFTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 102
|
FTFTFTFTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 102
|
FTFTFTFTTFFTFTTT TTTTTTTTTTTTTTTT --:PM / 102
|
FTFTFTFTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 102
|
FTFTFTFTTFFTFTTT TTTTTTTTTTTTTTTT --:-- / 102
|
| AirplaneLD — Colored | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 64 | 59 | 8 | 8 | 57 | 56 | 8 | 32 | 32 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 6 | 0 | 1 | 0 | 0 |
| Camel | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 1 | 1 | 2 |
| 0010 FTTFFFFTTFFFFFFF (expected value) 9.00 9.00 8.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 (confidence rate) |
DNC |
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FT?FFFF?TFFFFFFF TT-TTTT-TTTTTTTT --:-- / 7
|
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:PM / 8
|
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTTFFFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
| 0020 FTTFFTTTFTFTFFFT (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 |
FTTFFTTTFTFTFFFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTFTFTFFFT TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
FTTFFTTTFTFTFFFT TTTTTTTTTTTTTTTT --:P- / 8
|
FTTFFTTTFTFTFFFT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0050 FTFFFTFFFFTTTFFF (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 |
FTFFFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
FTFFFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:P- / 8
|
FTFFFTFFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0100 FFTFFFTTTFTFFTFF (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 |
FFTFFFTTTFTFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFTTTFTFFTFF TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
FFTFFFTTTFTFFTFF TTTTTTTTTTTTTTTT --:P- / 8
|
FFTFFFTTTFTFFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0200 TTFTFFTFFTFFTFFT (expected value) 5.00 4.00 5.00 5.00 6.00 6.00 6.00 6.00 5.00 6.00 6.00 6.00 6.00 6.00 4.00 6.00 (confidence rate) |
DNC |
T?FTFFTFFTFFTF?T T-TTTTTTTTTTTT-T --:-- / 7
|
????FFTF?TFFTF?T ----TTTT-TTTTT-T --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
TTFTFFTFFTFFTFFT TTTTTTTTTTTTTTTT --:P- / 8
|
TTFTFFTFFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
TTFTFFTFFTFFTFFT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFTFFTFFTFFT TTTTTTTTTTTTTTTT --:-M / 8
|
| 0500 FTTFTFTFTFTFTFTT (expected value) 4.00 6.00 6.00 6.00 6.00 4.00 6.00 6.00 6.00 5.00 4.00 6.00 6.00 6.00 5.00 6.00 (confidence rate) |
DNC |
?TTFT?TFTF?FTFTT -TTTT-TTTT-TTTTT --:-- / 7
|
?TTFT?TFT??FTF?T -TTTT-TTT--TTT-T --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FTTFTFTFTFTFTFTT TTTTTTTTTTTTTTTT --:P- / 8
|
FTTFTFTFTFTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
DNF 0 |
FTTFTFTFTFTFTFTT TTTTTTTTTTTTTTTT --:-M / 8
|
FTTFTFTFTFTFTFTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 1000 FTFFFFFFFFFTFTFT (expected value) 5.00 6.00 4.00 6.00 6.00 6.00 6.00 4.00 6.00 4.00 5.00 4.00 4.00 4.00 4.00 6.00 (confidence rate) |
DNC |
FT?FFFF?F??????T TT-TTTT-T------T --:-- / 4
|
?T?FFFF?F?F????T -T-TTTT-T-T----T --:-- / 4
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FTFFFFFFFFFTFTFT TTTTTTTTTTTTTTTT --:P- / 8
|
FTFFFFFFFFFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
DNF 0 |
FTFFFFFFFFFTFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFFFFFFFTFTFT TTTTTTTTTTTTTTTT --:-M / 8
|
| 2000 F? ? FTTTFTTFFFT? F (expected value) 3.00 0 0 2.00 2.00 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 0 2.00 (confidence rate) |
DNC |
F??FTTTFTTFFFT?F T??TTTTTTTTTTT?T --:-- / 7
|
F??FT?TFT?FFFT?F T??TT-TTT-TTTT?T --:-- / 6
|
???????????????? -??-----------?- --:-- / 0
|
???????????????? -??-----------?- --:-- / 0
|
F??????????????? T??-----------?- --:-- / 1
|
DNF 0 |
CC 0 |
???????????????? -??-----------?- --:-- / 0
|
???????????????? -??-----------?- --:-- / 0
|
| 4000 FFFFFFTFFT? FTFFT (expected value) 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 0 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
DNC |
?FFFFFTFFT?FTFFT -TTTTTTTTT?TTTTT --:-- / 7
|
FFFF?FTFFT?FTFFT TTTT-TTTTT?TTTTT --:-- / 7
|
???????????????? ----------?----- --:-- / 0
|
???????????????? ----------?----- --:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
???????????????? ----------?----- --:-- / 0
|
???????????????? ----------?----- --:-- / 0
|
| AirplaneLD — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 40 | 66 | 57 | 8 | 8 | 48 | 56 | 24 | 32 | 32 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 1 | 5 | 1 | 0 | 0 |
| Camel | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 2 | 0 | 3 |
| 0010 FTTFFFFTFFFFFFTF (expected value) 10.00 10.00 9.00 10.00 10.00 10.00 10.00 9.00 10.00 10.00 10.00 10.00 10.00 10.00 8.00 10.00 (confidence rate) |
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FT?FFFF?FFFFFFTF TT-TTTT-TTTTTTTT --:-- / 7
|
FTTFFFFTFFFFFF?F TTTTTTTTTTTTTT-T --:-- / 8
|
FTTFFFFTFFFFFF?F TTTTTTTTTTTTTT-T --:-- / 8
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:PM / 8
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 0020 FTTFFTTTTFTTTTFF (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) |
FTTFFTTTTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTTTTFF TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
FTTFFTTTTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTTTFTTTTFF TTTTTTTTTTTTTTTT --:P- / 8
|
FTTFFTTTTFTTTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
| 0050 FTFFFTFFFTFFFTFT (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) |
FTFFFTFFFTFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFTFFFTFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFTFFFTFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FTFFFTFFFTFFFTFT TTTTTTTTTTTTTTTT --:P- / 8
|
FTFFFTFFFTFFFTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFTFFFTFFFTFT TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
| 0100 FFTFFFTTFFFTTFFF (expected value) 5.00 5.00 5.00 5.00 5.00 4.00 5.00 4.00 5.00 5.00 5.00 4.00 5.00 5.00 5.00 5.00 (confidence rate) |
FFTFFFTTFFFTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFTTFFFTTFFF TTTTTTTTTTTTTTTT --:-M / 8
|
FFTFF?T?FFF?TFFF TTTTT-T-TTT-TTTT --:-- / 7
|
CC 0 |
CC 0 |
FFTFFFTTFFFTTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFFTTFFFTTFFF TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
CC 0 |
CC 0 |
| 0200 TTFTFFTFFTFFTFFF (expected value) 6.00 5.00 6.00 6.00 7.00 7.00 7.00 7.00 6.00 7.00 6.00 7.00 7.00 5.00 7.00 5.00 (confidence rate) |
TTFTFFTFFTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
T?FTFFTFFTFFT?F? T-TTTTTTTTTTT-T- --:-- / 7
|
????FFTF?T?FT?F? ----TTTT-T-TT-T- --:-- / 4
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
TTFTFFTFFTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFTFFTFFTFFF TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
TTFTFFTFFTFFTFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFTFFTFFTFFF TTTTTTTTTTTTTTTT --:-M / 8
|
| 0500 FTTFTFTFFTTTFFTF (expected value) 4.00 6.00 6.00 6.00 6.00 4.00 6.00 6.00 6.00 4.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?TTFT?TFF?TTFFTF -TTTT-TTT-TTTTTT --:-- / 7
|
?TTFT?TFF?TTFFTF -TTTT-TTT-TTTTTT --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FTTFTFTFFTTTFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFTFTFFTTTFFTF TTTTTTTTTTTTTTTT --:P- / 8
|
DNF 0 |
FTTFTFTFFTTTFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFTFTFFTTTFFTF TTTTTTTTTTTTTTTT --:-M / 8
|
| 1000 FTFFFFFFFFFTFFTT (expected value) 4.00 5.00 3.00 5.00 5.00 5.00 5.00 3.00 5.00 4.00 5.00 3.00 3.00 4.00 4.00 5.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FT?FFFF?FFF??FTT TT-TTTT-TTT--TTT --:-- / 6
|
?T?FFFF?F?F????T -T-TTTT-T-T----T --:-- / 4
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
FTFFFFFFFFFTFFTT TTTTTTTTTTTTTTTT --:P- / 8
|
DNF 0 |
FTFFFFFFFFFTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFFFFFFFFTFFTT TTTTTTTTTTTTTTTT --:-M / 8
|
| 2000 F? ? FTTTFTTFTF? TT (expected value) 2.00 0 0 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 0 2.00 2.00 (confidence rate) |
???????????????? -??----------?-- --:-- / 0
|
F??FTTTFTTFTF?TT T??TTTTTTTTTT?TT --:-- / 7
|
F??FT?TFTTFTF?TT T??TT-TTTTTTT?TT --:-- / 6
|
???????????????? -??----------?-- --:-- / 0
|
???????????????? -??----------?-- --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
???????????????? -??----------?-- --:-- / 0
|
???????????????? -??----------?-- --:-- / 0
|
| 4000 FFFFFFTF? ? TFTFTT (expected value) 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 0 0 1.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? --------??------ --:-- / 0
|
?FFFFFTF??TFTFTT -TTTTTTT??TTTTTT --:-- / 7
|
FFFF?FTF???FTFTT TTTT-TTT??-TTTTT --:-- / 6
|
???????????????? --------??------ --:-- / 0
|
???????????????? --------??------ --:-- / 0
|
DNF 0 |
CC 0 |
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 | 51 | 94 | 90 | 17 | 19 | 36 | 34 | 51 | 17 | 17 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| Camel | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 2 | 0 | 0 |
| 01 FTFFFTFFFFFFFTFT (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) |
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-M / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:P- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTFFFTFFFFFFFTFT TTTTTTTTTTTTTTTT --:-- / 17
|
| 05 TFFFTTTFTTFFFFTF (expected value) 5.00 5.00 4.00 5.00 4.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 5.00 6.00 (confidence rate) |
TFFFTTTFTTFFFFTF TTTTTTTTTTTTTTTT --:-- / 17
|
T????TTFTTFFFF?F T----TTTTTTTTT-T --:-- / 12
|
?F?F?TTFTTFFFFTF -T-T-TTTTTTTTTTT --:-- / 14
|
CC 0 |
CC 0 |
TFFFTTTFTTFFFFTF TTTTTTTTTTTTTTTT --:-- / 17
|
TFFFTTTFTTFFFFTF TTTTTTTTTTTTTTTT --:-- / 17
|
TFFFTTTFTTFFFFTF TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
| 10 TTTFFFFTTTTFTTFF (expected value) 2.00 4.00 4.00 3.00 2.00 4.00 4.00 4.00 4.00 4.00 4.00 3.00 3.00 4.00 3.00 4.00 (confidence rate) |
?TTFFFFTTTTFTT?F -TTTTTTTTTTTTT-T --:-- / 15
|
TTT??FFTTTT??TFF TTT--TTTTTT--TTT --:-- / 13
|
?TTF?FFTTTTFTTFF -TTT-TTTTTTTTTTT --:-- / 15
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
TTTFFFFTTTTFTTFF TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
| 15 TTFT? T? TTFTTTTTT (expected value) 3.00 1.00 2.00 2.00 0 1.00 0 2.00 2.00 1.00 2.00 2.00 2.00 2.00 1.00 3.00 (confidence rate) |
T??????????????T T---?-?--------T --:-- / 2
|
?TFT?T?TTFTTTTTT -TTT?T?TTTTTTTTT --:-- / 14
|
??FT???TT?TTTT?T --TT?-?TT-TTTT-T --:-- / 10
|
???????????????? ----?-?--------- --:-- / 0
|
T??????????????? T---?-?--------- --:-- / 1
|
T??????????????? T---?-?--------- --:-- / 1
|
DNF 0 |
DNF 0 |
???????????????? ----?-?--------- --:-- / 0
|
???????????????? ----?-?--------- --:-- / 0
|
| 20 TTFTT? TFFTTFFF? T (expected value) 4.00 1.00 2.00 1.00 1.00 0 1.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 0 1.00 (confidence rate) |
???????????????? -----?--------?- --:-- / 0
|
TTFTT?TFFTTFFF?T TTTTT?TTTTTTTT?T --:-- / 15
|
T?F????FFTTFF??? T-T--?-TTTTTT-?- --:-- / 9
|
???????????????? -----?--------?- --:-- / 0
|
T??????????????? T----?--------?- --:-- / 1
|
T??????????????? T----?--------?- --:-- / 1
|
DNF 0 |
DNF 0 |
???????????????? -----?--------?- --:-- / 0
|
???????????????? -----?--------?- --:-- / 0
|
| 25 FFTTT? TTTTTTFTFT (expected value) 2.00 2.00 2.00 1.00 2.00 0 2.00 2.00 1.00 2.00 1.00 1.00 1.00 2.00 2.00 2.00 (confidence rate) |
???????????????? -----?---------- --:-- / 0
|
FFT?T?TT?TT??TFT TTT-T?TT-TT--TTT --:-- / 12
|
FFTTT?TTTT?TFTFT TTTTT?TTTT-TTTTT --:-- / 15
|
???????????????? -----?---------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? -----?---------- --:-- / 0
|
???????????????? -----?---------- --:-- / 0
|
| 50 TT? TF? T? T? ? TTFTT (expected value) 1.00 2.00 0 2.00 2.00 0 2.00 0 1.00 0 0 2.00 1.00 2.00 2.00 2.00 (confidence rate) |
???????????????? --?--?-?-??----- --:-- / 0
|
TT?TF?T????TTFTT TT?TT?T?-??TTTTT --:-- / 11
|
?T?TF?T?T??T?FTT -T?TT?T?T??T-TTT --:-- / 10
|
???????????????? --?--?-?-??----- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
???????????????? --?--?-?-??----- --:-- / 0
|
???????????????? --?--?-?-??----- --:-- / 0
|
| AutoFlight — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 70 | 135 | 120 | 28 | 40 | 72 | 64 | 73 | 41 | 45 |
| Road Runner | 0 | 2 | 0 | 0 | 0 | 3 | 0 | 6 | 0 | 0 |
| Camel | 0 | 0 | 4 | 0 | 1 | 1 | 0 | 5 | 0 | 0 |
| 01a FTFFTFFTFFFFFFTF (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) |
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-M / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:P- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFFTFFTFFFFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 01b FTFTTFTFFFFFTTFF (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 9.00 (confidence rate) |
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:P- / 8
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTFFFFFTTF? TTTTTTTTTTTTTTT- --:-- / 7
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-M / 8
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
FTFTTFTFFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
| 02a TTFTFFFFTFTTFFFF (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) |
TTFTFFFFTFTTFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFFFTFTTFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFFFTFTTFFFF TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
TTFTFFFFTFTTFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFFFTFTTFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TTFTFFFFTFTTFFFF TTTTTTTTTTTTTTTT --:P- / 8
|
CC 0 |
CC 0 |
| 02b TFFTFTTTFTFFTFFF (expected value) 2.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 2.00 4.00 4.00 4.00 4.00 2.00 4.00 4.00 (confidence rate) |
?????????TFFTFFF ---------TTTTTTT --:-- / 3
|
?FFTFTTTFTFFT?FF -TTTTTTTTTTTT-TT --:-- / 7
|
?FFTFTTT?TFFT?FF -TTTTTTT-TTTT-TT --:-- / 6
|
CC 0 |
CC 0 |
TFFTFTTTFTFFTFFF TTTTTTTTTTTTTTTT --:PM / 8
|
T??????????????? T--------------- --:-- / 0
|
DNF 0 |
CC 0 |
CC 0 |
| 03a TFFFFTTFTTTFFFFF (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) |
TFFFFTTFTTTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTTFTTTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTTFTTTFFFFF TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
TFFFFTTFTTTFFFFF TTTTTTTTTTTTTTTT --:P- / 8
|
TFFFFTTFTTTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTTFTTTFFFFF TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
| 03b TFFFFFTFFTTFTFFT (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
|
TFFFFFTFFTTFTFFT TTTTTTTTTTTTTTTT --:P- / 8
|
TFFFFFTFFTTFTFFT TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 04a FTTFFTTFFFFFTTTT (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) |
FTTFFTTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
CC 0 |
CC 0 |
FTTFFTTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTFFFFFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTFFTTFFFFFTTTT TTTTTTTTTTTTTTTT --:PM / 8
|
CC 0 |
CC 0 |
| 04b TTTTTT? TFTFFFT? F (expected value) 2.00 2.00 2.00 2.00 1.00 2.00 0 1.00 2.00 1.00 2.00 1.00 2.00 2.00 0 2.00 (confidence rate) |
???????????????? ------?-------?- --:-- / 0
|
TTTTTT?TFTF?FT?F TTTTTT?TTTT-TT?T --:-- / 6
|
?TTT?T??F?FFFT?F -TTT-T?-T-TTTT?T --:-- / 5
|
CC 0 |
CC 0 |
T??????????????? T-----?-------?- --:-- / 0
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 05a FFTFFTTFTFTTFTTT (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) |
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:PM / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFFTTFTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| 05b TTFFT? ? TFFFFFT? ? (expected value) 2.00 1.00 1.00 2.00 2.00 0 0 2.00 1.00 2.00 1.00 2.00 2.00 2.00 0 0 (confidence rate) |
???????????????? -----??-------?? --:-- / 0
|
TTFFT??TFFFFFT?? TTTTT??TTTTTTT?? --:-- / 6
|
T??FT??T?F?FFT?? T--TT??T-T-TTT?? --:-- / 4
|
???????????????? -----??-------?? --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
???????????????? -----??-------?? --:-- / 0
|
???????????????? -----??-------?? --:-- / 0
|
| 06a TFFFFFFFFTTTFTFF (expected value) 9.00 9.00 9.00 9.00 9.00 8.00 9.00 8.00 8.00 9.00 9.00 9.00 9.00 9.00 7.00 9.00 (confidence rate) |
TFFFFFFFFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFFFFFTTTFT?F TTTTTTTTTTTTTT-T --:-- / 7
|
TFFFF?F??TTTFT?F TTTTT-T--TTTTT-T --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
TFFFFFFFFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFFFFFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFFFFFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFFFFFTTTFTFF TTTTTTTTTTTTTTTT --:PM / 8
|
TFFFFFFFFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFFFFFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 8
|
| 06b FFFTFTTTTTF? ? FF? (expected value) 2.00 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 1.00 0 0 2.00 2.00 0 (confidence rate) |
???????????????? -----------??--? --:-- / 0
|
FFFTFTTTTT???FF? TTTTTTTTTT-??TT? --:-- / 6
|
F?FTF?TTTTF??FF? T-TTT-TTTTT??TT? --:-- / 5
|
???????????????? -----------??--? --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
???????????????? -----------??--? --:-- / 0
|
???????????????? -----------??--? --:-- / 0
|
| 12a FFTFTTFFTFFFTFTF (expected value) 8.00 8.00 9.00 9.00 7.00 8.00 9.00 9.00 9.00 9.00 9.00 9.00 9.00 7.00 9.00 9.00 (confidence rate) |
FFTFTTFFTFFFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
F?TF?TFFTFFFT?TF T-TT-TTTTTTTT-TT --:-- / 6
|
?FTF??FFTFFFT?TF -TTT--TTTTTTT-TT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
FFTFTTFFTFFFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTTFFTFFFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTTFFTFFFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTTFFTFFFTFTF TTTTTTTTTTTTTTTT --:PM / 8
|
FFTFTTFFTFFFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFTFTTFFTFFFTFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 12b TFTFTFFTTFTTFFTT (expected value) 2.00 2.00 2.00 2.00 1.00 2.00 2.00 1.00 2.00 1.00 2.00 1.00 2.00 1.00 1.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTFTFFTTFTTFF?T TTTTTTTTTTTTTT-T --:-- / 7
|
TFTF?FF?T?T?F?TT TTTT-TT-T-T-T-TT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 24a TTTFFFTTTFFFFTTT (expected value) 2.00 4.00 4.00 3.00 3.00 4.00 3.00 3.00 3.00 3.00 3.00 1 3.00 3.00 2.00 3.00 (confidence rate) |
?TT?FF?????????T -TT-TT---------T --:-- / 2
|
?TTFFFTTTFF?FTT? -TTTTTTTTTT-TTT- --:-- / 6
|
TTTF?FTTTFF?FT?T TTTT-TTTTTT-TT-T --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
TTTFFFTTTFFFFTTT TTTTTTTTTTTTTTTT --:PM / 8
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 24b TT? FTFFFTF? TFFTF (expected value) 2.00 2.00 0 2.00 2.00 2.00 1.00 1.00 1.00 2.00 0 2.00 1.00 1.00 2.00 1.00 (confidence rate) |
???????????????? --?-------?----- --:-- / 0
|
TT?FTFFFTF?T?FT? TT?TTTTTTT?T-TT- --:-- / 6
|
TT?FTF???F?TF?TF TT?TTT---T?TT-TT --:-- / 5
|
???????????????? --?-------?----- --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
???????????????? --?-------?----- --:-- / 0
|
???????????????? --?-------?----- --:-- / 0
|
| 48a TFTTTTTFT? FTFFFF (expected value) 4.00 4.00 3.00 2.00 2.00 1.00 2.00 2.00 2.00 0 2.00 1.00 2.00 2.00 2.00 3.00 (confidence rate) |
TF?????????????F TT-------?-----T --:-- / 1
|
TFTTTTTFT?FTFFFF TTTTTTTTT?TTTTTT --:-- / 7
|
TFTTT?TFT?F?FFFF TTTTT-TTT?T-TTTT --:-- / 6
|
???????????????? ---------?------ --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
TFT????????????? TTT------?------ --:-- / 1
|
CC 0 |
CC 0 |
| 48b T? TF? FTTTT? FTFF? (expected value) 4.00 0 2.00 4.00 0 5.00 1.00 1.00 1.00 2.00 0 1.00 2.00 1.00 2.00 0 (confidence rate) |
???????????????? -?--?-----?----? --:-- / 0
|
T?T??FTTTT?FTFF? T?T-?TTTTT?TTTT? --:-- / 5
|
??TF?F???T??T?F? -?TT?T---T?-T-T? --:-- / 3
|
T??F?F?????????? T?-T?T----?----? --:-- / 1
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
T??F?F?????????? T?-T?T----?----? --:-- / 1
|
T??F?F?????????? T?-T?T----?----? --:-- / 1
|
| 96a FFFFFTFF? ? TFFTFT (expected value) 3.00 4.00 4.00 1.00 4.00 1.00 4.00 4.00 0 0 1.00 4.00 3.00 1.00 4.00 2.00 (confidence rate) |
???????????????? --------??------ --:-- / 0
|
FFF?FTFF??TFFTFT TTT-TTTT??TTTTTT --:-- / 6
|
?FFFF?FF???F??FT -TTTT-TT??-T--TT --:-- / 4
|
FFF?F?FF???FF?F? TTT-T-TT??-TT-T- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
FFF?F?FF???FF?F? TTT-T-TT??-TT-T- --:-- / 4
|
| 96b ? FFT? ? ? T? TTFFF? ? (expected value) 0 2.00 2.00 1.00 0 0 0 2.00 0 2.00 2.00 2.00 2.00 1.00 0 0 (confidence rate) |
???????????????? ?---???-?-----?? --:-- / 0
|
?FFT???T?TTFFF?? ?TTT???T?TTTTT?? --:-- / 4
|
?FF????T?TTFF??? ?TT-???T?TTTT-?? --:-- / 3
|
???????????????? ?---???-?-----?? --:-- / 0
|
CC 0 |
CC 0 |
CC 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
|
???????????????? ???????????????? --:-- / 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
|
???????????????? ???????????????? --:-- / 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
|
???????????????? ???????????????? --:-- / 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
|
???????????????? ???????????????? --:-- / 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
|
???????????????? ???????????????? --:-- / 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
|
???????????????? ???????????????? --:-- / 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
|
???????????????? ???????????????? --:-- / 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
|
???????????????? ???????????????? --:-- / 0
|
DNF 0 |
DNF 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 | 0 | 10 | 40 | 35 | 0 | 0 |
| Road Runner | 0 | 0 | 0 | 0 | 0 | 0 | 8 | 0 | 0 | 0 |
| Camel | 0 | 0 | 0 | 0 | 0 | 1 | 7 | 0 | 0 | 0 |
| 002 FTTTTFFTFFFTFFTT (expected value) 2.00 3.00 2.00 2.00 2.00 3.00 2.00 2.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?F???T??TT?????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FTTTTFFTFFFTFFTT --------TTTTTTTT --:-M / 5
|
FTTTTFFTFFFTFFTT --------TTTTTTTT --:P- / 5
|
?T???F??FFFTFFTT --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 005 FFFFFFTTFTFTFFFF (expected value) 2.00 4.00 2.00 2.00 2.00 2.00 2.00 2.00 4.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?F??????F??????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FFFFFFTTFTFTFFFF --------TTTTTTTT --:-- / 5
|
FFFFFFTTFTFTFFFF --------TTTTTTTT --:PM / 5
|
?F??????FTFTFFFF --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 010 TFTFFTFTFFTTTFFF (expected value) 3.00 1.00 1.00 3.00 1.00 2.00 2.00 1.00 2.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
T??F?FT?TFFF???? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
TFTFFTFTFFTTTFFF --------TTTTTTTT --:PM / 5
|
T??F?TF?FFTTTFFF --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 020 FTTFTTFTTFFTFFFF (expected value) 1.00 3.00 1.00 1.00 1.00 1.00 1.00 2.00 2.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?T?????FFF?????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
FTTFTTFTTFFTFFFF --------TTTTTTTT --:PM / 5
|
?T?????TTFFTFFFF --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 030 FFFFFFTFTFFFTTTF (expected value) 1.00 1.00 1.00 1.00 3.00 1.00 1.00 2.00 3.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
????F??TTF?????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
FFFFFFTFTFFFTTTF --------TTTTTTTT --:PM / 5
|
????F??FTFFFTTTF --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 040 TTTTTTFFFFFFFTFF (expected value) 3.00 1.00 1.00 2.00 2.00 1.00 1.00 1.00 2.00 3.00 3.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
T??FF???TFF????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
TTTTTTFFFFFFFTFF --------TTTTTTTT --:PM / 5
|
T??TT???FFFFFTFF --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 050 TFTTTFFFTTFTTFFF (expected value) 1.00 1.00 3.00 1.00 1.00 1.00 1.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
??T?????F??????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
TFTTTFFFTTFTTFFF --------TTTTTTTT --:PM / 5
|
??T?????TTFTTFFF --------TTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 060 FFFTTFFTTTTTFFTT (expected value) 1.00 1.00 3.00 1.00 2.00 1.00 1.00 1.00 1.00 1.00 2.00 1.00 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
??F?TTT?FFT????? ? --:-- / 0
|
CC 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
FFFTTFFTTTTTFFTT --------TTTTTTTT --:PM / 5
|
??F????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| BridgeAndVehicles — Colored | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 0 | 86 | 73 | 15 | 20 | 35 | 12 | 20 | 10 | 15 |
| Road Runner | 0 | 3 | 4 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 1 | 6 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| V04P05N02 FTTFFFTFFFTTTFFF (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 |
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:PM / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFTTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
| V10P10N10 TTFFTFFFFTTTFFTT (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 |
TTFFTFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFFFTTTFFTT TTTTTTTTTTTTTTTT --:PM / 5
|
CC 0 |
CC 0 |
TTFFTFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFFFTTTFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N10 TFTTFFFTFTFFFTTT (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 |
TFTTFFFTFTFFFTTT TTTTTTTTTTTTTTTT --:P- / 5
|
TFTTFFFTFTFFFTTT TTTTTTTTTTTTTTTT --:-M / 5
|
CC 0 |
CC 0 |
TFTTFFFTFTFFFTTT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
TFTTFFFTFTFFFTTT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N20 TFTFTTFTTFFFFFTT (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 2.00 (confidence rate) |
DNC |
TFTFTTFTTFFFFFTT TTTTTTTTTTTTTTTT --:PM / 5
|
TFTFTTFTTFFFFFT? TTTTTTTTTTTTTTT- --:-- / 5
|
CC 0 |
CC 0 |
TFTFTTFTTFFFFFTT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| V20P10N50 FTFFFTFFFFTTFFFF (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) |
DNC |
FTFFFTFFFFTTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTFFFTFFFFTTFFFF TTTTTTTTTTTTTTTT --:PM / 5
|
CC 0 |
CC 0 |
FTFFFTFFFFTTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| V20P20N10 TFTFFTTTFTTTTFFT (expected value) 8.00 8.00 8.00 8.00 8.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) |
DNC |
TFTFFTTTFTTTTFFT TTTTTTTTTTTTTTTT --:P- / 5
|
TFTFFTTTFTTTTFFT TTTTTTTTTTTTTTTT --:-M / 5
|
TFTFFTTTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 5
|
TFTFFTTTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 5
|
TFTFFTTTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 5
|
TFTFF??????????? TTTTT----------- --:-- / 2
|
TFTFFTTTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
TFTFFTTTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 5
|
| V20P20N20 TTFFTFFTFFTTFTTF (expected value) 8.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 7.00 3.00 7.00 (confidence rate) |
DNC |
TTFFTFFTFFTTFTTF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFTFFTTFTTF TTTTTTTTTTTTTTTT --:PM / 5
|
TTFFTFFTFFTTFT?F TTTTTTTTTTTTTT-T --:-- / 5
|
TTFFTFFTFFTTFT?F TTTTTTTTTTTTTT-T --:-- / 5
|
TTFFTFFTFFTTFTTF TTTTTTTTTTTTTTTT --:-- / 5
|
T??????????????? T--------------- --:-- / 0
|
DNF 0 |
TTFFTFFTFFTTFT?F TTTTTTTTTTTTTT-T --:-- / 5
|
TTFFTFFTFFTTFT?F TTTTTTTTTTTTTT-T --:-- / 5
|
| V20P20N50 FFFFFTFTFFFTFTTF (expected value) 3.00 3.00 2.00 2.00 2.00 3.00 3.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
DNC |
FFFFFTFTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 5
|
FF???TFT?FFTFTTF TT---TTT-TTTTTTT --:-- / 4
|
???????????????? ---------------- --:-- / 0
|
FFFFFTFTFFFTFTTF TTTTTTTTTTTTTTTT --:PM / 5
|
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| V50P20N10 F? TFF? T? FTT? FTFF (expected value) 2.00 0 2.00 2.00 2.00 0 2.00 0 2.00 1.00 2.00 0 2.00 2.00 2.00 2.00 (confidence rate) |
DNC |
F?TFF?T?FTT?FTFF T?TTT?T?TTT?TTTT --:-- / 4
|
F?TFF?T?F?T?FTFF T?TTT?T?T-T?TTTT --:-- / 4
|
???????????????? -?---?-?---?---- --:-- / 0
|
???????????????? -?---?-?---?---- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? -?---?-?---?---- --:-- / 0
|
???????????????? -?---?-?---?---- --:-- / 0
|
| V50P20N20 T? FFTTT? TF? FTFF? (expected value) 1.00 0 2.00 2.00 1.00 2.00 2.00 0 2.00 1.00 0 2.00 1.00 1.00 2.00 0 (confidence rate) |
DNC |
T?FFTTT?TF?FTFF? T?TTTTT?TT?TTTT? --:-- / 4
|
??FF?TT?T??F??F? -?TT-TT?T-?T--T? --:-- / 2
|
???????????????? -?-----?--?----? --:-- / 0
|
???????????????? -?-----?--?----? --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? -?-----?--?----? --:-- / 0
|
???????????????? -?-----?--?----? --:-- / 0
|
| V50P20N50 TTT? TF? ? ? FF? FTTT (expected value) 2.00 2.00 1.00 0 1.00 1.00 0 0 0 2.00 1.00 0 2.00 2.00 2.00 2.00 (confidence rate) |
DNC |
TTT?TF???FF?FTTT TTT?TT???TT?TTTT --:-- / 4
|
TT???????F??FTTT TT-?--???T-?TTTT --:-- / 2
|
???????????????? ---?--???--?---- --:-- / 0
|
???????????????? ---?--???--?---- --:-- / 0
|
DNF 0 |
DNF 0 |
CC 0 |
???????????????? ---?--???--?---- --:-- / 0
|
???????????????? ---?--???--?---- --:-- / 0
|
| V50P50N10 FFT? F? TTTTFTFFF? (expected value) 2.00 2.00 2.00 0 1.00 0 1.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 0 (confidence rate) |
DNC |
FFT???TTTTFTFFF? TTT?-?TTTTTTTTT? --:-- / 4
|
FFT?F??TT?FTFFF? TTT?T?-TT-TTTTT? --:-- / 4
|
???????????????? ---?-?---------? --:-- / 0
|
???????????????? ---?-?---------? --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ---?-?---------? --:-- / 0
|
???????????????? ---?-?---------? --:-- / 0
|
| V50P50N20 TTFTFFF? ? TFTTF? ? (expected value) 2.00 2.00 2.00 2.00 1.00 2.00 2.00 0 0 1.00 2.00 2.00 2.00 2.00 0 0 (confidence rate) |
DNC |
TTFTFFF??TFTTF?? TTTTTTT??TTTTT?? --:-- / 4
|
TTFT?FF???FTTF?? TTTT-TT??-TTTT?? --:-- / 3
|
???????????????? -------??-----?? --:-- / 0
|
???????????????? -------??-----?? --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? -------??-----?? --:-- / 0
|
???????????????? -------??-----?? --:-- / 0
|
| V50P50N50 F? TFFFF? FTF? FTFT (expected value) 2.00 0 2.00 2.00 2.00 2.00 2.00 0 1.00 2.00 2.00 0 2.00 2.00 2.00 1.00 (confidence rate) |
DNC |
F?TFFFF?FTF?FTFT T?TTTTT?TTT?TTTT --:-- / 4
|
F?TFFFF??TF?FTF? T?TTTTT?-TT?TTT- --:-- / 4
|
???????????????? -?-----?---?---- --:-- / 0
|
???????????????? -?-----?---?---- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? -?-----?---?---- --:-- / 0
|
???????????????? -?-----?---?---- --:-- / 0
|
| V80P20N10 FT? F? TF? ? F? TTTFF (expected value) 1.00 2.00 0 2.00 0 2.00 1.00 0 0 1.00 0 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
DNC |
FT?F?TF??F?TTTFF TT?T?TT??T?TTTTT --:-- / 4
|
?T?F?T?????TTTFF -T?T?T-??-?TTTTT --:-- / 3
|
???????????????? --?-?--??-?----- --:-- / 0
|
???????????????? --?-?--??-?----- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? --?-?--??-?----- --:-- / 0
|
???????????????? --?-?--??-?----- --:-- / 0
|
| V80P20N20 FFT? ? FFFT? TTFFF? (expected value) 2.00 1.00 2.00 0 0 2.00 2.00 2.00 2.00 0 2.00 2.00 2.00 2.00 2.00 0 (confidence rate) |
DNC |
FFT??FFFT?TTFFF? TTT??TTTT?TTTTT? --:-- / 4
|
F?T??FFFT?TTFFF? T-T??TTTT?TTTTT? --:-- / 4
|
???????????????? ---??----?-----? --:-- / 0
|
???????????????? ---??----?-----? --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ---??----?-----? --:-- / 0
|
???????????????? ---??----?-----? --:-- / 0
|
| V80P20N50 FTF? F? ? T? FFTF? ? T (expected value) 1.00 2.00 1.00 0 1.00 0 0 1.00 0 1.00 1.00 1.00 1.00 0 0 1.00 (confidence rate) |
DNC |
FTF?F??T?FFTF??T TTT?T??T?TTTT??T --:-- / 3
|
?T?????????????? -T-?-??-?----??- --:-- / 0
|
???????????????? ---?-??-?----??- --:-- / 0
|
???????????????? ---?-??-?----??- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ---?-??-?----??- --:-- / 0
|
???????????????? ---?-??-?----??- --:-- / 0
|
| V80P50N10 FF? FTT? F? ? T? ? TTF (expected value) 2.00 2.00 0 1.00 1.00 2.00 0 2.00 0 0 2.00 0 0 2.00 2.00 2.00 (confidence rate) |
DNC |
FF?FTT?F??T??TTF TT?TTT?T??T??TTT --:-- / 3
|
FF???T?F??T??TTF TT?--T?T??T??TTT --:-- / 3
|
???????????????? --?---?-??-??--- --:-- / 0
|
???????????????? --?---?-??-??--- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? --?---?-??-??--- --:-- / 0
|
???????????????? --?---?-??-??--- --:-- / 0
|
| V80P50N20 T? ? ? T? FTFFFFFTTF (expected value) 2.00 0 0 0 1.00 0 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
DNC |
T???T?FTFFFFFTTF T???T?TTTTTTTTTT --:-- / 4
|
T?????FTFFFFF?TF T???-?TTTTTTT-TT --:-- / 3
|
???????????????? -???-?---------- --:-- / 0
|
???????????????? -???-?---------- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? -???-?---------- --:-- / 0
|
???????????????? -???-?---------- --:-- / 0
|
| V80P50N50 TT? ? ? TTFFTFTT? F? (expected value) 1.00 2.00 0 0 0 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 0 1.00 0 (confidence rate) |
DNC |
TT???TTFFTFTT?F? TT???TTTTTTTT?T? --:-- / 4
|
?T????TFF?FTT??? -T???-TTT-TTT?-? --:-- / 2
|
???????????????? --???--------?-? --:-- / 0
|
???????????????? --???--------?-? --:-- / 0
|
CC 0 |
DNF 0 |
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 | 13 | 90 | 73 | 15 | 15 | 10 | 5 | 25 | 15 | 15 |
| Road Runner | 0 | 4 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| Camel | 0 | 3 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| V04P05N02 FTTFFFTFFFFTTFFF (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 6.00 (confidence rate) |
FTTFFFTFFFFTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFFTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFFTTFFF TTTTTTTTTTTTTTTT --:PM / 5
|
FTTFFFTFFFFTTFF? TTTTTTTTTTTTTTT- --:-- / 5
|
FTTFFFTFFFFTTFF? TTTTTTTTTTTTTTT- --:-- / 5
|
FTTFFFTFFFFTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFFTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFFTTFFF TTTTTTTTTTTTTTTT --:-- / 5
|
FTTFFFTFFFFTTFF? TTTTTTTTTTTTTTT- --:-- / 5
|
FTTFFFTFFFFTTFF? TTTTTTTTTTTTTTT- --:-- / 5
|
| V10P10N10 TTFFTFFFFTFTFFFF (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) |
TTFFTFFFFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFFFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFFFTFTFFFF TTTTTTTTTTTTTTTT --:PM / 5
|
CC 0 |
CC 0 |
TTFFTFFFFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
DNF 0 |
TTFFTFFFFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N10 TFTTFFFTTTFFTTTT (expected value) 4.00 4.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 4.00 (confidence rate) |
TF?????????????T TT-------------T --:-- / 1
|
TFTTFFFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 5
|
TFTTFFFTTTFFTTTT TTTTTTTTTTTTTTTT --:PM / 5
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
TFTTFFFTTTFFTTTT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N20 TFTFTTFTFFFTFTFF (expected value) 2.00 3.00 2.00 2.00 2.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTFTTFTFFFTFTFF TTTTTTTTTTTTTTTT --:PM / 5
|
?F???T?????????? -T---T---------- --:-- / 1
|
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
TFTFTTFTFFFTFTFF TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
| V20P10N50 FTFFFTFFFTFTFFFF (expected value) 2.00 2.00 2.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 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFFFTFFFTFTFFFF TTTTTTTTTTTTTTTT --:PM / 5
|
FTFFFTFF?TFTFF?? TTTTTTTT-TTTTT-- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
CC 0 |
CC 0 |
| V20P20N10 TFTFFTTTFTFFTTFT (expected value) 7.00 8.00 7.00 8.00 8.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 7.00 8.00 8.00 8.00 (confidence rate) |
?F?FF????????TFT -T-TT--------TTT --:-- / 2
|
TFTFFTTTFTFFTTFT TTTTTTTTTTTTTTTT --:P- / 5
|
TFTFFTTTFTFFTTFT TTTTTTTTTTTTTTTT --:-M / 5
|
TFTFFTTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
TFTFFTTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
CC 0 |
CC 0 |
TFTFFTTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
TFTFFTTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
TFTFFTTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 5
|
| V20P20N20 TTFFTFFTFFFFFFFT (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) |
???????????????? ---------------- --:-- / 0
|
TTFFTFFTFFFFFFFT TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFTFFFFFFFT TTTTTTTTTTTTTTTT --:-M / 5
|
TTFFTFFTFFFFFFFT TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFTFFFFFFFT TTTTTTTTTTTTTTTT --:-- / 5
|
DNF 0 |
CC 0 |
DNF 0 |
TTFFTFFTFFFFFFFT TTTTTTTTTTTTTTTT --:-- / 5
|
TTFFTFFTFFFFFFFT TTTTTTTTTTTTTTTT --:P- / 5
|
| V20P20N50 FFFFFTFTFTFFFFFF (expected value) 2.00 2.00 1.00 1.00 1.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 1.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFFFFTFTFTFFFFFF TTTTTTTTTTTTTTTT --:PM / 5
|
FF???TFT??FF??FF TT---TTT--TT--TT --:-- / 3
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| V50P20N10 F? TFF? T? TTTFFTFT (expected value) 2.00 0 2.00 2.00 2.00 0 2.00 0 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
???????????????? -?---?-?-------- --:-- / 0
|
F?TFF?T?TTTFFTFT T?TTT?T?TTTTTTTT --:-- / 4
|
F?TFF?T?TTTFF?FT T?TTT?T?TTTTT-TT --:-- / 4
|
???????????????? -?---?-?-------- --:-- / 0
|
???????????????? -?---?-?-------- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? -?---?-?-------- --:-- / 0
|
???????????????? -?---?-?-------- --:-- / 0
|
| V50P20N20 T? FFTTT? TFTTFFFT (expected value) 1.00 0 2.00 2.00 2.00 2.00 1.00 0 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? -?-----?-------- --:-- / 0
|
T?FFTTT?TFTTFFFT T?TTTTT?TTTTTTTT --:-- / 5
|
??FFTT??TFT?FFFT -?TTTT-?TTT-TTTT --:-- / 4
|
???????????????? -?-----?-------- --:-- / 0
|
???????????????? -?-----?-------- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? -?-----?-------- --:-- / 0
|
???????????????? -?-----?-------- --:-- / 0
|
| V50P20N50 TTT? ? F? ? TTTFFFTF (expected value) 1.00 2.00 1.00 0 0 1.00 0 0 2.00 2.00 2.00 1.00 1.00 2.00 1.00 2.00 (confidence rate) |
???????????????? ---??-??-------- --:-- / 0
|
TTT??F??TTTFFFTF TTT??T??TTTTTTTT --:-- / 4
|
?T??????TTT??F?F -T-??-??TTT--T-T --:-- / 2
|
???????????????? ---??-??-------- --:-- / 0
|
???????????????? ---??-??-------- --:-- / 0
|
CC 0 |
DNF 0 |
CC 0 |
???????????????? ---??-??-------- --:-- / 0
|
???????????????? ---??-??-------- --:-- / 0
|
| V50P50N10 FFT? F? TTT? TF? FTT (expected value) 2.00 2.00 2.00 0 1.00 0 2.00 2.00 2.00 0 1.00 2.00 0 2.00 1.00 1.00 (confidence rate) |
???????????????? ---?-?---?--?--- --:-- / 0
|
FFT???TTT?TF?FTT TTT?-?TTT?TT?TTT --:-- / 4
|
FFT?F?TTT??F?F?? TTT?T?TTT?-T?T-- --:-- / 3
|
???????????????? ---?-?---?--?--- --:-- / 0
|
???????????????? ---?-?---?--?--- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ---?-?---?--?--- --:-- / 0
|
???????????????? ---?-?---?--?--- --:-- / 0
|
| V50P50N20 TTFTFFF? TTFTFFFF (expected value) 2.00 2.00 2.00 2.00 2.00 2.00 2.00 0 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? -------?-------- --:-- / 0
|
TTFTFFF?TTFTFFFF TTTTTTT?TTTTTTTT --:-- / 5
|
TTFTFFF?T?FTFFFF TTTTTTT?T-TTTTTT --:-- / 5
|
???????????????? -------?-------- --:-- / 0
|
???????????????? -------?-------- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? -------?-------- --:-- / 0
|
???????????????? -------?-------- --:-- / 0
|
| V50P50N50 F? TFFFF? T? TFTFFF (expected value) 2.00 0 2.00 2.00 2.00 2.00 2.00 0 2.00 0 1.00 2.00 2.00 2.00 2.00 1.00 (confidence rate) |
???????????????? -?-----?-?------ --:-- / 0
|
F?TFFFF?T?TFTFFF T?TTTTT?T?TTTTTT --:-- / 4
|
F?TFFFF?T??FTFF? T?TTTTT?T?-TTTT- --:-- / 4
|
???????????????? -?-----?-?------ --:-- / 0
|
???????????????? -?-----?-?------ --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? -?-----?-?------ --:-- / 0
|
???????????????? -?-----?-?------ --:-- / 0
|
| V80P20N10 FT? F? TFFFFTTFFFT (expected value) 1.00 2.00 0 2.00 0 2.00 1.00 1.00 2.00 2.00 2.00 1.00 1.00 1.00 2.00 2.00 (confidence rate) |
???????????????? --?-?----------- --:-- / 0
|
FT?F?TFFFFTT?FFT TT?T?TTTTTTT-TTT --:-- / 4
|
?T?F?T??FFT?F?FT -T?T?T--TTT-T-TT --:-- / 3
|
???????????????? --?-?----------- --:-- / 0
|
???????????????? --?-?----------- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? --?-?----------- --:-- / 0
|
???????????????? --?-?----------- --:-- / 0
|
| V80P20N20 FFT? ? FFFFFTTFTFF (expected value) 2.00 1.00 2.00 0 0 2.00 2.00 2.00 1.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---??----------- --:-- / 0
|
FFT??FFFFFTTFTFF TTT??TTTTTTTTTTT --:-- / 5
|
F?T??FFF??TTFTFF T-T??TTT--TTTTTT --:-- / 4
|
???????????????? ---??----------- --:-- / 0
|
???????????????? ---??----------- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ---??----------- --:-- / 0
|
???????????????? ---??----------- --:-- / 0
|
| V80P20N50 FTF? FF? T? TFFFF? F (expected value) 2.00 2.00 2.00 0 1.00 1.00 0 2.00 0 2.00 2.00 2.00 1.00 1.00 0 1.00 (confidence rate) |
???????????????? ---?--?-?-----?- --:-- / 0
|
FTF?FF?T?TFFFF?F TTT?TT?T?TTTTT?T --:-- / 4
|
FTF????T?TFF???? TTT?--?T?TTT--?- --:-- / 2
|
???????????????? ---?--?-?-----?- --:-- / 0
|
???????????????? ---?--?-?-----?- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ---?--?-?-----?- --:-- / 0
|
???????????????? ---?--?-?-----?- --:-- / 0
|
| V80P50N10 FF? FTT? FTT? TTFTT (expected value) 2.00 2.00 0 2.00 2.00 2.00 0 2.00 2.00 2.00 0 1.00 1.00 2.00 1.00 2.00 (confidence rate) |
???????????????? --?---?---?----- --:-- / 0
|
FF?FTT?FTT???FTT TT?TTT?TTT?--TTT --:-- / 4
|
FF?FTT?FTT?TTF?T TT?TTT?TTT?TTT-T --:-- / 4
|
???????????????? --?---?---?----- --:-- / 0
|
???????????????? --?---?---?----- --:-- / 0
|
CC 0 |
DNF 0 |
DNF 0 |
???????????????? --?---?---?----- --:-- / 0
|
???????????????? --?---?---?----- --:-- / 0
|
| V80P50N20 T? ? ? T? FT? FTTTT? T (expected value) 2.00 0 0 0 1.00 0 2.00 2.00 0 2.00 1.00 1.00 1.00 1.00 0 1.00 (confidence rate) |
???????????????? -???-?--?-----?- --:-- / 0
|
T???T?FT?FTTTT?T T???T?TT?TTTTT?T --:-- / 3
|
T?????FT?F?????? T???-?TT?T----?- --:-- / 1
|
???????????????? -???-?--?-----?- --:-- / 0
|
???????????????? -???-?--?-----?- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? -???-?--?-----?- --:-- / 0
|
???????????????? -???-?--?-----?- --:-- / 0
|
| V80P50N50 TT? ? ? TTFTFFTFFTT (expected value) 2.00 2.00 0 0 0 1.00 2.00 2.00 2.00 1.00 2.00 2.00 1.00 2.00 2.00 2.00 (confidence rate) |
???????????????? --???----------- --:-- / 0
|
TT???TTFT?FTFFTT TT???TTTT-TTTTTT --:-- / 4
|
TT????TFTFFT?FTT TT???-TTTTTT-TTT --:-- / 4
|
???????????????? --???----------- --:-- / 0
|
???????????????? --???----------- --:-- / 0
|
CC 0 |
CC 0 |
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 | 56 | 37 | 10 | 10 | 23 | 22 | 44 | 10 | 10 |
| Road Runner | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| Camel | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| 02 FTFTFFTTTTTFTFFT (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 5.00 (confidence rate) |
DNC |
FTFTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:PM / 11
|
FTFTFFTTTTTFTFF? TTTTTTTTTTTTTTT- --:-- / 10
|
FTFTFFTTTTTFTFF? TTTTTTTTTTTTTTT- --:-- / 10
|
FTFTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTTTTFTFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTTTTFTFF? TTTTTTTTTTTTTTT- --:-- / 10
|
FTFTFFTTTTTFTFF? TTTTTTTTTTTTTTT- --:-- / 10
|
| 03 TTTFTFTTTFTTFFFT (expected value) 5.00 4.00 3.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 5.00 3.00 5.00 4.00 3.00 4.00 (confidence rate) |
DNC |
TT?FTFT?TFT?FF?T TT-TTTT-TTT-TT-T --:-- / 8
|
T?????????T?F??? T---------T-T--- --:-- / 2
|
CC 0 |
CC 0 |
TTTFTFTTTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTFTTTFTTFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTFTTTFTTFFFT TTTTTTTTTTTTTTTT --:PM / 11
|
CC 0 |
CC 0 |
| 04 TFTFFTFFTFTFFFTT (expected value) 3.00 3.00 2.00 2.00 3.00 3.00 3.00 2.00 2.00 3.00 2.00 3.00 1 2.00 2.00 1 (confidence rate) |
DNC |
TFTFFTFFTFTF?FT? TTTTTTTTTTTT-TT- --:-- / 10
|
????FTF??F?F???? ----TTT--T-T---- --:-- / 3
|
CC 0 |
CC 0 |
TF?????????????? TT-------------- --:-- / 1
|
DNF 0 |
TFTFFTFFTFTFFFTT TTTTTTTTTTTTTTTT --:PM / 11
|
CC 0 |
CC 0 |
| 05 TTFFFFFTFFTTTFTT (expected value) 3.00 3.00 3.00 3.00 1 3.00 3.00 2.00 3.00 3.00 3.00 3.00 1 3.00 1 3.00 (confidence rate) |
DNC |
TTFF?FFTFFTT?F?T TTTT-TTTTTTT-T-T --:-- / 9
|
TTFF?FF?FFTT?F?T TTTT-TT-TTTT-T-T --:-- / 8
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
CC 0 |
TTFFFFFTFFTTTFTT TTTTTTTTTTTTTTTT --:PM / 11
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 07 TFF? TTTFTFTFFTTF (expected value) 2.00 2.00 2.00 0 2.00 2.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
DNC |
TFF?TTTFTFTFFTTF TTT?TTTTTTTTTTTT --:-- / 10
|
TFF?TTTFT??FF?TF TTT?TTTTT--TT-TT --:-- / 8
|
???????????????? ---?------------ --:-- / 0
|
???????????????? ---?------------ --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? ---?------------ --:-- / 0
|
???????????????? ---?------------ --:-- / 0
|
| 10 ? TF? TTT? ? TTFFTT? (expected value) 0 1.00 1.00 0 1.00 2.00 2.00 0 0 2.00 2.00 2.00 2.00 2.00 1.00 0 (confidence rate) |
DNC |
?TF?TTT??TTFFTT? ?TT?TTT??TTTTTT? --:-- / 8
|
?????TT??TTFFT?? ?--?-TT??TTTTT-? --:-- / 5
|
???????????????? ?--?---??------? --:-- / 0
|
???????????????? ?--?---??------? --:-- / 0
|
CC 0 |
CC 0 |
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 | 27 | 60 | 50 | 11 | 11 | 33 | 22 | 44 | 11 | 11 |
| Road Runner | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| Camel | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| 02 FTFTFFTTFFFTFTTF (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) |
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:PM / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFTFFTTFFFTFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
| 03 TTTFTFTTFTTTFTFF (expected value) 6.00 6.00 5.00 5.00 6.00 6.00 6.00 4.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTFTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 11
|
TT?FTFT?FTTTFTFF TT-TTTT-TTTTTTTT --:-- / 10
|
TTT?TFT?FTTTFTFF TTT-TTT-TTTTTTTT --:-- / 10
|
CC 0 |
CC 0 |
TTTFTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTTFTFTTFTTTFTFF TTTTTTTTTTTTTTTT --:PM / 11
|
CC 0 |
CC 0 |
| 04 TFTFFTFFTTTFTTFT (expected value) 5.00 5.00 5.00 4.00 4.00 5.00 5.00 4.00 3.00 4.00 3.00 4.00 4.00 4.00 5.00 4.00 (confidence rate) |
TFT??TF???????FT TTT--TT-------TT --:-- / 5
|
TFTFFTFFTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
TFTFFTFF?T?FTTF? TTTTTTTT-T-TTTT- --:-- / 9
|
CC 0 |
CC 0 |
TFTFFTFFTTTFTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
TFTFFTFFTTTFTTFT TTTTTTTTTTTTTTTT --:PM / 11
|
CC 0 |
CC 0 |
| 05 TTFFFFFTFFTTTFFT (expected value) 3.00 3.00 3.00 3.00 1 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 2.00 3.00 3.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFF?FFTFFTTTFFT TTTT-TTTTTTTTTTT --:-- / 10
|
TTFF?FFTFFTTT?FT TTTT-TTTTTTTT-TT --:-- / 10
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
CC 0 |
TTFFFFFTFFTTTFFT TTTTTTTTTTTTTTTT --:PM / 11
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 07 TFF? TTTFFFFTT? FF (expected value) 1.00 1.00 1.00 0 1.00 2.00 2.00 2.00 2.00 1.00 1.00 2.00 1.00 0 2.00 1.00 (confidence rate) |
???????????????? ---?---------?-- --:-- / 0
|
TFF?TTTFFFFTT?FF TTT?TTTTTTTTT?TT --:-- / 10
|
?????TTFF??T??F? ---?-TTTT--T-?T- --:-- / 4
|
???????????????? ---?---------?-- --:-- / 0
|
???????????????? ---?---------?-- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? ---?---------?-- --:-- / 0
|
???????????????? ---?---------?-- --:-- / 0
|
| 10 ? T? ? TTT? FFTFFTTT (expected value) 0 1.00 0 0 1.00 2.00 2.00 0 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ?-??---?-------- --:-- / 0
|
?T??TTT?FFTFFTTT ?T??TTT?TTTTTTTT --:-- / 8
|
?????TT??FTFFTTT ?-??-TT?-TTTTTTT --:-- / 6
|
???????????????? ?-??---?-------- --:-- / 0
|
???????????????? ?-??---?-------- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? ?-??---?-------- --:-- / 0
|
???????????????? ?-??---?-------- --:-- / 0
|
| CircadianClock — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 57 | 89 | 84 | 19 | 19 | 76 | 57 | 57 | 38 | 38 |
| Road Runner | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 2 | 1 | 0 |
| Camel | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 1 |
| 000001 TFTFFTFTFTFTFFFF (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) |
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-M / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:P- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
TFTFFTFTFTFTFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
| 000010 FTFTFFTTTFTFFFFF (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) |
FTFTFFTTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
FTFTFFTTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
FTFTFFTTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
CC 0 |
CC 0 |
FTFTFFTTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
FTFTFFTTTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 19
|
FTFTFFTTTFTFFFFF TTTTTTTTTTTTTTTT --:PM / 19
|
CC 0 |
CC 0 |
| 000100 TTTTTTTFFTFFFTTF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 4.00 4.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 6.00 (confidence rate) |
TTTTTTTFFTFFFTTF TTTTTTTTTTTTTTTT --:-- / 19
|
????????FTFFFTTF --------TTTTTTTT --:-- / 10
|
????????FTFFFTTF --------TTTTTTTT --:-- / 10
|
CC 0 |
CC 0 |
TTTTTTTFFTFFFTTF TTTTTTTTTTTTTTTT --:-- / 19
|
TTTTTTTFFTFFFTTF TTTTTTTTTTTTTTTT --:-- / 19
|
TTTTTTTFFTFFFTTF TTTTTTTTTTTTTTTT --:PM / 19
|
CC 0 |
CC 0 |
| 001000 FFTTFTTFFTFTFTTF (expected value) 3.00 3.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) |
???????????????? ---------------- --:-- / 0
|
??TTFTTFFTFTFTTF --TTTTTTTTTTTTTT --:-- / 17
|
???TFTTFFTFTFTTF ---TTTTTTTTTTTTT --:-- / 16
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FFTTFTTFFTFTFTTF TTTTTTTTTTTTTTTT --:-- / 19
|
DNF 0 |
DNF 0 |
FFTTFTTFFTFTFTTF TTTTTTTTTTTTTTTT --:P- / 19
|
FFTTFTTFFTFTFTTF TTTTTTTTTTTTTTTT --:-M / 19
|
| 010000 ? ? F? F? ? FFFFFFFFF (expected value) 0 0 1.00 0 2.00 0 0 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 1.00 (confidence rate) |
???????????????? ??-?-??--------- --:-- / 0
|
??F?F??FFFFFFFFF ??T?T??TTTTTTTTT --:-- / 13
|
????F??FFFFFFF?? ??-?T??TTTTTTT-- --:-- / 10
|
???????????????? ??-?-??--------- --:-- / 0
|
???????????????? ??-?-??--------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ??-?-??--------- --:-- / 0
|
???????????????? ??-?-??--------- --:-- / 0
|
| 100000 ? ? ? ? ? ? ? FFTTFFTFF (expected value) 0 0 0 0 0 0 0 2.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ???????--------- --:-- / 0
|
???????FFTTFFTFF ???????TTTTTTTTT --:-- / 11
|
???????FFTTFF?FF ???????TTTTTT-TT --:-- / 10
|
???????????????? ???????--------- --:-- / 0
|
???????????????? ???????--------- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? ???????--------- --:-- / 0
|
???????????????? ???????--------- --:-- / 0
|
| CircularTrains — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 55 | 67 | 69 | 16 | 18 | 69 | 51 | 68 | 17 | 17 |
| Road Runner | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| Camel | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| 012 FTTTTFFTFTTTTFFT (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 9.00 10.00 10.00 10.00 (confidence rate) |
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:P- / 17
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-M / 17
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFFTFTTT?FFT TTTTTTTTTTTT-TTT --:-- / 16
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
FTTTTFFTFTTTTFFT TTTTTTTTTTTTTTTT --:-- / 17
|
| 024 TTTTFFTTFTFFTTFT (expected value) 5.00 5.00 5.00 5.00 5.00 5.00 6.00 6.00 5.00 5.00 5.00 5.00 6.00 5.00 6.00 5.00 (confidence rate) |
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
??????TT????T?F? ------TT----T-T- --:-- / 4
|
CC 0 |
CC 0 |
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:-- / 17
|
TTTTFFTTFTFFTTFT TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
| 048 FFFFFFFFTFTFFFFF (expected value) 5.00 6.00 5.00 6.00 6.00 4.00 6.00 5.00 6.00 4.00 5.00 4.00 4.00 6.00 6.00 5.00 (confidence rate) |
FFFFFFFFTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
?F?FF?FFT????FFF -T-TT-TTT----TTT --:-- / 10
|
FFFFF?F?T?T??FF? TTTTT-T-T-T--TT- --:-- / 11
|
CC 0 |
CC 0 |
FFFFFFFFTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFFFFFFTFTFFFFF TTTTTTTTTTTTTTTT --:-- / 17
|
FFFFFFFFTFTFFFFF TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
| 096 FFTFFTTFFFFFTFTT (expected value) 4.00 3.00 2.00 3.00 3.00 3.00 3.00 2.00 4.00 2.00 3.00 2.00 3.00 4.00 3.00 5.00 (confidence rate) |
?F?????????????T -T-------------T --:-- / 2
|
F???????F?F??F?T T-------T-T--T-T --:-- / 5
|
F??FFTT?F???TFTT T--TTTT-T---TTTT --:-- / 11
|
CC 0 |
CC 0 |
FFTFFTTFFFFFTFTT TTTTTTTTTTTTTTTT --:-- / 17
|
CC 0 |
FFTFFTTFFFFFTFTT TTTTTTTTTTTTTTTT --:PM / 17
|
CC 0 |
CC 0 |
| 192 FFTFTT? ? T? T? ? ? ? ? (expected value) 2.00 1.00 3.00 1.00 2.00 2.00 0 0 2.00 0 1.00 0 0 0 0 0 (confidence rate) |
?FT????????????? -TT---??-?-????? --:-- / 2
|
F?T?TT??T?T????? T-T-TT??T?T????? --:-- / 6
|
F?TFTT??T??????? T-TTTT??T?-????? --:-- / 6
|
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
CC 0 |
CC 0 |
| 384 TT? ? TTFTTT? ? F? FF (expected value) 4.00 2.00 0 0 1.00 1.00 1.00 1.00 1.00 1.00 0 0 2.00 0 2.00 1.00 (confidence rate) |
???????????????? --??------??-?-- --:-- / 0
|
TT??T????T??F?F? TT??T----T??T?T- --:-- / 6
|
TT???TFTT???F?FF TT??-TTTT-??T?TT --:-- / 10
|
???????????????? --??------??-?-- --:-- / 0
|
T??????????????? T-??------??-?-- --:-- / 1
|
T??????????????? T-??------??-?-- --:-- / 1
|
CC 0 |
DNF 0 |
???????????????? --??------??-?-- --:-- / 0
|
???????????????? --??------??-?-- --:-- / 0
|
| 768 TT? ? FF? ? F? TF? ? FF (expected value) 2.00 2.00 0 0 2.00 2.00 0 0 2.00 0 2.00 1.00 0 0 1.00 1.00 (confidence rate) |
???????????????? --??--??-?--??-- --:-- / 0
|
TT??FF??F?T????? TT??TT??T?T-??-- --:-- / 6
|
TT??FF??F?TF??FF TT??TT??T?TT??TT --:-- / 10
|
???????????????? --??--??-?--??-- --:-- / 0
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
???????????????? --??--??-?--??-- --:-- / 0
|
???????????????? --??--??-?--??-- --:-- / 0
|
| ClientsAndServers — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 26 | 103 | 96 | 27 | 27 | 27 | 12 | 32 | 74 | 74 |
| Road Runner | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 2 |
| Camel | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 | 2 | 1 |
| N0001P0 TFFFFTFTFFFFTTFF (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) |
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:PM / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
TFFFFTFTFFFFTTFF TTTTTTTTTTTTTTTT --:-- / 8
|
| N0002P0 TTTFFTFFFFTFTTTT (expected value) 9.00 10.00 10.00 9.00 9.00 9.00 8.00 8.00 8.00 8.00 9.00 8.00 8.00 8.00 8.00 8.00 (confidence rate) |
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:P- / 8
|
?TT???????T????? -TT-------T----- --:-- / 1
|
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFFT?????????? TTTTTT---------- --:-- / 3
|
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:-M / 8
|
TTTFFTFFFFTFTTTT TTTTTTTTTTTTTTTT --:-- / 8
|
| N0002P1 TTTFTTTFTFFTTTTF (expected value) 10.00 9.00 8.00 8.00 9.00 9.00 8.00 8.00 9.00 9.00 9.00 8.00 8.00 9.00 9.00 8.00 (confidence rate) |
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:P- / 8
|
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
T???TT??TFF??TT? T---TT--TTT--TT- --:-- / 4
|
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TT?????????????? TT-------------- --:-- / 1
|
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:-M / 8
|
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
TTTFTTTFTFFTTTTF TTTTTTTTTTTTTTTT --:-- / 8
|
| N0005P0 FFTTTFTFTFTTTFTF (expected value) 8.00 8.00 8.00 5.00 8.00 8.00 8.00 5.00 5.00 5.00 4.00 5.00 4.00 2.00 5.00 6.00 (confidence rate) |
?F?T???????????F -T-T-----------T --:-- / 1
|
F?T?TFTFTF?T?FTF T-T-TTTTTT-T-TTT --:-- / 6
|
FFT?TFTFTFTTT?TF TTT-TTTTTTTTT-TT --:-- / 7
|
FFTTTFT????????? TTTTTTT--------- --:-- / 3
|
FFTTTFT????????? TTTTTTT--------- --:-- / 3
|
FFTTTFT????????? TTTTTTT--------- --:-- / 3
|
DNF 0 |
FFTTTFTFTFTTTFTF TTTTTTTTTTTTTTTT --:PM / 8
|
FFT?TFTFTFTTT?TF TTT-TTTTTTTTT-TT --:-- / 7
|
FFT?TFTFTFTTT?TF TTT-TTTTTTTTT-TT --:-- / 7
|
| N0005P1 TTFFFFTFFFTTFFTT (expected value) 5.00 4.00 4.00 4.00 4.00 4.00 3.00 3.00 4.00 4.00 4.00 4.00 4.00 4.00 5.00 5.00 (confidence rate) |
T?????????????TT T-------------TT --:-- / 1
|
TTFFFF??FFTTFFTT TTTTTT--TTTTTTTT --:-- / 7
|
TTFFFFTFFFTTFFTT TTTTTTTTTTTTTTTT --:-M / 8
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
TTFFFFTFFFTTFFTT TTTTTTTTTTTTTTTT --:-- / 8
|
TTFFFFTFFFTTFFTT TTTTTTTTTTTTTTTT --:P- / 8
|
| N0010P0 TFTTTTFFTFTFFFTF (expected value) 2.00 1.00 2.00 1.00 1.00 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFT???FFTFTFFFTF TTT---TTTTTTTTTT --:-- / 6
|
T?TTTTFFT?TFF?TF T-TTTTTTT-TTT-TT --:-- / 6
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| N0010P1 FFFFTTTFFFTTTFFF (expected value) 4.00 4.00 4.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 4.00 4.00 2 4.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFFFTT?FFFTT?FFF TTTTTT-TTTTT-TTT --:-- / 7
|
FFFFTTTFFFTT?FFF TTTTTTTTTTTT-TTT --:-- / 7
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
FFFFTTTFFFTTTFFF TTTTTTTTTTTTTTTT --:P- / 8
|
FFFFTTTFFFTTTFFF TTTTTTTTTTTTTTTT --:-M / 8
|
| N0010P2 FFFFFFTFFTT? TTTF (expected value) 1.00 1.00 1.00 1.00 1.00 1.00 2.00 1.00 1.00 2.00 1.00 0 2.00 1.00 1.00 2.00 (confidence rate) |
???????????????? -----------?---- --:-- / 0
|
FFF??FT?FTT?TTTF TTT--TT-TTT?TTTT --:-- / 6
|
???FF?TF?T??T??F ---TT-TT-T-?T--T --:-- / 3
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? -----------?---- --:-- / 0
|
???????????????? -----------?---- --:-- / 0
|
| N0020P0 FFFTFTFTFFFTTFFT (expected value) 3.00 3.00 4.00 3.00 2.00 4.00 3.00 4.00 4.00 4.00 3.00 4.00 4.00 4.00 3.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
??F?FT?TFFFTTF?T --T-TT-TTTTTTT-T --:-- / 5
|
FFFTFTFTFF?TTFFT TTTTTTTTTT-TTTTT --:-- / 7
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
FFFT?TFTFFFTTFFT TTTT-TTTTTTTTTTT --:-- / 7
|
FFFT?TFTFFFTTFFT TTTT-TTTTTTTTTTT --:-- / 7
|
| N0020P1 ? FF? TF? FFT? TFF? ? (expected value) 0 2.00 1.00 0 1.00 1.00 0 1.00 1.00 1.00 0 1.00 1.00 1.00 0 0 (confidence rate) |
???????????????? ?--?--?---?---?? --:-- / 0
|
?FF?T??FFT?TFF?? ?TT?T-?TTT?TTT?? --:-- / 4
|
?F???F?????????? ?T-?-T?---?---?? --:-- / 1
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ?--?--?---?---?? --:-- / 0
|
???????????????? ?--?--?---?---?? --:-- / 0
|
| N0020P2 TFFFFFFTFFTFFFTT (expected value) 3.00 4.00 4.00 4.00 4.00 3.00 3.00 4.00 4.00 4.00 4.00 3.00 4.00 3.00 4.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?FFFFF?TFFTFF?TT -TTTTT-TTTTTT-TT --:-- / 6
|
TFFFF?FTFFT?FFTT TTTTT-TTTTT-TTTT --:-- / 7
|
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
DNF 0 |
TFFFFFFTFFTFFFTT TTTTTTTTTTTTTTTT --:-M / 8
|
TFFFFFFTFFTFFFTT TTTTTTTTTTTTTTTT --:P- / 8
|
| N0020P3 FF? F? T? ? FTFFFTT? (expected value) 1.00 1.00 0 1.00 0 1.00 0 0 1.00 1.00 1.00 1.00 1.00 1.00 1.00 0 (confidence rate) |
???????????????? --?-?-??-------? --:-- / 0
|
FF?F?T??FTFFFTT? TT?T?T??TTTTTTT? --:-- / 5
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? --?-?-??-------? --:-- / 0
|
???????????????? --?-?-??-------? --:-- / 0
|
| N0020P4 TTFF? FTFFF? TT? TT (expected value) 3.00 4.00 3.00 4.00 0 3.00 4.00 4.00 4.00 3.00 0 4.00 4.00 0 4.00 2.00 (confidence rate) |
???????????????? ----?-----?--?-- --:-- / 0
|
TT?F??TFF??TT?TT TT-T?-TTT-?TT?TT --:-- / 5
|
?TFF?FTFFF?TT?TT -TTT?TTTTT?TT?TT --:-- / 6
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
TTFF?FTFFF?TT?T? TTTT?TTTTT?TT?T- --:-- / 6
|
TTFF?FTFFF?TT?T? TTTT?TTTTT?TT?T- --:-- / 6
|
| N0050P0 FTFTFFFT? FFFFFFT (expected value) 4.00 3.00 4.00 4.00 3.00 1.00 4.00 4.00 0 2 2.00 3.00 4.00 1.00 4.00 4.00 (confidence rate) |
???????????????? --------?------- --:-- / 0
|
F?FTF?FT??F?FFFT T-TTT-TT?-T-TTTT --:-- / 5
|
FTFT?FFT??FFF?FT TTTT-TTT?-TTT-TT --:-- / 6
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
FTFTF?FT?F?FF?FT TTTTT-TT?T-TT-TT --:-- / 6
|
FTFTF?FT?F?FF?FT TTTTT-TT?T-TT-TT --:-- / 6
|
| N0100P0 F? TFT? FTTTT? FTT? (expected value) 1.00 0 1.00 2.00 2.00 0 2.00 2.00 1.00 2.00 1.00 0 1.00 1.00 2.00 0 (confidence rate) |
???????????????? -?---?-----?---? --:-- / 0
|
???FT?FTTT???TT? -?-TT?TTTT-?-TT? --:-- / 4
|
F?TFT?FT?TT?F?T? T?TTT?TT-TT?T-T? --:-- / 5
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? -?---?-----?---? --:-- / 0
|
???????????????? -?---?-----?---? --:-- / 0
|
| N0200P0 F? FFFFFFF? FTT? FF (expected value) 2.00 0 1.00 2.00 2.00 2.00 2.00 1.00 2.00 0 1.00 1.00 2.00 0 1.00 2.00 (confidence rate) |
???????????????? -?-------?---?-- --:-- / 0
|
F??FFFF?F?FTT??F T?-TTTT-T?TTT?-T --:-- / 5
|
F?FFFFFFF??FT?FF T?TTTTTTT?-XT?TT V-:-- / 4
|
DNF 0 |
DNF 0 |
DNF 0 |
CC 0 |
DNF 0 |
???????????????? -?-------?---?-- --:-- / 0
|
???????????????? -?-------?---?-- --:-- / 0
|
| N0500P0 ? F? ? ? TTFFFTTTF? F (expected value) 0 2.00 0 0 0 2.00 2.00 1.00 2.00 2.00 1.00 1.00 1.00 1.00 0 1.00 (confidence rate) |
???????????????? ?-???---------?- --:-- / 0
|
?F???TT?FF?????? ?T???TT-TT----?- --:-- / 2
|
?F???TTFFFTTTF?F ?T???TTTTTTTTT?T --:-- / 5
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ?-???---------?- --:-- / 0
|
???????????????? ?-???---------?- --:-- / 0
|
| N1000P0 ? FTFFFF? T? FFFFF? (expected value) 0 2.00 2.00 2.00 2.00 2.00 1.00 0 1.00 0 1.00 1.00 1.00 1.00 2.00 0 (confidence rate) |
???????????????? ?------?-?-----? --:-- / 0
|
?FTFFFF???????F? ?TTTTTT?-?----T? --:-- / 3
|
?FTFFF??T?FFFFF? ?TTTTT-?T?TTTTT? --:-- / 5
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ?------?-?-----? --:-- / 0
|
???????????????? ?------?-?-----? --:-- / 0
|
| N2000P0 ? ? T? T? T? ? ? FTFT? F (expected value) 0 0 2.00 0 1.00 0 2.00 0 0 0 1.00 1.00 1.00 1.00 0 2.00 (confidence rate) |
???????????????? ??-?-?-???----?- --:-- / 0
|
??T?T?T?????F??F ??T?T?T???--T-?T --:-- / 2
|
??T???T???FT?T?F ??T?-?T???TT-T?T --:-- / 3
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
DNF 0 |
???????????????? ??-?-?-???----?- --:-- / 0
|
???????????????? ??-?-?-???----?- --:-- / 0
|
| N5000P0 ? T? ? TT? TF? F? ? ? FT (expected value) 0 1.00 0 0 1.00 2.00 0 1.00 2.00 0 1.00 0 0 0 1.00 1.00 (confidence rate) |
???????????????? ?-??--?--?-???-- --:-- / 0
|
?????T??F?????F? ?-??-T?-T?-???T- --:-- / 1
|
?T??TT?TF?F????T ?T??TT?TT?T???-T --:-- / 3
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
???????????????? ?-??--?--?-???-- --:-- / 0
|
???????????????? ?-??--?--?-???-- --:-- / 0
|
| CloudDeployment — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 66 | 122 | 101 | 11 | 11 | 68 | 68 | 55 | 44 | 44 |
| Road Runner | 0 | 3 | 0 | 0 | 0 | 1 | 4 | 0 | 0 | 0 |
| Camel | 0 | 3 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 3 |
| 2a FFFTFFFTFTFFFFFF (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) |
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:PM / 11
|
FFFTFFF?FTFFFFFF TTTTTTT-TTTTTTTT --:-- / 10
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTFFFTFTFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
| 2b FFTTFTFFTTTFFFTT (expected value) 3.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 1.00 2.00 2.00 1.00 1.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTTFTFFTTTFFFTT TTTTTTTTTTTTTTTT --:PM / 11
|
?FTTFTFF??TF??TT -TTTTTTT--TT--TT --:-- / 8
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
F??????????????? T--------------- --:-- / 1
|
F??????????????? T--------------- --:-- / 1
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 3a TFTFFFTTTFTTFTTT (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) |
TFTFFFTTTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFTFFFTTTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFTFFFTTTFTTFTTT TTTTTTTTTTTTTTTT --:-M / 11
|
CC 0 |
CC 0 |
TFTFFFTTTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
TFTFFFTTTFTTFTTT TTTTTTTTTTTTTTTT --:P- / 11
|
TFTFFFTTTFTTFTTT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
CC 0 |
| 3b FTFTTFTTTFFFFTFF (expected value) 3.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 1.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?TFTT?TTTFFFFTFF -TTTT-TTTTTTTTTT --:-- / 10
|
F?FTTFTTTFFFF??F T-TTTTTTTTTTT--T --:-- / 9
|
CC 0 |
CC 0 |
FT?????????????? TT-------------- --:-- / 1
|
F??????????????? T--------------- --:-- / 1
|
DNF 0 |
CC 0 |
CC 0 |
| 4a FFFFFFFFTTTTTTFT (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) |
FFFFFFFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFFFFFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFFFFFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
CC 0 |
CC 0 |
FFFFFFFFTTTTTTFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFFFFFFTTTTTTFT TTTTTTTTTTTTTTTT --:P- / 11
|
FFFFFFFFTTTTTTFT TTTTTTTTTTTTTTTT --:-M / 11
|
CC 0 |
CC 0 |
| 4b TTFTFFTFFFTFTTFT (expected value) 1.00 2.00 2.00 2.00 2.00 1.00 1.00 1.00 1.00 1.00 1.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFTFFTFFFTFTTFT TTTTTTTTTTTTTTTT --:PM / 11
|
?TFTF??????FTTFT -TTTT------TTTTT --:-- / 6
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 5a TTFTTFFTFFFFFFFF (expected value) 7.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 8.00 7.00 8.00 8.00 8.00 8.00 7.00 8.00 (confidence rate) |
TTFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
?TFTTFFTF?FFFF?F -TTTTTTTT-TTTT-T --:-- / 9
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
TTFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT --:P- / 11
|
TTFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT --:-- / 11
|
TTFTTFFTFFFFFFFF TTTTTTTTTTTTTTTT --:-M / 11
|
| 5b FTFTFTTTTFFFFFFF (expected value) 2.00 1.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 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFTFTTTTFFF?FFF TTTTTTTTTTTT-TTT --:-- / 10
|
F?FTFT?TTFFFFFFF T-TTTT-TTTTTTTTT --:-- / 10
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 6a FFFTTTTTFFTTFFFT (expected value) 7.00 6.00 8.00 6.00 8.00 8.00 6.00 8.00 8.00 6.00 8.00 8.00 7.00 7.00 8.00 8.00 (confidence rate) |
FFFTTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
??F?TT?TF?TTFFFT --T-TT-TT-TTTTTT --:-- / 8
|
F?F?TT?TF?TT??FT T-T-TT-TT-TT--TT --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FFFTTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:P- / 11
|
FFFTTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-- / 11
|
FFFTTTTTFFTTFFFT TTTTTTTTTTTTTTTT --:-M / 11
|
| 6b TFFFFT? FFFTTTFFT (expected value) 1.00 2.00 1.00 2.00 2.00 2.00 0 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ------?--------- --:-- / 0
|
TFFFFT?FFFTTTFFT TTTTTT?TTTTTTTTT --:-- / 10
|
?F?FFT?FF?TTTFFT -T-TTT?TT-TTTTTT --:-- / 8
|
???????????????? ------?--------- --:-- / 0
|
???????????????? ------?--------- --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? ------?--------- --:-- / 0
|
???????????????? ------?--------- --:-- / 0
|
| 7a FTFFFTFFFFFFFTTF (expected value) 5.00 7.00 7.00 7.00 7.00 5.00 7.00 7.00 7.00 6.00 7.00 6.00 7.00 5.00 6.00 5.00 (confidence rate) |
FTFFFTFFFFFFFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
?TFFF?FFFFFFF?T? -TTTT-TTTTTTT-T- --:-- / 8
|
?TFFF?FFF?F?F??? -TTTT-TTT-T-T--- --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
FTFFFTFFFFFFFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFFFTFFFFFFFTTF TTTTTTTTTTTTTTTT --:P- / 11
|
DNF 0 |
FTFFFTFFFFFFFTTF TTTTTTTTTTTTTTTT --:-- / 11
|
FTFFFTFFFFFFFTTF TTTTTTTTTTTTTTTT --:-M / 11
|
| 7b FTTFFF? FFFTFTFFF (expected value) 1.00 1.00 1.00 2.00 1.00 1.00 0 2.00 1.00 2.00 2.00 2.00 1.00 2.00 1.00 2.00 (confidence rate) |
???????????????? ------?--------- --:-- / 0
|
FTTFFF?F?FTFTFFF TTTTTT?T-TTTTTTT --:-- / 10
|
???F???FFFTF?F?F ---T--?TTTTT-T-T --:-- / 6
|
???????????????? ------?--------- --:-- / 0
|
???????????????? ------?--------- --:-- / 0
|
CC 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 | 0 | 146 | 119 | 25 | 24 | 30 | 12 | 0 | 26 | 26 |
| Road Runner | 0 | 5 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 0 | 5 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 301 FFFFFFFTFTTF? TFT (expected value) 8.00 7.00 7.00 5.00 4.00 5.00 5.00 1.00 5.00 5.00 5.00 5.00 0 4.00 5.00 2.00 (confidence rate) |
???????????????? ------------?--- --:-- / 0
|
FFFFFFFTFTTF??FT TTTTTTTTTTTT?-TT --:-- / 6
|
FFFF?FF?FTTF?TFT TTTT-TT-TTTT?TTT --:-- / 6
|
FFFFFFF?FTTF?TF? TTTTTTT-TTTT?TT- --:-- / 6
|
FFF????????????? TTT---------?--- --:-- / 1
|
FFF????????????? TTT---------?--- --:-- / 1
|
F??????????????? T-----------?--- --:-- / 0
|
DNF 0 |
FFFFFFF?FTTF?TF? TTTTTTT-TTTT?TT- --:-- / 6
|
FFFFFFF?FTTF?TF? TTTTTTT-TTTT?TT- --:-- / 6
|
| 302 FFFFTTFFTFFTFFTT (expected value) 5.00 4.00 3.00 3.00 3.00 3.00 3.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFFFTTFFTFFTFFTT TTTTTTTTTTTTTTTT --:-- / 7
|
FFFFTTFFTFFTFFTT TTTTTTTTTTTTTTTT --:PM / 7
|
???????????????? ---------------- --:-- / 0
|
FF?????????????? TT-------------- --:-- / 1
|
FFFFTTF????????? TTTTTTT--------- --:-- / 3
|
F??????????????? T--------------- --:-- / 0
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 303 TFFTFFFTTFFTFF? T (expected value) 3.00 5.00 4.00 5.00 5.00 3.00 5.00 4.00 5.00 2.00 1.00 2.00 2.00 2.00 0 2.00 (confidence rate) |
???????????????? --------------?- --:-- / 0
|
?F?TF?FTTF?TFF?T -T-TT-TTTT-TTT?T --:-- / 5
|
?FFTF?F?TFFTFF?T -TTTT-T-TTTTTT?T --:-- / 5
|
???????????????? --------------?- --:-- / 0
|
TFFTFFFTT??????? TTTTTTTTT-----?- --:-- / 4
|
TFFTFFFTT??????? TTTTTTTTT-----?- --:-- / 4
|
TFFTFFFTT??????? TTTTTTTTT-----?- --:-- / 4
|
DNF 0 |
???????????????? --------------?- --:-- / 0
|
???????????????? --------------?- --:-- / 0
|
| 304 TTTFTFTFFTTTFTFT (expected value) 2.00 1.00 1.00 2.00 1.00 1.00 2.00 1.00 2.00 1.00 2.00 1.00 1.00 2.00 2.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTFTFTFFTTTFTF? TTTTTTTTTTTTTTT- --:-- / 7
|
T??F??T?F?T??TFT T--T--T-T-T--TTT --:-- / 4
|
???????????????? ---------------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 305 TFFTFTTFFFFFTTTT (expected value) 6.00 6.00 6.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 1.00 2.00 1.00 2.00 1.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?FFTFTTFFFFFTTTT -TTTTTTTTTTTTTTT --:-- / 7
|
TFFTFT?FFFF?T?T? TTTTTT-TTTT-T-T- --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
TFF????????????? TTT------------- --:-- / 1
|
TFF????????????? TTT------------- --:-- / 1
|
T??????????????? T--------------- --:-- / 0
|
DNF 0 |
TFF????????????? TTT------------- --:-- / 1
|
TFF????????????? TTT------------- --:-- / 1
|
| 306 TFTTTTTTTFFTFFFT (expected value) 4.00 4.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 1.00 1.00 1.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TFTTTTTTTFFTFF?T TTTTTTTTTTTTTT-T --:-- / 7
|
TFTTTTT?TFFT??FT TTTTTTT-TTTT--TT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
TF?????????????? TT-------------- --:-- / 1
|
TF?????????????? TT-------------- --:-- / 1
|
CC 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 307 TTFFFFFFTFFTTFTF (expected value) 3.00 5.00 5.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
?TFFFFFFTFFTTFTF -TTTTTTTTTTTTTTT --:-- / 7
|
?TFFFFF?TFFTTFTF -TTTTTT-TTTTTTTT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
TTF????????????? TTT------------- --:-- / 1
|
TTF????????????? TTT------------- --:-- / 1
|
TTF????????????? TTT------------- --:-- / 1
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 308 FFFTFF? TTFTFFTFF (expected value) 5.00 5.00 5.00 4.00 2.00 2.00 0 2.00 2.00 1.00 1.00 2.00 1.00 2.00 1.00 1.00 (confidence rate) |
???????????????? ------?--------- --:-- / 0
|
FFFTFF?TTFTFFTF? TTTTTT?TTTTTTTT- --:-- / 6
|
FFFTFF?TT??F?T?F TTTTTT?TT--T-T-T --:-- / 5
|
???????????????? ------?--------- --:-- / 0
|
FFFT???????????? TTTT--?--------- --:-- / 2
|
FFFT???????????? TTTT--?--------- --:-- / 2
|
FFF????????????? TTT---?--------- --:-- / 1
|
DNF 0 |
???????????????? ------?--------- --:-- / 0
|
???????????????? ------?--------- --:-- / 0
|
| 309 FFTTFTFT? FFFTF? F (expected value) 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 0 2.00 2.00 2.00 2.00 2.00 0 2.00 (confidence rate) |
???????????????? --------?-----?- --:-- / 0
|
FFTTFTFT?FFFTF?F TTTTTTTT?TTTTT?T --:-- / 6
|
FF?TFTFT?FFFTF?F TT-TTTTT?TTTTT?T --:-- / 6
|
???????????????? --------?-----?- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? --------?-----?- --:-- / 0
|
???????????????? --------?-----?- --:-- / 0
|
| 310 FTFTFTFFTTFTFTFT (expected value) 8.00 4.00 7.00 5.00 6.00 5.00 5.00 5.00 5.00 5.00 5.00 5.00 1.00 5.00 5.00 5.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFTFTFFTTFTFTFT TTTTTTTTTTTTTTTT --:PM / 7
|
F??TFTFFTTFT?TFT T--TTTTTTTTT-TTT --:-- / 6
|
F?F?FTFFTTFT?TFT T-T-TTTTTTTT-TTT --:-- / 6
|
FTFTF??????????? TTTTT----------- --:-- / 2
|
FTFT???????????? TTTT------------ --:-- / 2
|
FTFT???????????? TTTT------------ --:-- / 2
|
DNF 0 |
F?F?FTFFTTFT?TFT T-T-TTTTTTTT-TTT --:-- / 6
|
F?F?FTFFTTFT?TFT T-T-TTTTTTTT-TTT --:-- / 6
|
| 311 FTF? FTTFTFT? FTTT (expected value) 2.00 2.00 2.00 0 2.00 2.00 2.00 1.00 2.00 2.00 2.00 0 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---?-------?---- --:-- / 0
|
FTF?FTTFTFT?FTTT TTT?TTTTTTT?TTTT --:-- / 6
|
FTF?FTT?TFT?FTTT TTT?TTT-TTT?TTTT --:-- / 6
|
???????????????? ---?-------?---- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? ---?-------?---- --:-- / 0
|
???????????????? ---?-------?---- --:-- / 0
|
| 312 FFTFTTF? TTFTFFFT (expected value) 4.00 2.00 2.00 2.00 2.00 2.00 1.00 0 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? -------?-------- --:-- / 0
|
FFTFTTF?TTFTFFFT TTTTTTT?TTTTTTTT --:-- / 7
|
FFTFTT??TTF?FFFT TTTTTT-?TTT-TTTT --:-- / 6
|
???????????????? -------?-------- --:-- / 0
|
F??????????????? T------?-------- --:-- / 0
|
F??????????????? T------?-------- --:-- / 0
|
CC 0 |
DNF 0 |
???????????????? -------?-------- --:-- / 0
|
???????????????? -------?-------- --:-- / 0
|
| 313 FFTTTFFFFFTFTTTF (expected value) 4.00 4.00 4.00 4.00 4.00 3.00 3.00 2.00 3.00 3.00 3.00 2.00 2.00 3.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTTTFFFFFTFTT?F TTTTTTTTTTTTTT-T --:-- / 7
|
FFTTT???FFT??TTF TTTTT---TTT--TTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
FFTTTFF????????? TTTTTTT--------- --:-- / 3
|
FFTTTFFFFFTFTTT? TTTTTTTTTTTTTTT- --:-- / 7
|
CC 0 |
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 314 FFFTTFFFTTF? FTFT (expected value) 2.00 1.00 1.00 2.00 1.00 1.00 1.00 1.00 1.00 1.00 1.00 0 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? -----------?---- --:-- / 0
|
F?FTTFFFTTF?FTFT T-TTTTTTTTT?TTTT --:-- / 6
|
FF?T???????????? TT-T-------?---- --:-- / 1
|
???????????????? -----------?---- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
???????????????? -----------?---- --:-- / 0
|
???????????????? -----------?---- --:-- / 0
|
| 315 TTTTTTTTFFTFFTFT (expected value) 5.00 5.00 5.00 5.00 4.00 2.00 2.00 2.00 2.00 1.00 2.00 1.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTTTTTTTF?TFFTFT TTTTTTTTT-TTTTTT --:-- / 7
|
TTTTTTTTFFT?FTFT TTTTTTTTTTT-TTTT --:-- / 7
|
???????????????? ---------------- --:-- / 0
|
TTTTT??????????? TTTTT----------- --:-- / 2
|
TTTTT??????????? TTTTT----------- --:-- / 2
|
TTTT???????????? TTTT------------ --:-- / 2
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 316 TTFTTTTFFFTTTTTT (expected value) 1.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFTTTTFFFTTTTTT TTTTTTTTTTTTTTTT --:PM / 7
|
?TFTTT?FFFT?TTTT -TTTTT-TTTT-TTTT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
DNF 0 |
| 317 FFTFFTTTFFTTFTTT (expected value) 5.00 4.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 1.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTFFTTTFFTTFTTT TTTTTTTTTTTTTTTT --:PM / 7
|
F?TFFTTTFF?T?TTT T-TTTTTTTT-T-TTT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
FF?????????????? TT-------------- --:-- / 1
|
FF?????????????? TT-------------- --:-- / 1
|
FF?????????????? TT-------------- --:-- / 1
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| 318 TTFFFTFFFFTTFFTT (expected value) 8.00 8.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 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
TTFFFTFFFFTTFFTT TTTTTTTTTTTTTTTT --:-- / 7
|
TTFFFTFFFFTTFFTT TTTTTTTTTTTTTTTT --:PM / 7
|
TTFFFTFFFFTTFF?? TTTTTTTTTTTTTT-- --:-- / 6
|
TT?????????????? TT-------------- --:-- / 1
|
TT?????????????? TT-------------- --:-- / 1
|
TT?????????????? TT-------------- --:-- / 1
|
DNF 0 |
TTFFFTFFFFTTFF?? TTTTTTTTTTTTTT-- --:-- / 6
|
TTFFFTFFFFTTFF?? TTTTTTTTTTTTTT-- --:-- / 6
|
| 319 TTTFFFTTTTT? TFFT (expected value) 4.00 3.00 4.00 3.00 2.00 3.00 3.00 3.00 1.00 1.00 1.00 0 1.00 1.00 1.00 1.00 (confidence rate) |
???????????????? -----------?---- --:-- / 0
|
TTTF?FTTTTT?TFFT TTTT-TTTTTT?TTTT --:-- / 6
|
T?T????????????? T-T--------?---- --:-- / 1
|
???????????????? -----------?---- --:-- / 0
|
TTTFFFTT???????? TTTTTTTT---?---- --:-- / 4
|
TTTFFFTT???????? TTTTTTTT---?---- --:-- / 4
|
CC 0 |
DNF 0 |
???????????????? -----------?---- --:-- / 0
|
???????????????? -----------?---- --:-- / 0
|
| 320 FTFTFFFTFFTTTTFT (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 4.00 5.00 2.00 4.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FTFTFFFTFFTTTTFT TTTTTTTTTTTTTTTT --:PM / 7
|
FTFTFFFTFFTT?TF? TTTTTTTTTTTT-TT- --:-- / 6
|
FTFTFFFTFFTTTT?T TTTTTTTTTTTTTT-T --:-- / 7
|
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
FTFTFFFTFFTTTT?T TTTTTTTTTTTTTT-T --:-- / 7
|
FTFTFFFTFFTTTT?T TTTTTTTTTTTTTT-T --:-- / 7
|
| 401 TTTFTFTFTFFFTF? F (expected value) 1.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 2.00 0 2.00 (confidence rate) |
???????????????? --------------?- --:-- / 0
|
TTTFTFTFTFFFTF?F TTTTTTTTTTTTTT?T --:-- / 7
|
?TTF?FTFTFFFTF?F -TTT-TTTTTTTTT?T --:-- / 6
|
???????????????? --------------?- --:-- / 0
|
CC 0 |
DNF 0 |
CC 0 |
DNF 0 |
???????????????? --------------?- --:-- / 0
|
???????????????? --------------?- --:-- / 0
|
| 402 FFTFTTTTFFFFFFFF (expected value) 5.00 1.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 2.00 1.00 2.00 2.00 2.00 2.00 2.00 (confidence rate) |
???????????????? ---------------- --:-- / 0
|
FFTFTTTTFFFFFFFF TTTTTTTTTTTTTTTT --:PM / 7
|
F?T?TTTTFF?FFFFF T-T-TTTTTT-TTTTT --:-- / 6
|
???????????????? ---------------- --:-- / 0
|
F??????????????? T--------------- --:-- / 0
|
F??????????????? T--------------- --:-- / 0
|
F??????????????? T--------------- --:-- / 0
|
DNF 0 |
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
| DES — P/T | ||||||||||
| LTSMin | Tapaal | LoLA | M4M.full | M4M.struct | ITS-Tools | ITS-Tools.L | GreatSPN | Irma.full | Irma.struct | |
| Score | 48 | 125 | 93 | 9 | 9 | 9 | 8 | 24 | 17 | 17 |
| Road Runner | 4 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Camel | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 3 | 0 | 0 |
| 00a FFFFFFFFFFTFFFTF (expected value) 8.00 4.00 6.00 6.00 4.00 6.00 6.00 6.00 6.00 4.00 5.00 4.00 6.00 5.00 6.00 6.00 (confidence rate) |
FFFFFFFFFFTFFFTF TTTTTTTTTTTTTTTT --:P- / 8
|
F?FF?FFFF?T?F?TF T-TT-TTTT-T-T-TT --:-- / 5
|
F?FF?FFFF???FFTF T-TT-TTTT---TTTT --:-- / 5
|
???????????????? ---------------- --:-- / 0
|
???????????????? ---------------- --:-- / 0
|
F??????????????? T--------------- --:-- / 0
|
F??????????????? T--------------- --:-- / 0
|
FFFFFFFFFFTFFFTF TTTTTTTTTTTTTTTT --:-M / 8
|
FFFFFFFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
FFFFFFFFFFTFFFTF TTTTTTTTTTTTTTTT --:-- / 8
|
| 00b TFTFTFTF? FF? TFF? (expected value) 2.00 2.00 1.00 1.00 1.00 1.00 1.00 1.00 0 1.00 1.00 0 1.00 1.00 1.00 0 (confidence rate) |
???????????????? --------?--?---? --:-- / 0
|
TFTFTFTF?FF?TFF? TTTTTTTT?TT?TTT? --:-- / 6
|
TF?????????????? TT------?--?---? --:-- / 1
|
???????????????? --------?--?---? --:-- / 0
|
???????????????? --------?--?---? --:-- / 0
|
CC 0 |
CC 0 |
DNF 0 |
???????????????? --------?--?---? --:-- / 0
|
???????????????? --------?--?---? --:-- / 0
|
| 01a FTTTTTTFTTFTTTFT (expected value) 5.00 5.00 6.00 5.00 5.00 5.00 6.00 5.00 5.00 6.00 5.00 5.00 5.00 5.00 5.00 5.00 (confidence rate) |
FTTTTTTFTTFTTTFT TTTTTTTTTTTTTTTT --:P- / 8
|
?TTTTTTFTTFTTTFT -TTTTTTTTTTTTTTT --:-- / 7
|
F?T???T??T?????? T-T---T--T------ --:-- / 2
|
CC 0 |
CC 0 |
FTTTTTTFTTFTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTTTFTTFTTTFT TTTTTTTTTTTTTTTT --:-- / 8
|
FTTTTTTFTTFTTTFT TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
| 01b FFTFF? T? F? FTFTFF (expected value) 3.00 3.00 2.00 3.00 2.00 0 1.00 0 1.00 0 1.00 1.00 2.00 2.00 2.00 1.00 (confidence rate) |
FFTF???????????F TTTT-?-?-?-----T --:-- / 2
|
FFTFF?T???FTFTF? TTTTT?T?-?TTTTT- --:-- / 5
|
FF?FF???F???FTF? TT-TT?-?T?--TTT- --:-- / 4
|
CC 0 |
CC 0 |
CC 0 |
CC 0 |
DNF 0 |
CC 0 |
CC 0 |
| 02a FTTTFTFTTFTTFFFT (expected value) 4.00 4.00 3.00 4.00 3.00 2.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 3.00 (confidence rate) |
FTTTFTFTTFTTFFFT TTTTTTTTTTTTTTTT --:P- / 8
|
FTTTF?FTTFTTFFFT TTTTT-TTTTTTTTTT --:-- / 7
|
???T???????????? ---T------------ --:-- / 0
|
CC 0 |
CC 0 |
FT?????????????? TT-------------- --:-- / 1
|
CC 0 |
FTTTFTFTTFTTFFFT TTTTTTTTTTTTTTTT --:-M / 8
|
CC 0 |
CC 0 |
| 02b FFFF? FTTFT? FTT? F (expected value) 2.00 2.00 3.00 2.00 0 2.00 2.00 2.00 2.00 2.00 0 2.00 2.00 2.00 0 3.00 (confidence rate) |
??F????????????F --T-?-----?---?T --:-- / 1 | |||||||||