Introduction
Please find here the computed results for the Liveness examination. The table is organized as follows:
- A global list of scores (per tool),
- Three main sections for «Surprise», 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.98 for 2020),
- 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, four 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, D when an inconsistency is detected between the Deadlock examination and the Liveness examination (for those two only), and U when an inconsistency is detected between the UpperBound examination and the OneSafe examination (for those only. Please note that the U flag is computed only on the 8 last values of UpperBound when the P/T net is derived from a Colored one because previous formulas are unfolded from those of the Colored Net. 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 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 Liveness | |||
| GreatSPN | Tapaal | smart | |
| Total Points | 7461.66 | 12736.06 | 4498.45 |
All «Surprise» models |
|||
| GreatSPN | Tapaal | smart | |
| Total Points | 2623.95 | 5279.12 | 2584.04 |
| fastest | 26 | 152 | 11 |
| less memory | 65 | 124 | 0 |
| SatelliteMemory — P/T (451.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 90.20 | 90.20 | -180.40 |
| fastest | 0 | 1 | 0 |
| smallest memory | 0 | 1 | 0 |
| X00100Y0003 T (expected value) 1.99 (confidence rate) |
T T ----:-- / 90.20 
|
T T ----:PM / 90.20
|
F X V---:-- / -180.40
|
| X01000Y0032 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| X01500Y0046 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
| X03000Y0094 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
| X65535Y2048 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
| ShieldIIPs — P/T (624.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 113.59 | 624.80 | 198.80 |
| fastest | 2 | 20 | 0 |
| smallest memory | 4 | 18 | 0 |
| 001A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 001B F (expected value) 1.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
CC 0 |
| 002A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 002B F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 003A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 003B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 004A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 004B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 005A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 005B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 010A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 010B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 020A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 020B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100B F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 28.40
|
DNF 0 |
| ShieldIIPt — P/T (624.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 369.20 | 624.80 | 454.40 |
| fastest | 4 | 12 | 6 |
| smallest memory | 12 | 10 | 0 |
| 001A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 001B F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 002A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 002B F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 003A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 003B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
| 004A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 004B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 005A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 005B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 010A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 010B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 020A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 020B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 030B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 040B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 050B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 100B F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 28.40
|
DNF 0 |
| ShieldPPPs — P/T (624.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 85.20 | 624.80 | 198.80 |
| fastest | 0 | 22 | 0 |
| smallest memory | 2 | 20 | 0 |
| 001A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 001B F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 002A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 002B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 003A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 003B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 004A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 004B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 005A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 005B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 010A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 010B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 020A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 020B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100B F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 28.40
|
DNF 0 |
| ShieldPPPt — P/T (624.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 284.00 | 624.80 | 426.00 |
| fastest | 2 | 17 | 3 |
| smallest memory | 8 | 14 | 0 |
| 001A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 001B F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 002A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 002B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 003A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 003B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 004A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 004B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 005A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 005B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 010A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 010B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 020A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 020B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 030B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 040B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 050B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 100B F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 28.40
|
DNF 0 |
| ShieldRVs — P/T (624.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 227.20 | 624.80 | 369.20 |
| fastest | 0 | 20 | 2 |
| smallest memory | 4 | 18 | 0 |
| 001A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 001B F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 002A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 002B F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 003A F (expected value) 1.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
CC 0 |
| 003B F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:-- / 28.40
|
F T ----:P- / 28.40
|
| 004A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 004B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 005A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 005B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 010A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 010B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 020A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 020B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 030B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040A F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 040B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| ShieldRVt — P/T (624.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 454.40 | 624.80 | 482.80 |
| fastest | 8 | 14 | 0 |
| smallest memory | 13 | 9 | 0 |
| 001A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 001B F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 002A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 002B F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 003A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 003B F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 004A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 004B F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 005A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 28.40
|
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 005B F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 010A F (expected value) 2.99 (confidence rate) |
F T ----:-M / 28.40
|
F T ----:P- / 28.40
|
F T ----:-- / 28.40
|
| 010B F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
| 020A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 020B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 030A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 030B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 040A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 040B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 050A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 050B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| 100A F (expected value) 2.99 (confidence rate) |
F T ----:PM / 28.40
|
F T ----:-- / 28.40
|
F T ----:-- / 28.40
|
| 100B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 28.40
|
DNF 0 |
| SmartHome — P/T (593.80 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 593.55 | 593.55 | 406.12 |
| fastest | 0 | 19 | 0 |
| smallest memory | 11 | 8 | 0 |
| 01 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
CC 0 |
| 02 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
F T ----:-- / 31.23
|
| 03 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
F T ----:-- / 31.23
|
| 04 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
F T ----:-- / 31.23
|
| 05 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
F T ----:-- / 31.23
|
| 06 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
F T ----:-- / 31.23
|
| 07 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
F T ----:-- / 31.23
|
| 08 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
F T ----:-- / 31.23
|
| 09 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
F T ----:-- / 31.23
|
| 10 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
F T ----:-- / 31.23
|
| 11 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
F T ----:-- / 31.23
|
| 12 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
F T ----:-- / 31.23
|
| 13 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
F T ----:-- / 31.23
|
| 14 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
DNF 0 |
| 15 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
F T ----:-- / 31.23
|
| 16 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
DNF 0 |
| 17 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
DNF 0 |
| 18 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 31.23
|
F T ----:PM / 31.23
|
DNF 0 |
| 19 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 31.23
|
F T ----:P- / 31.23
|
DNF 0 |
| Sudoku — Colored (404.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 101.00 | 0.00 | 0.00 |
| fastest | 5 | 0 | 0 |
| smallest memory | 5 | 0 | 0 |
| AN01 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 20.20
|
CC 0 |
DNC |
| AN02 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 20.20
|
CC 0 |
DNC |
| AN03 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 20.20
|
CC 0 |
DNC |
| AN04 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN05 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN06 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN07 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN08 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN09 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN11 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN12 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN13 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN14 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN15 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| AN16 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| BN01 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 20.20
|
CC 0 |
DNC |
| BN04 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 20.20
|
CC 0 |
DNC |
| BN09 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| BN16 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| Sudoku — P/T (404.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 121.20 | 404.00 | 80.80 |
| fastest | 4 | 16 | 0 |
| smallest memory | 3 | 17 | 0 |
| AN01 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 20.20
|
F T ----:-M / 20.20
|
F T ----:-- / 20.20
|
| AN02 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 20.20
|
F T ----:-M / 20.20
|
F T ----:-- / 20.20
|
| AN03 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 20.20
|
F T ----:-- / 20.20
|
F T ----:-- / 20.20
|
| AN04 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 20.20
|
F T ----:PM / 20.20
|
DNF 0 |
| AN05 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN06 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN07 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN08 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN09 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN11 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN12 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN13 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN14 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN15 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| AN16 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| BN01 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 20.20
|
F T ----:-- / 20.20
|
F T ----:-- / 20.20
|
| BN04 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 20.20
|
F T ----:P- / 20.20
|
DNF 0 |
| BN09 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 20.20
|
DNF 0 |
| BN16 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 20.20
|
DNF 0 |
| ViralEpidemic — P/T (553.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 184.40 | 442.55 | 147.52 |
| fastest | 1 | 11 | 0 |
| smallest memory | 3 | 9 | 0 |
| S02D1C1A10 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 36.88
|
CC 0 |
| S02D1C1A12 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 36.88
|
CC 0 |
| S03D1C1A02 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 36.88
|
F T ----:-- / 36.88
|
F T ----:-- / 36.88
|
| S03D1C1A04 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 36.88
|
F T ----:P- / 36.88
|
DNF 0 |
| S03D1C1A06 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 36.88
|
DNF 0 |
| S03D1C1A08 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| S04D1C1A02 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 36.88
|
F T ----:PM / 36.88
|
F T ----:-- / 36.88
|
| S04D1C1A03 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 36.88
|
F T ----:PM / 36.88
|
F T ----:-- / 36.88
|
| S04D1C1A04 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 36.88
|
DNF 0 |
| S04D1C1A06 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| S08D1C2A02 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 36.88
|
DNF 0 |
| S08D1C2A04 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 36.88
|
DNF 0 |
| S16D2C4A01 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 36.88
|
F T ----:P- / 36.88
|
F T ----:-- / 36.88
|
| S16D2C4A02 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 36.88
|
CC 0 |
| S16D2C4A03 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
All «Known» models |
|||
| GreatSPN | Tapaal | smart | |
| Total Points | 4837.70 | 7456.95 | 1914.41 |
| fastest | 167 | 563 | 27 |
| less memory | 268 | 475 | 14 |
| ARMCacheCoherence — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 0.00 | 0.00 |
| fastest | 1 | 0 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 0.99 (confidence rate) |
F T ----:PM / 102.55
|
CC 0 |
DNF 0 |
| ASLink — P/T (151.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 7.55 | 151.00 | 0.00 |
| fastest | 1 | 19 | 0 |
| smallest memory | 1 | 19 | 0 |
| 01a F (expected value) 1.99 (confidence rate) |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
DNF 0 |
| 01b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 02a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 02b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 03a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 03b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 04a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 04b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 05a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 05b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 06a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 06b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 07a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 07b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 08a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 08b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 09a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 09b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 10a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 10b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| AirplaneLD — Colored (72.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 48.66 | 72.98 | 0.00 |
| fastest | 0 | 9 | 0 |
| smallest memory | 4 | 5 | 0 |
| 0010 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:PM / 8.11
|
DNC |
| 0020 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
DNC |
| 0050 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
DNC |
| 0100 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
DNC |
| 0200 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
DNC |
| 0500 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:PM / 8.11
|
DNC |
| 1000 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.11
|
DNC |
| 2000 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.11
|
DNC |
| 4000 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.11
|
DNC |
| AirplaneLD — P/T (72.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 48.66 | 72.98 | 32.44 |
| fastest | 0 | 9 | 0 |
| smallest memory | 4 | 5 | 0 |
| 0010 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:PM / 8.11
|
F T ----:-- / 8.11
|
| 0020 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
F T ----:-- / 8.11
|
| 0050 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
F T ----:-- / 8.11
|
| 0100 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
F T ----:-- / 8.11
|
| 0200 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
CC 0 |
| 0500 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:PM / 8.11
|
CC 0 |
| 1000 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.11
|
DNF 0 |
| 2000 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.11
|
DNF 0 |
| 4000 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.11
|
DNF 0 |
| Angiogenesis — P/T (117.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 50.52 | 50.52 | 33.68 |
| fastest | 2 | 2 | 0 |
| smallest memory | 2 | 2 | 0 |
| 01 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 16.84
|
F T ----:PM / 16.84
|
F T ----:-- / 16.84
|
| 05 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 16.84
|
F T ----:-- / 16.84
|
F T ----:-- / 16.84
|
| 10 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 16.84
|
CC 0 |
DNF 0 |
| 15 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 25 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 50 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 16.84
|
DNF 0 |
| AutoFlight — P/T (151.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 83.05 | 151.00 | 67.95 |
| fastest | 0 | 20 | 0 |
| smallest memory | 8 | 12 | 0 |
| 01a F (expected value) 2.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 01b F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 02a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 02b F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 03a F (expected value) 2.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 03b F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 04a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 04b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 05a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 05b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 06a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 06b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 12a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 12b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 24a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 24b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
CC 0 |
| 48a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 48b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
CC 0 |
| 96a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 96b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| BART — Colored (70.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 0.00 | 0.00 |
| fastest | 0 | 0 | 0 |
| smallest memory | 0 | 0 | 0 |
| 002 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 005 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 010 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 020 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 030 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 040 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 050 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 060 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| BART — P/T (70.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 17.59 | 8.80 | 8.80 |
| fastest | 1 | 0 | 1 |
| smallest memory | 1 | 1 | 0 |
| 002 T (expected value) 2.99 (confidence rate) |
T T ----:-- / 8.80
|
T T ----:-M / 8.80
|
T T ----:P- / 8.80
|
| 005 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 8.80
|
CC 0 |
DNF 0 |
| 010 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 020 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 030 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 040 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 050 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 060 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| BridgeAndVehicles — Colored (101.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 45.45 | 101.00 | 0.00 |
| fastest | 2 | 18 | 0 |
| smallest memory | 5 | 15 | 0 |
| V04P05N02 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 5.05
|
F T ----:-- / 5.05
|
DNC |
| V10P10N10 F (expected value) 1.99 (confidence rate) |
F T ----:P- / 5.05
|
F T ----:-M / 5.05
|
DNC |
| V20P10N10 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 5.05
|
F T ----:PM / 5.05
|
DNC |
| V20P10N20 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 5.05
|
F T ----:P- / 5.05
|
DNC |
| V20P10N50 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 5.05
|
F T ----:PM / 5.05
|
DNC |
| V20P20N10 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 5.05
|
F T ----:PM / 5.05
|
DNC |
| V20P20N20 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 5.05
|
F T ----:P- / 5.05
|
DNC |
| V20P20N50 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 5.05
|
F T ----:P- / 5.05
|
DNC |
| V50P20N10 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 5.05
|
F T ----:P- / 5.05
|
DNC |
| V50P20N20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V50P20N50 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V50P50N10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V50P50N20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V50P50N50 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V80P20N10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V80P20N20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V80P20N50 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V80P50N10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V80P50N20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| V80P50N50 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNC |
| BridgeAndVehicles — P/T (101.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 40.40 | 45.45 | 10.09 |
| fastest | 4 | 5 | 0 |
| smallest memory | 6 | 3 | 0 |
| V04P05N02 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 5.05
|
F T ----:-- / 5.05
|
F T ----:-- / 5.05
|
| V10P10N10 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 5.05
|
F T ----:-M / 5.05
|
F T ----:-- / 5.05
|
| V20P10N10 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 5.05
|
F T ----:-- / 5.05
|
DNF 0 |
| V20P10N20 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 5.05
|
F T ----:P- / 5.05
|
DNF 0 |
| V20P10N50 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 5.05
|
F T ----:PM / 5.05
|
DNF 0 |
| V20P20N10 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 5.05
|
F T ----:-- / 5.05
|
DNF 0 |
| V20P20N20 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 5.05
|
F T ----:P- / 5.05
|
DNF 0 |
| V20P20N50 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 5.05
|
F T ----:P- / 5.05
|
DNF 0 |
| V50P20N10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.05
|
DNF 0 |
| V50P20N20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V50P20N50 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V50P50N10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V50P50N20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V50P50N50 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V80P20N10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V80P20N20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V80P20N50 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V80P50N10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V80P50N20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| V80P50N50 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| BusinessProcesses — P/T (151.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 15.09 | 151.00 | 45.30 |
| fastest | 0 | 20 | 0 |
| smallest memory | 2 | 18 | 0 |
| 01 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 02 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 03 F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 04 F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 05 F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 06 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 07 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 08 F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 09 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 11 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 12 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 13 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 14 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 15 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 16 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 17 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 18 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 19 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| CSRepetitions — Colored (65.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 43.52 | 65.27 | 0.00 |
| fastest | 0 | 6 | 0 |
| smallest memory | 2 | 4 | 0 |
| 02 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNC |
| 03 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNC |
| 04 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 10.88
|
F T ----:PM / 10.88
|
DNC |
| 05 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 10.88
|
F T ----:PM / 10.88
|
DNC |
| 07 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNC |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNC |
| CSRepetitions — P/T (65.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 43.52 | 43.52 | 10.88 |
| fastest | 1 | 3 | 0 |
| smallest memory | 3 | 1 | 0 |
| 02 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 10.88
|
F T ----:-- / 10.88
|
F T ----:-- / 10.88
|
| 03 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNF 0 |
| 04 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNF 0 |
| 05 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 10.88
|
F T ----:PM / 10.88
|
DNF 0 |
| 07 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| CircadianClock — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 76.88 | 38.44 | -76.86 |
| fastest | 3 | 1 | 0 |
| smallest memory | 2 | 2 | 0 |
| 000001 T (expected value) 1.99 (confidence rate) |
T T ----:-- / 19.22
|
T T ----:PM / 19.22
|
F X V---:-- / -38.43
|
| 000010 T (expected value) 1.99 (confidence rate) |
T T ----:P- / 19.22
|
T T ----:-M / 19.22
|
F X V---:-- / -38.43
|
| 000100 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
CC 0 |
| 001000 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 010000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 100000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| CircularTrains — P/T (117.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 67.36 | 33.68 | -16.83 |
| fastest | 3 | 1 | 0 |
| smallest memory | 3 | 1 | 0 |
| 012 T (expected value) 2.99 (confidence rate) |
T T ----:-M / 16.84
|
T T ----:P- / 16.84
|
T T ----:-- / 16.84
|
| 024 T (expected value) 1.99 (confidence rate) |
T T ----:P- / 16.84
|
T T ----:-M / 16.84
|
F X V---:-- / -33.66
|
| 048 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 16.84
|
CC 0 |
DNF 0 |
| 096 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 16.84
|
CC 0 |
DNF 0 |
| 192 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 384 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 768 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| ClientsAndServers — P/T (151.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 37.75 | 105.70 | 15.09 |
| fastest | 2 | 13 | 0 |
| smallest memory | 3 | 12 | 0 |
| N0001P0 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 7.55
|
F T ----:-M / 7.55
|
F T ----:-- / 7.55
|
| N0002P0 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| N0002P1 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 7.55
|
CC 0 |
DNF 0 |
| N0005P0 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| N0005P1 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| N0010P0 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0010P1 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0010P2 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0020P0 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0020P1 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0020P2 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0020P3 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0020P4 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0050P0 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0100P0 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| N0200P0 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| N0500P0 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| N1000P0 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| N2000P0 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| N5000P0 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| CloudDeployment — P/T (130.59 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 54.40 | 130.55 | 21.76 |
| fastest | 0 | 12 | 0 |
| smallest memory | 5 | 7 | 0 |
| 2a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
F T ----:-- / 10.88
|
| 2b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 3a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
F T ----:-- / 10.88
|
| 3b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 4a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNF 0 |
| 4b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 5a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNF 0 |
| 5b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 6a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNF 0 |
| 6b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 7a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 7b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 10.88
|
DNF 0 |
| CloudOpsManagement — P/T (135.70 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 48.45 | 135.66 | 19.38 |
| fastest | 3 | 11 | 0 |
| smallest memory | 2 | 12 | 0 |
| 00002by00001 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 9.69
|
F T ----:-- / 9.69
|
F T ----:-- / 9.69
|
| 00005by00002 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 9.69
|
F T ----:-- / 9.69
|
F T ----:-- / 9.69
|
| 00010by00005 F (expected value) 1.99 (confidence rate) |
F T ----:P- / 9.69
|
F T ----:-M / 9.69
|
DNF 0 |
| 00020by00010 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
CC 0 |
| 00040by00020 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
DNF 0 |
| 00080by00040 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 00160by00080 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 00320by00160 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 00640by00320 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 01280by00640 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 02560by01280 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 05120by02560 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 10240by05120 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 20480by10240 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| CloudReconfiguration — P/T (156.09 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 156.20 | 0.00 |
| fastest | 0 | 22 | 0 |
| smallest memory | 0 | 22 | 0 |
| 301 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 302 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 303 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 304 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 305 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 306 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 307 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 308 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 309 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 310 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 311 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 312 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 313 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 314 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 315 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 316 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 317 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 318 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 319 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 320 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 401 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 402 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| DES — P/T (151.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 22.65 | 151.00 | 15.09 |
| fastest | 0 | 20 | 0 |
| smallest memory | 3 | 17 | 0 |
| 00a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 00b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 01a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 01b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 02a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 02b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 05a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 05b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 10a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 10b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 20a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 20b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 30a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 30b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 40a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 40b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 50a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 50b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 60a F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 60b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| DLCflexbar — P/T (135.70 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 9.69 | 116.27 | 0.00 |
| fastest | 0 | 12 | 0 |
| smallest memory | 1 | 11 | 0 |
| 2a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 9.69
|
F T ----:P- / 9.69
|
DNF 0 |
| 2b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 3a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
CC 0 |
| 3b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 4a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 4b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 5a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 5b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 6a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 6b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 7a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 7b ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 8a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 8b ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| DLCround — P/T (156.09 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 49.70 | 156.20 | 7.09 |
| fastest | 0 | 22 | 0 |
| smallest memory | 6 | 16 | 0 |
| 03a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.09
|
F T ----:P- / 7.09
|
F T ----:-- / 7.09
|
| 03b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 04a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.09
|
F T ----:P- / 7.09
|
DNF 0 |
| 04b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 05a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.09
|
F T ----:PM / 7.09
|
DNF 0 |
| 05b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 06a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.09
|
F T ----:P- / 7.09
|
DNF 0 |
| 06b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 07a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.09
|
F T ----:P- / 7.09
|
DNF 0 |
| 07b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 08a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.09
|
F T ----:P- / 7.09
|
DNF 0 |
| 08b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 09a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.09
|
F T ----:P- / 7.09
|
DNF 0 |
| 09b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 10a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 10b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 11a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 11b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 12a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 12b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 13a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.09
|
DNF 0 |
| 13b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.09
|
DNF 0 |
| DLCshifumi — P/T (125.50 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 25.09 | 112.95 | 0.00 |
| fastest | 0 | 9 | 0 |
| smallest memory | 2 | 7 | 0 |
| 2a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 12.55
|
F T ----:P- / 12.55
|
CC 0 |
| 2b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 12.55
|
DNF 0 |
| 3a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 12.55
|
F T ----:P- / 12.55
|
CC 0 |
| 3b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| 4a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
CC 0 |
| 4b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| 5a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
CC 0 |
| 5b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| 6a F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| 6b ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| DNAwalker — P/T (145.90 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 56.77 | 145.98 | 89.20 |
| fastest | 0 | 11 | 7 |
| smallest memory | 2 | 16 | 0 |
| 01track12Block1 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
| 02track12Block2 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
| 03track12BlockBoth F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
| 04track28LL F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
| 05track28LR F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
F T ----:-- / 8.11
|
| 06track28RL F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
| 07track28RR F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
| 08ringLL F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:PM / 8.11
|
F T ----:-- / 8.11
|
| 09ringLR F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.11
|
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
| 10ringRL F (expected value) 2.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
F T ----:-- / 8.11
|
| 11ringRR F (expected value) 2.99 (confidence rate) |
F T ----:-M / 8.11
|
F T ----:P- / 8.11
|
F T ----:-- / 8.11
|
| 12ringLLLarge F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
CC 0 |
| 13ringRLLarge F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
CC 0 |
| 14ringLRLarge F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
CC 0 |
| 15ringRRLarge F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
CC 0 |
| 16redondantChoiceR F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
CC 0 |
| 17redondantChoiceL F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
CC 0 |
| 18lozangeBlock F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
CC 0 |
| DatabaseWithMutex — Colored (62.75 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 25.09 | 12.55 | 0.00 |
| fastest | 1 | 1 | 0 |
| smallest memory | 1 | 1 | 0 |
| 02 T (expected value) 1.99 (confidence rate) |
T T ----:-- / 12.55
|
T T ----:PM / 12.55
|
DNC |
| 04 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
DNC |
| 10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 40 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| DatabaseWithMutex — P/T (62.75 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 12.55 | 12.55 | 12.55 |
| fastest | 1 | 0 | 0 |
| smallest memory | 1 | 0 | 0 |
| 02 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 12.55
|
T T ----:-- / 12.55
|
T T ----:-- / 12.55
|
| 04 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 40 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| Dekker — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 76.88 | 19.22 | 19.22 |
| fastest | 4 | 0 | 0 |
| smallest memory | 4 | 0 | 0 |
| 010 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 19.22
|
T T ----:-- / 19.22
|
T T ----:-- / 19.22
|
| 015 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 020 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 050 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 100 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 200 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| Diffusion2D — P/T (173.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 66.00 | 0.00 | 24.00 |
| fastest | 10 | 0 | 1 |
| smallest memory | 11 | 0 | 0 |
| D05N010 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
T T ----:-- / 6.00
|
| D05N050 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
T T ----:-- / 6.00
|
| D05N100 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
CC 0 |
| D05N150 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
CC 0 |
| D05N200 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
CC 0 |
| D05N250 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
CC 0 |
| D05N300 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
CC 0 |
| D05N350 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
| D10N010 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
T T ----:-- / 6.00
|
| D10N050 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
CC 0 |
| D10N100 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 6.00
|
CC 0 |
CC 0 |
| D10N150 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D10N200 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D20N010 T (expected value) 1.99 (confidence rate) |
T T ----:-M / 6.00
|
CC 0 |
T T ----:P- / 6.00
|
| D20N050 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D20N100 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D20N150 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D30N010 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| D30N050 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D30N100 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D30N150 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D40N010 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| D40N050 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D40N100 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D40N150 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D50N010 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D50N050 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D50N100 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| D50N150 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| DiscoveryGPU — P/T (151.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 151.00 | 151.00 | 15.09 |
| fastest | 0 | 20 | 0 |
| smallest memory | 14 | 6 | 0 |
| 06a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
CC 0 |
| 06b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 07a F (expected value) 2.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 07b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 08a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 08b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 09a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 09b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 10a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 10b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 11a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 11b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 12a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 12b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 13a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 13b F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 14a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 14b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 15a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 15b F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| DoubleExponent — P/T (120.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 30.09 | 120.40 | 30.09 |
| fastest | 1 | 7 | 0 |
| smallest memory | 2 | 6 | 0 |
| 001 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 15.05
|
F T ----:-- / 15.05
|
F T ----:-- / 15.05
|
| 002 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 15.05
|
F T ----:P- / 15.05
|
F T ----:-- / 15.05
|
| 003 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 004 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 010 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 020 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 100 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 200 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 15.05
|
DNF 0 |
| DrinkVendingMachine — Colored (95.63 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 13.66 | 13.66 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 0 | 1 | 0 |
| 02 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 13.66
|
F T ----:PM / 13.66
|
DNC |
| 10 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 16 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 24 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 48 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 76 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 98 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| DrinkVendingMachine — P/T (27.31 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 13.66 | 27.31 | 13.66 |
| fastest | 0 | 2 | 0 |
| smallest memory | 1 | 1 | 0 |
| 02 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 13.66
|
F T ----:P- / 13.66
|
F T ----:-- / 13.66
|
| 10 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 13.66
|
DNF 0 |
| EGFr — P/T (107.65 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 107.63 | 107.63 | 35.88 |
| fastest | 0 | 3 | 0 |
| smallest memory | 2 | 1 | 0 |
| 02010 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 35.88
|
F T ----:P- / 35.88
|
F T ----:-- / 35.88
|
| 10420 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 35.88
|
F T ----:P- / 35.88
|
DNF 0 |
| 10421 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 35.88
|
F T ----:PM / 35.88
|
DNF 0 |
| ERK — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 76.88 | 38.44 | 38.44 |
| fastest | 3 | 0 | 1 |
| smallest memory | 4 | 0 | 0 |
| 000001 T (expected value) 2.99 (confidence rate) |
T T ----:-M / 19.22
|
T T ----:-- / 19.22
|
T T ----:P- / 19.22
|
| 000010 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 19.22
|
T T ----:-- / 19.22
|
T T ----:-- / 19.22
|
| 000100 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 001000 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 010000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 100000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| Echo — P/T (122.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 122.94 | 0.00 |
| fastest | 0 | 9 | 0 |
| smallest memory | 0 | 9 | 0 |
| d02r09 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d02r11 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d02r15 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d02r19 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d03r03 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d03r05 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d03r07 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d04r03 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 13.66
|
DNF 0 |
| d05r03 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 13.66
|
DNF 0 |
| EnergyBus — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 102.55 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 1.99 (confidence rate) |
F T ----:-M / 102.55
|
F T ----:P- / 102.55
|
DNF 0 |
| Eratosthenes — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 115.31 | 115.31 | 76.88 |
| fastest | 0 | 6 | 0 |
| smallest memory | 5 | 1 | 0 |
| 010 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 19.22
|
F T ----:PM / 19.22
|
F T ----:-- / 19.22
|
| 020 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
F T ----:-- / 19.22
|
| 050 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
F T ----:-- / 19.22
|
| 100 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
F T ----:-- / 19.22
|
| 200 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
CC 0 |
| 500 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
CC 0 |
| FMS — P/T (135.70 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 67.83 | 19.38 | 29.06 |
| fastest | 7 | 0 | 0 |
| smallest memory | 6 | 1 | 0 |
| 00002 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 9.69
|
T T ----:-- / 9.69
|
T T ----:-- / 9.69
|
| 00005 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 9.69
|
T T ----:-M / 9.69
|
T T ----:-- / 9.69
|
| 00010 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 9.69
|
CC 0 |
T T ----:-- / 9.69
|
| 00020 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 9.69
|
CC 0 |
DNF 0 |
| 00050 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 9.69
|
CC 0 |
DNF 0 |
| 00100 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 9.69
|
CC 0 |
DNF 0 |
| 00200 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 9.69
|
CC 0 |
DNF 0 |
| 00500 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 01000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 02000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 05000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 10000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 20000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 50000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| FamilyReunion — Colored (97.27 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 16.22 | 0.00 |
| fastest | 0 | 2 | 0 |
| smallest memory | 0 | 2 | 0 |
| L00010M0001C001P001G001 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
DNC |
| L00020M0002C001P001G001 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
DNC |
| L00050M0005C002P002G001 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| L00100M0010C005P005G002 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| L00200M0020C010P010G005 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| L00400M0040C020P020G001 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| L00800M0080C040P040G020 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| L01200M0120C060P060G030 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| L03000M0300G150P150G075 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| L05000M0500C250P250G125 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| L08000M0800C400P400G200 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| L12000M1200C600P600G300 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| FamilyReunion — P/T (48.63 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 32.44 | 0.00 |
| fastest | 0 | 4 | 0 |
| smallest memory | 0 | 4 | 0 |
| L00010M0001C001P001G001 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
DNF 0 |
| L00020M0002C001P001G001 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
DNF 0 |
| L00050M0005C002P002G001 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.11
|
DNF 0 |
| L00100M0010C005P005G002 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.11
|
DNF 0 |
| L00200M0020C010P010G005 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| L00400M0040C020P020G001 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| FlexibleBarrier — P/T (151.00 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 83.05 | 151.00 | 22.65 |
| fastest | 5 | 15 | 0 |
| smallest memory | 8 | 12 | 0 |
| 04a F (expected value) 2.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
| 04b F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 06a F (expected value) 2.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
F T ----:-- / 7.55
|
| 06b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 08a F (expected value) 1.99 (confidence rate) |
F T ----:-M / 7.55
|
F T ----:P- / 7.55
|
DNF 0 |
| 08b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 10a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 10b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 12a F (expected value) 1.99 (confidence rate) |
F T ----:-- / 7.55
|
F T ----:PM / 7.55
|
DNF 0 |
| 12b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 14a F (expected value) 1.99 (confidence rate) |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
DNF 0 |
| 14b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| 16a F (expected value) 1.99 (confidence rate) |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
DNF 0 |
| 16b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
CC 0 |
| 18a F (expected value) 1.99 (confidence rate) |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
DNF 0 |
| 18b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
CC 0 |
| 20a F (expected value) 1.99 (confidence rate) |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
DNF 0 |
| 20b F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
CC 0 |
| 22a F (expected value) 1.99 (confidence rate) |
F T ----:PM / 7.55
|
F T ----:-- / 7.55
|
DNF 0 |
| 22b F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
CC 0 |
| GPPP — P/T (143.34 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 59.01 | 101.16 | -33.72 |
| fastest | 4 | 10 | 0 |
| smallest memory | 2 | 12 | 0 |
| C0001N0000000001 T (expected value) 1.99 (confidence rate) |
T T ----:P- / 8.43
|
T T ----:-M / 8.43
|
F X V---:-- / -16.86
|
| C0001N0000000010 T (expected value) 1.99 (confidence rate) |
T T ----:P- / 8.43
|
T T ----:-M / 8.43
|
F X V---:-- / -16.86
|
| C0001N0000000100 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 8.43
|
CC 0 |
DNF 0 |
| C0001N0000001000 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 8.43
|
CC 0 |
DNF 0 |
| C0001N0000010000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| C0001N0000100000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| C0010N0000000010 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.43
|
F T ----:PM / 8.43
|
DNF 0 |
| C0010N0000000100 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.43
|
F T ----:PM / 8.43
|
DNF 0 |
| C0010N1000000000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| C0100N0000000010 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.43
|
F T ----:PM / 8.43
|
DNF 0 |
| C0100N0000000100 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.43
|
DNF 0 |
| C0100N0000001000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.43
|
DNF 0 |
| C0100N0000010000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.43
|
DNF 0 |
| C0100N0000100000 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.43
|
DNF 0 |
| C1000N0000000010 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.43
|
DNF 0 |
| C1000N0000000100 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.43
|
DNF 0 |
| C1000N0000001000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.43
|
DNF 0 |
| GlobalResAllocation — Colored (95.63 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 27.31 | 13.66 | 0.00 |
| fastest | 2 | 0 | 0 |
| smallest memory | 2 | 0 | 0 |
| 03 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 13.66
|
T T ----:-- / 13.66
|
DNC |
| 05 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 13.66
|
CC 0 |
DNC |
| 06 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 07 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 09 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 11 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| GlobalResAllocation — P/T (27.31 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 27.31 | 27.31 | 0.00 |
| fastest | 1 | 1 | 0 |
| smallest memory | 0 | 2 | 0 |
| 03 F (expected value) 1.99 (confidence rate) |
F T ----:P- / 13.66
|
F T ----:-M / 13.66
|
CC 0 |
| 05 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 13.66
|
F T ----:PM / 13.66
|
DNF 0 |
| HexagonalGrid — P/T (117.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 33.68 | 16.84 | 33.68 |
| fastest | 2 | 0 | 0 |
| smallest memory | 2 | 0 | 0 |
| 110 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 16.84
|
T T ----:-- / 16.84
|
T T ----:-- / 16.84
|
| 126 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 16.84
|
CC 0 |
T T ----:-- / 16.84
|
| 226 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 316 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 410 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 516 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 816 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| HospitalTriage — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 102.55 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 0 | 1 | 0 |
| none F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 102.55
|
DNF 0 |
| HouseConstruction — P/T (135.70 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 29.06 | 135.66 | 29.06 |
| fastest | 1 | 13 | 0 |
| smallest memory | 1 | 13 | 0 |
| 00002 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 9.69
|
F T ----:-M / 9.69
|
F T ----:-- / 9.69
|
| 00005 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
F T ----:-- / 9.69
|
| 00010 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 9.69
|
F T ----:P- / 9.69
|
F T ----:-- / 9.69
|
| 00020 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 00050 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 00100 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 00200 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 00500 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 01000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 02000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 04000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 08000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 16000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 32000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| HypercubeGrid — P/T (107.65 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 0.00 | 0.00 |
| fastest | 0 | 0 | 0 |
| smallest memory | 0 | 0 | 0 |
| C3K4P4B12 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| C4K3P3B12 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| C5K3P3B15 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| HypertorusGrid — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 19.22 | 38.44 | 19.22 |
| fastest | 1 | 1 | 0 |
| smallest memory | 1 | 1 | 0 |
| d2k1p8b00 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 19.22
|
T T ----:-- / 19.22
|
T T ----:-- / 19.22
|
| d2k2p1b00 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 19.22
|
DNF 0 |
| d2k3p2b04 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| d3k3p2b06 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| d4k3p2b08 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| d5k3p2b10 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| IBM319 — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 102.55 | 102.55 |
| fastest | 0 | 1 | 0 |
| smallest memory | 0 | 0 | 1 |
| none F (expected value) 2.99 (confidence rate) |
F T ----:-- / 102.55
|
F T ----:P- / 102.55
|
F T ----:-M / 102.55
|
| IBM5964 — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 102.55 | 102.55 |
| fastest | 0 | 1 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 2.99 (confidence rate) |
F T ----:-M / 102.55
|
F T ----:P- / 102.55
|
F T ----:-- / 102.55
|
| IBM703 — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 102.55 | 102.55 |
| fastest | 1 | 0 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 2.99 (confidence rate) |
F T ----:PM / 102.55
|
F T ----:-- / 102.55
|
F T ----:-- / 102.55
|
| IBMB2S565S3960 — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 102.55 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 0 | 1 | 0 |
| none F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 102.55
|
DNF 0 |
| IOTPpurchase — P/T (110.20 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 110.20 | 55.09 | 27.55 |
| fastest | 3 | 1 | 0 |
| smallest memory | 3 | 1 | 0 |
| C01M01P01D01 T (expected value) 2.99 (confidence rate) |
T T ----:-M / 27.55
|
T T ----:P- / 27.55
|
T T ----:-- / 27.55
|
| C03M03P03D03 T (expected value) 1.99 (confidence rate) |
T T ----:P- / 27.55
|
T T ----:-M / 27.55
|
DNF 0 |
| C05M04P03D02 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 27.55
|
CC 0 |
DNF 0 |
| C12M10P15D17 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 27.55
|
CC 0 |
DNF 0 |
| JoinFreeModules — P/T (130.59 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 21.75 | 32.63 | -0.01 |
| fastest | 4 | 0 | 1 |
| smallest memory | 4 | 0 | 1 |
| 0003 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.88
|
T T ----:-- / 10.88
|
F X V---:-- / -21.77
|
| 0004 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 10.88
|
F T ----:-- / 10.88
|
CC 0 |
| 0005 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 10.88
|
F T ----:-- / 10.88
|
F T ----:-- / 10.88
|
| 0010 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -21.77
|
CC 0 |
F T ----:PM / 10.88
|
| 0020 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.88
|
CC 0 |
CC 0 |
| 0050 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
| 0100 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
| 0200 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 0500 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 1000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 2000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 5000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| Kanban — P/T (133.15 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 71.68 | 10.23 | 71.68 |
| fastest | 5 | 0 | 2 |
| smallest memory | 6 | 1 | 0 |
| 00005 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 10.23
|
T T ----:-M / 10.23
|
T T ----:-- / 10.23
|
| 00010 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
T T ----:-- / 10.23
|
| 00020 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
T T ----:-- / 10.23
|
| 00050 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
T T ----:-- / 10.23
|
| 00100 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
T T ----:-- / 10.23
|
| 00200 T (expected value) 1.99 (confidence rate) |
T T ----:-M / 10.23
|
CC 0 |
T T ----:P- / 10.23
|
| 00500 T (expected value) 1.99 (confidence rate) |
T T ----:-M / 10.23
|
CC 0 |
T T ----:P- / 10.23
|
| 01000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 02000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 05000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 10000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 20000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 50000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
CC 0 |
| LamportFastMutEx — Colored (67.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 29.06 | 29.06 | 0.00 |
| fastest | 1 | 2 | 0 |
| smallest memory | 2 | 1 | 0 |
| 2 T (expected value) 1.99 (confidence rate) |
T T ----:-M / 9.69
|
T T ----:P- / 9.69
|
DNC |
| 3 T (expected value) 1.99 (confidence rate) |
T T ----:-- / 9.69
|
T T ----:PM / 9.69
|
DNC |
| 4 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 9.69
|
T T ----:-- / 9.69
|
DNC |
| 5 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 6 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 7 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 8 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| LamportFastMutEx — P/T (67.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 29.06 | 67.83 | 19.38 |
| fastest | 0 | 7 | 0 |
| smallest memory | 2 | 5 | 0 |
| 2 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 9.69
|
F T ----:P- / 9.69
|
F T ----:-- / 9.69
|
| 3 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 9.69
|
F T ----:P- / 9.69
|
F T ----:-- / 9.69
|
| 4 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
DNF 0 |
| 5 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 6 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 7 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 8 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| MAPK — P/T (128.05 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 81.48 | 0.00 | 0.00 |
| fastest | 7 | 0 | 0 |
| smallest memory | 7 | 0 | 0 |
| 00008 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 11.63
|
CC 0 |
CC 0 |
| 00020 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 11.63
|
CC 0 |
DNF 0 |
| 00040 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 11.63
|
CC 0 |
DNF 0 |
| 00080 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 11.63
|
CC 0 |
DNF 0 |
| 00160 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 11.63
|
CC 0 |
DNF 0 |
| 00320 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 11.63
|
CC 0 |
DNF 0 |
| 00640 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 11.63
|
CC 0 |
DNF 0 |
| 01280 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 02560 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 05120 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 10240 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| MAPKbis — P/T (105.09 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 105.09 | 105.09 | 0.00 |
| fastest | 0 | 2 | 0 |
| smallest memory | 1 | 1 | 0 |
| 5310 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 52.55
|
F T ----:P- / 52.55
|
DNF 0 |
| 5320 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 52.55
|
F T ----:PM / 52.55
|
DNF 0 |
| MultiwaySync — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 102.55 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 1.99 (confidence rate) |
F T ----:-M / 102.55
|
F T ----:P- / 102.55
|
DNF 0 |
| NQueens — P/T (120.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 45.15 | 120.40 | 30.09 |
| fastest | 1 | 7 | 0 |
| smallest memory | 1 | 7 | 0 |
| 05 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 15.05
|
F T ----:-M / 15.05
|
F T ----:-- / 15.05
|
| 08 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 15.05
|
F T ----:P- / 15.05
|
F T ----:-- / 15.05
|
| 10 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 15.05
|
F T ----:PM / 15.05
|
DNF 0 |
| 12 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 15 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 25 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 30 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| NeighborGrid — P/T (112.75 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 45.09 | -67.65 |
| fastest | 2 | 0 | 1 |
| smallest memory | 2 | 0 | 1 |
| d2n3m1c12 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 22.55
|
T T ----:-- / 22.55
|
F X V---:-- / -45.09
|
| d2n3m1t12 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 22.55
|
T T ----:-- / 22.55
|
F X V---:-- / -45.09
|
| d3n3m1t11 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -45.09
|
CC 0 |
F T ----:PM / 22.55
|
| d4n3m2c23 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| d5n4m1t35 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| NeoElection — Colored (67.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 67.83 | 0.00 |
| fastest | 0 | 7 | 0 |
| smallest memory | 0 | 7 | 0 |
| 2 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 3 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 4 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 5 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 6 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNC |
| 7 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 8 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| NeoElection — P/T (67.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 19.38 | 67.83 | 19.38 |
| fastest | 0 | 7 | 0 |
| smallest memory | 0 | 7 | 0 |
| 2 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
F T ----:-- / 9.69
|
| 3 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
F T ----:-- / 9.69
|
| 4 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 5 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 6 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 7 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 8 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| NoC3x3 — P/T (140.80 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 8.80 | 140.80 | 8.80 |
| fastest | 0 | 16 | 0 |
| smallest memory | 0 | 16 | 0 |
| 1A F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.80
|
F T ----:PM / 8.80
|
F T ----:-- / 8.80
|
| 1B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 2A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 2B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 3A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 3B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 4A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 4B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 5A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 5B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 6A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 6B F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 7A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 7B F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.80
|
DNF 0 |
| 8A F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 8.80
|
CC 0 |
| 8B F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 8.80
|
DNF 0 |
| PaceMaker — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 0.00 | 0.00 |
| fastest | 1 | 0 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 0.99 (confidence rate) |
F T ----:PM / 102.55
|
CC 0 |
DNF 0 |
| ParamProductionCell — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 38.44 | 38.44 | 96.09 |
| fastest | 1 | 0 | 5 |
| smallest memory | 1 | 2 | 3 |
| 0 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 1 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 19.22
|
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
| 2 T (expected value) 2.00 (confidence rate) |
DNF 0 |
T T ----:-M / 19.22
|
T T ----:P- / 19.22
|
| 3 T (expected value) 1.00 (confidence rate) |
DNF 0 |
CC 0 |
T T ----:PM / 19.22
|
| 4 T (expected value) 1.00 (confidence rate) |
DNF 0 |
CC 0 |
T T ----:PM / 19.22
|
| 5 T (expected value) 1.00 (confidence rate) |
DNF 0 |
CC 0 |
T T ----:PM / 19.22
|
| Parking — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 115.31 | 96.09 | 38.44 |
| fastest | 3 | 3 | 0 |
| smallest memory | 6 | 0 | 0 |
| 104 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
F T ----:-- / 19.22
|
| 208 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
F T ----:-- / 19.22
|
| 416 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 19.22
|
F T ----:P- / 19.22
|
DNF 0 |
| 432 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 19.22
|
F T ----:-- / 19.22
|
DNF 0 |
| 832 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 19.22
|
CC 0 |
DNF 0 |
| 864 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 19.22
|
F T ----:-- / 19.22
|
DNF 0 |
| PermAdmissibility — Colored (65.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 10.88 | 65.27 | 0.00 |
| fastest | 0 | 6 | 0 |
| smallest memory | 1 | 5 | 0 |
| 01 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNC |
| 02 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNC |
| 05 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNC |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNC |
| 20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNC |
| 50 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNC |
| PermAdmissibility — P/T (65.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 10.88 | 65.27 | 10.88 |
| fastest | 0 | 6 | 0 |
| smallest memory | 0 | 6 | 0 |
| 01 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 10.88
|
F T ----:PM / 10.88
|
F T ----:-- / 10.88
|
| 02 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 05 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 50 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| Peterson — Colored (65.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 10.88 | 10.88 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 1 | 0 | 0 |
| 2 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
DNC |
| 3 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 4 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 5 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 6 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 7 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| Peterson — P/T (65.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 21.76 | 10.88 | 10.88 |
| fastest | 2 | 0 | 0 |
| smallest memory | 1 | 1 | 0 |
| 2 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 10.88
|
F T ----:-M / 10.88
|
F T ----:-- / 10.88
|
| 3 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 10.88
|
CC 0 |
DNF 0 |
| 4 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 5 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 6 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 7 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| PhaseVariation — P/T (125.50 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 50.20 | 125.50 | 12.55 |
| fastest | 1 | 9 | 0 |
| smallest memory | 3 | 7 | 0 |
| D02CS010 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 12.55
|
F T ----:-- / 12.55
|
F T ----:-- / 12.55
|
| D02CS100 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 12.55
|
F T ----:PM / 12.55
|
DNF 0 |
| D05CS010 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 12.55
|
F T ----:P- / 12.55
|
DNF 0 |
| D05CS100 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 12.55
|
F T ----:P- / 12.55
|
DNF 0 |
| D10CS010 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| D10CS100 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| D20CS010 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| D20CS100 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| D30CS010 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| D30CS100 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 12.55
|
DNF 0 |
| Philosophers — Colored (87.31 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 40.31 | 53.76 | 0.00 |
| fastest | 0 | 8 | 0 |
| smallest memory | 4 | 4 | 0 |
| 000005 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 6.72
|
F T ----:P- / 6.72
|
DNC |
| 000010 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 6.72
|
F T ----:PM / 6.72
|
DNC |
| 000020 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 6.72
|
F T ----:PM / 6.72
|
DNC |
| 000050 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 6.72
|
F T ----:P- / 6.72
|
DNC |
| 000100 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 6.72
|
F T ----:P- / 6.72
|
DNC |
| 000200 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 6.72
|
F T ----:P- / 6.72
|
DNC |
| 000500 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 6.72
|
DNC |
| 001000 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 6.72
|
DNC |
| 002000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 005000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 010000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 050000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 100000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| Philosophers — P/T (73.88 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 33.59 | 26.88 | 13.44 |
| fastest | 4 | 1 | 0 |
| smallest memory | 3 | 2 | 0 |
| 000005 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 6.72
|
F T ----:-- / 6.72
|
F T ----:-- / 6.72
|
| 000010 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 6.72
|
F T ----:-M / 6.72
|
F T ----:-- / 6.72
|
| 000020 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 6.72
|
F T ----:-- / 6.72
|
DNF 0 |
| 000050 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 6.72
|
F T ----:PM / 6.72
|
DNF 0 |
| 000100 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 6.72
|
CC 0 |
DNF 0 |
| 000200 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 000500 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 001000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 002000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 005000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 010000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| PhilosophersDyn — Colored (75.25 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 15.05 | 75.25 | 0.00 |
| fastest | 0 | 5 | 0 |
| smallest memory | 0 | 5 | 0 |
| 03 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 15.05
|
F T ----:PM / 15.05
|
DNC |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNC |
| 20 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 15.05
|
DNC |
| 50 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 15.05
|
DNC |
| 80 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 15.05
|
DNC |
| PhilosophersDyn — P/T (45.15 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 15.05 | 45.15 | 0.00 |
| fastest | 0 | 3 | 0 |
| smallest memory | 0 | 3 | 0 |
| 03 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 15.05
|
F T ----:PM / 15.05
|
CC 0 |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 15.05
|
DNF 0 |
| 20 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 15.05
|
DNF 0 |
| Planning — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 0.00 | 0.00 |
| fastest | 0 | 0 | 0 |
| smallest memory | 0 | 0 | 0 |
| none ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
CC 0 |
| PolyORBLF — Colored (95.90 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 10.66 | 63.95 | 0.00 |
| fastest | 2 | 12 | 0 |
| smallest memory | 2 | 12 | 0 |
| S02J04T06 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 5.33
|
CC 0 |
DNC |
| S02J04T08 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| S02J04T10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| S02J06T06 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 5.33
|
CC 0 |
DNC |
| S02J06T08 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| S02J06T10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| S04J04T06 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNC |
| S04J04T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S04J04T10 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S04J06T06 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNC |
| S04J06T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S04J06T10 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S06J04T04 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S06J04T06 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S06J04T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S06J06T04 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S06J06T06 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| S06J06T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNC |
| PolyORBLF — P/T (95.90 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 5.33 | 95.94 | 0.00 |
| fastest | 0 | 18 | 0 |
| smallest memory | 0 | 18 | 0 |
| S02J04T06 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 5.33
|
F T ----:PM / 5.33
|
DNF 0 |
| S02J04T08 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S02J04T10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S02J06T06 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S02J06T08 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S02J06T10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S04J04T06 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S04J04T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S04J04T10 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S04J06T06 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S04J06T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S04J06T10 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S06J04T04 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S06J04T06 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S06J04T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S06J06T04 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S06J06T06 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| S06J06T08 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 5.33
|
DNF 0 |
| PolyORBNT — Colored (75.50 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 75.50 | 0.00 |
| fastest | 0 | 10 | 0 |
| smallest memory | 0 | 10 | 0 |
| S05J20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNC |
| S05J30 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNC |
| S05J40 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNC |
| S05J60 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNC |
| S05J80 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNC |
| S10J20 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNC |
| S10J30 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNC |
| S10J40 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNC |
| S10J60 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNC |
| S10J80 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNC |
| PolyORBNT — P/T (75.50 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 75.50 | 0.00 |
| fastest | 0 | 10 | 0 |
| smallest memory | 0 | 10 | 0 |
| S05J20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S05J30 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S05J40 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S05J60 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S05J80 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S10J20 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S10J30 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S10J40 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S10J60 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| S10J80 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 7.55
|
DNF 0 |
| ProductionCell — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 102.55 | 102.55 |
| fastest | 0 | 1 | 0 |
| smallest memory | 0 | 1 | 0 |
| none F (expected value) 2.00 (confidence rate) |
DNF 0 |
F T ----:PM / 102.55
|
F T ----:-- / 102.55
|
| QuasiCertifProtocol — Colored (67.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 19.38 | 67.83 | 0.00 |
| fastest | 0 | 7 | 0 |
| smallest memory | 0 | 7 | 0 |
| 02 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
DNC |
| 06 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 9.69
|
F T ----:PM / 9.69
|
DNC |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 18 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 22 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNC |
| 28 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNC |
| 32 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNC |
| QuasiCertifProtocol — P/T (67.84 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 19.38 | 67.83 | 9.69 |
| fastest | 1 | 6 | 0 |
| smallest memory | 2 | 5 | 0 |
| 02 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 9.69
|
F T ----:-- / 9.69
|
F T ----:-- / 9.69
|
| 06 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 9.69
|
F T ----:P- / 9.69
|
DNF 0 |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 18 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 22 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 28 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| 32 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 9.69
|
DNF 0 |
| RERS17pb113 — P/T (122.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 13.66 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 0 | 1 | 0 |
| 1 F (expected value) 1 (confidence rate) |
CC 0 |
F T ----:PM / 13.66
|
DNF 0 |
| 2 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 3 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 4 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 5 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 6 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 7 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 8 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 9 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| RERS17pb114 — P/T (122.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 0.00 | 0.00 |
| fastest | 0 | 0 | 0 |
| smallest memory | 0 | 0 | 0 |
| 1 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 2 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 3 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 4 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 5 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 6 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 7 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 8 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 9 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| RERS17pb115 — P/T (122.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 0.00 | 0.00 |
| fastest | 0 | 0 | 0 |
| smallest memory | 0 | 0 | 0 |
| 1 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 2 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 3 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 4 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 5 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 6 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 7 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 8 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 9 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| Raft — P/T (122.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 122.94 | 122.94 | 27.31 |
| fastest | 0 | 9 | 0 |
| smallest memory | 6 | 3 | 0 |
| 02 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 13.66
|
F T ----:P- / 13.66
|
F T ----:-- / 13.66
|
| 03 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 13.66
|
F T ----:PM / 13.66
|
F T ----:-- / 13.66
|
| 04 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 13.66
|
F T ----:P- / 13.66
|
DNF 0 |
| 05 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 13.66
|
F T ----:PM / 13.66
|
DNF 0 |
| 06 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 13.66
|
F T ----:P- / 13.66
|
DNF 0 |
| 07 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 13.66
|
F T ----:P- / 13.66
|
DNF 0 |
| 08 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 13.66
|
F T ----:P- / 13.66
|
DNF 0 |
| 09 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 13.66
|
F T ----:P- / 13.66
|
DNF 0 |
| 10 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 13.66
|
F T ----:PM / 13.66
|
DNF 0 |
| Railroad — P/T (112.75 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 67.65 | 112.75 | 22.55 |
| fastest | 0 | 5 | 0 |
| smallest memory | 1 | 4 | 0 |
| 005 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 22.55
|
F T ----:PM / 22.55
|
F T ----:-- / 22.55
|
| 010 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 22.55
|
F T ----:P- / 22.55
|
DNF 0 |
| 020 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 22.55
|
F T ----:PM / 22.55
|
DNF 0 |
| 050 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 22.55
|
DNF 0 |
| 100 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 22.55
|
DNF 0 |
| Referendum — Colored (70.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 70.40 | 70.40 | 0.00 |
| fastest | 1 | 7 | 0 |
| smallest memory | 6 | 2 | 0 |
| 0010 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.80
|
F T ----:PM / 8.80
|
DNC |
| 0015 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
DNC |
| 0020 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
DNC |
| 0050 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
DNC |
| 0100 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.80
|
F T ----:PM / 8.80
|
DNC |
| 0200 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
DNC |
| 0500 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
DNC |
| 1000 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 8.80
|
F T ----:-- / 8.80
|
DNC |
| Referendum — P/T (70.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 70.40 | 70.40 | 26.40 |
| fastest | 2 | 6 | 0 |
| smallest memory | 5 | 3 | 0 |
| 0010 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
F T ----:-- / 8.80
|
| 0015 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.80
|
F T ----:PM / 8.80
|
F T ----:-- / 8.80
|
| 0020 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
F T ----:-- / 8.80
|
| 0050 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 8.80
|
F T ----:PM / 8.80
|
DNF 0 |
| 0100 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
DNF 0 |
| 0200 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 8.80
|
F T ----:P- / 8.80
|
DNF 0 |
| 0500 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 8.80
|
F T ----:-- / 8.80
|
DNF 0 |
| 1000 F (expected value) 1.99 (confidence rate) |
F T ----:P- / 8.80
|
F T ----:-M / 8.80
|
DNF 0 |
| RefineWMG — P/T (140.80 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | -88.00 | 17.59 | 26.40 |
| fastest | 2 | 0 | 7 |
| smallest memory | 1 | 1 | 7 |
| 002002 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 8.80
|
T T ----:-- / 8.80
|
F X V---:-- / -17.59
|
| 002003 T (expected value) 1.99 (confidence rate) |
T T ----:P- / 8.80
|
T T ----:-M / 8.80
|
F X V---:-- / -17.59
|
| 005005 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -17.59
|
CC 0 |
F T ----:PM / 8.80
|
| 005006 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -17.59
|
CC 0 |
F T ----:PM / 8.80
|
| 007007 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -17.59
|
CC 0 |
F T ----:PM / 8.80
|
| 007008 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -17.59
|
CC 0 |
F T ----:PM / 8.80
|
| 010010 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -17.59
|
CC 0 |
F T ----:PM / 8.80
|
| 010011 F (expected value) 1.00 (confidence rate) |
T X V---:-- / -17.59
|
CC 0 |
F T ----:PM / 8.80
|
| 015015 F (expected value) 1.00 (confidence rate) |
DNF 0 |
CC 0 |
F T ----:PM / 8.80
|
| 015016 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 025025 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 025026 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 050050 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 050051 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 100100 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 100101 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| ResAllocation — P/T (138.25 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 129.08 | 129.08 | 110.63 |
| fastest | 2 | 12 | 1 |
| smallest memory | 6 | 9 | 0 |
| R100C002 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 9.22
|
DNF 0 |
| R002C002 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.22
|
F T ----:PM / 9.22
|
F T ----:-- / 9.22
|
| R003C002 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.22
|
F T ----:PM / 9.22
|
F T ----:-- / 9.22
|
| R003C003 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 9.22
|
F T ----:P- / 9.22
|
F T ----:-- / 9.22
|
| R003C005 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.22
|
F T ----:PM / 9.22
|
F T ----:-- / 9.22
|
| R003C010 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.22
|
F T ----:PM / 9.22
|
F T ----:-- / 9.22
|
| R003C015 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 9.22
|
F T ----:-M / 9.22
|
F T ----:-- / 9.22
|
| R003C020 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 9.22
|
F T ----:P- / 9.22
|
F T ----:-- / 9.22
|
| R003C050 F (expected value) 1.99 (confidence rate) |
F T ----:PM / 9.22
|
CC 0 |
F T ----:-- / 9.22
|
| R003C100 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.22
|
F T ----:PM / 9.22
|
F T ----:-- / 9.22
|
| R005C002 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 9.22
|
F T ----:-M / 9.22
|
F T ----:P- / 9.22
|
| R010C002 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 9.22
|
F T ----:P- / 9.22
|
F T ----:-- / 9.22
|
| R015C002 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 9.22
|
F T ----:P- / 9.22
|
F T ----:-- / 9.22
|
| R020C002 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 9.22
|
F T ----:PM / 9.22
|
DNF 0 |
| R050C002 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 9.22
|
F T ----:P- / 9.22
|
DNF 0 |
| Ring — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 0.00 | 0.00 |
| fastest | 0 | 0 | 0 |
| smallest memory | 0 | 0 | 0 |
| none ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| RobotManipulation — P/T (133.15 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 71.68 | 30.72 | 40.95 |
| fastest | 7 | 0 | 0 |
| smallest memory | 5 | 2 | 0 |
| 00001 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 10.23
|
T T ----:-M / 10.23
|
T T ----:-- / 10.23
|
| 00002 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 10.23
|
T T ----:-M / 10.23
|
T T ----:-- / 10.23
|
| 00005 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 10.23
|
T T ----:-- / 10.23
|
T T ----:-- / 10.23
|
| 00010 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
T T ----:-- / 10.23
|
| 00020 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
DNF 0 |
| 00050 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
DNF 0 |
| 00100 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.23
|
CC 0 |
DNF 0 |
| 00200 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 00500 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 01000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 02000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 05000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 10000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| RwMutex — P/T (130.59 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 108.80 | 76.16 | 54.40 |
| fastest | 10 | 0 | 0 |
| smallest memory | 8 | 2 | 0 |
| r0010w0010 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 10.88
|
T T ----:-- / 10.88
|
T T ----:-- / 10.88
|
| r0010w0020 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 10.88
|
T T ----:-- / 10.88
|
T T ----:-- / 10.88
|
| r0010w0050 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 10.88
|
T T ----:-M / 10.88
|
T T ----:-- / 10.88
|
| r0010w0100 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 10.88
|
T T ----:-M / 10.88
|
T T ----:-- / 10.88
|
| r0010w0500 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.88
|
T T ----:-- / 10.88
|
DNF 0 |
| r0010w1000 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 10.88
|
T T ----:-- / 10.88
|
DNF 0 |
| r0010w2000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| r0020w0010 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 10.88
|
T T ----:-- / 10.88
|
T T ----:-- / 10.88
|
| r0100w0010 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.88
|
CC 0 |
DNF 0 |
| r0500w0010 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.88
|
CC 0 |
DNF 0 |
| r1000w0010 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.88
|
CC 0 |
DNF 0 |
| r2000w0010 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| SafeBus — Colored (76.18 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 21.76 | 10.88 | 0.00 |
| fastest | 2 | 0 | 0 |
| smallest memory | 1 | 1 | 0 |
| 03 T (expected value) 1.99 (confidence rate) |
T T ----:P- / 10.88
|
T T ----:-M / 10.88
|
DNC |
| 06 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 10.88
|
CC 0 |
DNC |
| 10 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 15 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 20 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 50 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 80 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| SafeBus — P/T (54.41 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 21.76 | 32.63 | 10.88 |
| fastest | 0 | 3 | 0 |
| smallest memory | 1 | 2 | 0 |
| 03 F (expected value) 2.99 (confidence rate) |
F T ----:-M / 10.88
|
F T ----:P- / 10.88
|
F T ----:-- / 10.88
|
| 06 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 10.88
|
F T ----:PM / 10.88
|
DNF 0 |
| 10 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 10.88
|
DNF 0 |
| 15 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 20 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| SharedMemory — Colored (105.70 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 22.65 | 15.09 | 0.00 |
| fastest | 2 | 1 | 0 |
| smallest memory | 3 | 0 | 0 |
| 000005 T (expected value) 1.99 (confidence rate) |
T T ----:-M / 7.55
|
T T ----:P- / 7.55
|
DNC |
| 000010 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 7.55
|
T T ----:-- / 7.55
|
DNC |
| 000020 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 7.55
|
CC 0 |
DNC |
| 000050 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 000100 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 000200 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 000500 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 001000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 002000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 005000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 010000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 020000 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 050000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 100000 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| SharedMemory — P/T (45.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 22.65 | 7.55 | 15.09 |
| fastest | 2 | 1 | 0 |
| smallest memory | 3 | 0 | 0 |
| 000005 T (expected value) 2.99 (confidence rate) |
T T ----:-M / 7.55
|
T T ----:P- / 7.55
|
T T ----:-- / 7.55
|
| 000010 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 7.55
|
CC 0 |
T T ----:-- / 7.55
|
| 000020 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 7.55
|
CC 0 |
DNF 0 |
| 000050 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 000100 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 000200 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| SimpleLoadBal — P/T (112.75 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 67.65 | 112.75 | 45.09 |
| fastest | 2 | 3 | 0 |
| smallest memory | 2 | 2 | 1 |
| 02 F (expected value) 2.99 (confidence rate) |
F T ----:PM / 22.55
|
F T ----:-- / 22.55
|
F T ----:-- / 22.55
|
| 05 F (expected value) 2.99 (confidence rate) |
F T ----:P- / 22.55
|
F T ----:-- / 22.55
|
F T ----:-M / 22.55
|
| 10 F (expected value) 1.99 (confidence rate) |
F T ----:-M / 22.55
|
F T ----:P- / 22.55
|
DNF 0 |
| 15 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 22.55
|
DNF 0 |
| 20 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 22.55
|
DNF 0 |
| SmallOperatingSystem — P/T (148.45 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 101.52 | 39.05 | 46.84 |
| fastest | 13 | 0 | 0 |
| smallest memory | 11 | 2 | 0 |
| MT0016DC0008 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 7.80
|
T T ----:-M / 7.80
|
T T ----:-- / 7.80
|
| MT0032DC0008 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 7.80
|
T T ----:-M / 7.80
|
T T ----:-- / 7.80
|
| MT0032DC0016 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 7.80
|
T T ----:-- / 7.80
|
T T ----:-- / 7.80
|
| MT0064DC0016 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 7.80
|
T T ----:-- / 7.80
|
T X --D-:-- / -15.63
|
| MT0064DC0032 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 7.80
|
T T ----:-- / 7.80
|
T T ----:-- / 7.80
|
| MT0128DC0032 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
T T ----:-- / 7.80
|
| MT0128DC0064 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
T T ----:-- / 7.80
|
| MT0256DC0064 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
T T ----:-- / 7.80
|
| MT0256DC0128 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
T T ----:-- / 7.80
|
| MT0512DC0128 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
DNF 0 |
| MT0512DC0256 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
DNF 0 |
| MT1024DC0256 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
DNF 0 |
| MT1024DC0512 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 7.80
|
CC 0 |
DNF 0 |
| MT2048DC0512 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| MT2048DC1024 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| MT4096DC1024 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| MT4096DC2048 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| MT8192DC2048 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| MT8192DC4096 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| Solitaire — P/T (115.30 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 115.31 | 0.00 |
| fastest | 0 | 6 | 0 |
| smallest memory | 0 | 6 | 0 |
| EngCT7x7 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 19.22
|
DNF 0 |
| EngNC7x7 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 19.22
|
DNF 0 |
| FrnCT7x7 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 19.22
|
DNF 0 |
| FrnNC7x7 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 19.22
|
DNF 0 |
| SqrCT5x5 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 19.22
|
DNF 0 |
| SqrNC5x5 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 19.22
|
DNF 0 |
| SquareGrid — P/T (112.75 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 67.65 | 0.00 |
| fastest | 0 | 3 | 0 |
| smallest memory | 0 | 3 | 0 |
| 020102 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 22.55
|
DNF 0 |
| 040204 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 22.55
|
DNF 0 |
| 080408 F (expected value) 1 (confidence rate) |
DNF 0 |
F T ----:PM / 22.55
|
DNF 0 |
| 100510 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 130613 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| SwimmingPool — P/T (125.50 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 125.50 | 25.09 | 75.30 |
| fastest | 10 | 0 | 0 |
| smallest memory | 10 | 0 | 0 |
| 01 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 12.55
|
T T ----:-- / 12.55
|
T T ----:-- / 12.55
|
| 02 T (expected value) 2.99 (confidence rate) |
T T ----:PM / 12.55
|
T T ----:-- / 12.55
|
T T ----:-- / 12.55
|
| 03 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
T T ----:-- / 12.55
|
| 04 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
T T ----:-- / 12.55
|
| 05 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
T T ----:-- / 12.55
|
| 06 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
T T ----:-- / 12.55
|
| 07 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
DNF 0 |
| 08 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
DNF 0 |
| 09 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
DNF 0 |
| 10 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 12.55
|
CC 0 |
DNF 0 |
| TCPcondis — P/T (122.95 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 40.98 | 0.00 | 13.66 |
| fastest | 3 | 0 | 0 |
| smallest memory | 3 | 0 | 0 |
| 05 T (expected value) 1.99 (confidence rate) |
T T ----:PM / 13.66
|
CC 0 |
T T ----:-- / 13.66
|
| 10 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 13.66
|
CC 0 |
DNF 0 |
| 15 T (expected value) 0.99 (confidence rate) |
T T ----:PM / 13.66
|
CC 0 |
DNF 0 |
| 20 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 25 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 30 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 35 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 40 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 50 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| TokenRing — Colored (84.31 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 8.43 | 16.86 | 0.00 |
| fastest | 0 | 2 | 0 |
| smallest memory | 1 | 1 | 0 |
| 005 T (expected value) 1.99 (confidence rate) |
T T ----:-M / 8.43
|
T T ----:P- / 8.43
|
DNC |
| 010 T (expected value) 1 (confidence rate) |
DNF 0 |
T T ----:PM / 8.43
|
DNC |
| 015 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 020 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 030 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 040 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 050 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 100 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| 200 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |
| 500 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNC |
| TokenRing — P/T (59.02 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 16.86 | 8.43 | 8.43 |
| fastest | 1 | 1 | 0 |
| smallest memory | 1 | 1 | 0 |
| 005 F (expected value) 2.99 (confidence rate) |
F T ----:-- / 8.43
|
F T ----:PM / 8.43
|
F T ----:-- / 8.43
|
| 010 F (expected value) 0.99 (confidence rate) |
F T ----:PM / 8.43
|
CC 0 |
CC 0 |
| 015 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 020 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 030 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 040 ? (expected value) 0 (confidence rate) |
CC 0 |
CC 0 |
DNF 0 |
| 050 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| TriangularGrid — P/T (120.40 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 45.15 | 45.15 | 30.09 |
| fastest | 2 | 1 | 0 |
| smallest memory | 0 | 3 | 0 |
| 1200 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 15.05
|
T T ----:-M / 15.05
|
T T ----:-- / 15.05
|
| 1500 T (expected value) 2.99 (confidence rate) |
T T ----:P- / 15.05
|
T T ----:-M / 15.05
|
T T ----:-- / 15.05
|
| 2011 F (expected value) 1.99 (confidence rate) |
F T ----:-- / 15.05
|
F T ----:PM / 15.05
|
DNF 0 |
| 3011 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 3026 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 4022 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 5020 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| 5046 ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNF 0 |
| UtahNoC — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 102.55 | 0.00 |
| fastest | 0 | 1 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 1.99 (confidence rate) |
F T ----:-M / 102.55
|
F T ----:P- / 102.55
|
DNF 0 |
| Vasy2003 — P/T (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 102.55 | 102.55 | 0.00 |
| fastest | 1 | 0 | 0 |
| smallest memory | 1 | 0 | 0 |
| none F (expected value) 1.99 (confidence rate) |
F T ----:PM / 102.55
|
F T ----:-- / 102.55
|
DNF 0 |
| VehicularWifi — Colored (102.55 pts max) | |||
| GreatSPN | Tapaal | smart | |
| Score | 0.00 | 0.00 | 0.00 |
| fastest | 0 | 0 | 0 |
| smallest memory | 0 | 0 | 0 |
| none ? (expected value) 0 (confidence rate) |
DNF 0 |
CC 0 |
DNC |