fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Results for GlobalProperties
Last Updated
Apr 15, 2019

Introduction

Please find here the computed results for the GlobalProperties examination. The table is organized as follows:

The information for a model instance is summarized in a «line» where:

The structure of a table cell is always the same. In black, you have the output provided by the tool followed by the interpretation mask stating if the tool did computed something corresponding to the expected values (T means that it is the expected result, ? means that no tool computed the corresponding value and X means that the value is not the expected one). Then, three consistency flags are displayed : V means that at least one value was wrong (i.e. at least one X in the result mask), C means that the tool was not consistent between the colored Petri net and the P/T equivalent one. This part is displayed in green when some points was considered, in orange when it was not possible («unsafe» values estimated for example) and red when the result is discarded due to an error.

Then a second group of flags outline the fastest tool (P) and the tool having the smallest memory footprint (M). These tools get a +1 bonus that is always considered for green and orange results. These two flags are followed by the score (without bonus) and a link to the execution report containing: a summary of results, a chart reporting memory and CPU evolution over the execution, a full execution log and the commands applied to the tool for this run.

You will note that DNC means «Do Not Compete» and CC means «Cannot Compute». Results are labelled CC only when no output was produced for this execution and the tool reported a problem. DNF (Did Not Finished) is displayed when no output was produced within the 1 hour time confinement.

The Results

They are displayed in the table below, together with scores (total, sum per category of model and sum per model).

Summary of Results for GlobalProperties
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Total Points 9733.00 9696.45 8284.62 10105.48 0.00 6180.93 0.00

All «Surprise» models
 
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Total Points 714.31 714.31 622.20 894.72 0.00 306.52 0.00
Road Runner 1 0 0 26 0 6 0
Camel 1 0 1 26 0 5 0
CloudOpsManagement — P/T (542.80 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 232.55 232.55 116.27 77.52 0.00 271.31 0.00
fastest 0 0 0 2 0 6 0
smallest memory 0 0 1 2 0 5 0
00002by00001

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 38.76
F
T
--:-- / 38.76
F
T
--:-- / 38.76
F
T
--:PM / 38.76
CC

0
F
T
--:-- / 38.76
CC

0
00005by00002

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 38.76
DNF

0
F
T
--:-- / 38.76
F
T
--:PM / 38.76
CC

0
CC

0
CC

0
00010by00005

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 38.76
F
T
--:-- / 38.76
F
T
--:-M / 38.76
DNF

0
CC

0
F
T
--:P- / 38.76
CC

0
00020by00010

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 38.76
F
T
--:-- / 38.76
DNF

0
CC

0
CC

0
F
T
--:PM / 38.76
CC

0
00040by00020

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 38.76
F
T
--:-- / 38.76
DNF

0
CC

0
CC

0
F
T
--:PM / 38.76
CC

0
00080by00040

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 38.76
F
T
--:-- / 38.76
CC

0
CC

0
CC

0
F
T
--:PM / 38.76
CC

0
00160by00080

F (expected value)

2.00 (confidence rate)

DNF

0
F
T
--:-- / 38.76
DNF

0
CC

0
CC

0
F
T
--:PM / 38.76
CC

0
00320by00160

F (expected value)

1 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
F
T
--:PM / 38.76
CC

0
00640by00320

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
01280by00640

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
02560by01280

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
05120by02560

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
10240by05120

? (expected value)

0 (confidence rate)

CC

0
DNF

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
20480by10240

? (expected value)

0 (confidence rate)

CC

0
CC

0
DNF

0
CC

0
CC

0
DNF

0
CC

0
FamilyReunion — Colored (389.06 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 64.88 64.88 129.76 162.20 0.00 0.00 0.00
fastest 0 0 0 5 0 0 0
smallest memory 0 0 0 5 0 0 0
L00010M0001C001P001G001

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00020M0002C001P001G001

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00050M0005C002P002G001

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00100M0010C005P005G002

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00200M0020C010P010G005

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00400M0040C020P020G001

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
L00800M0080C040P040G020

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
L01200M0120C060P060G030

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
L03000M0300G150P150G075

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
L05000M0500C250P250G125

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
L08000M0800C400P400G200

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
L12000M1200C600P600G300

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
FamilyReunion — P/T (194.52 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 64.88 64.88 129.76 162.20 0.00 0.00 0.00
fastest 0 0 0 5 0 0 0
smallest memory 0 0 0 5 0 0 0
L00010M0001C001P001G001

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00020M0002C001P001G001

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00050M0005C002P002G001

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00100M0010C005P005G002

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 32.44
T
T
--:PM / 32.44
CC

0
CC

0
CC

0
L00200M0020C010P010G005

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 32.44
CC

0
DNF

0
CC

0
L00400M0040C020P020G001

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
NoC3x3 — P/T (563.20 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 352.00 352.00 246.40 492.80 0.00 35.20 0.00
fastest 1 0 0 14 0 0 0
smallest memory 1 0 0 14 0 0 0
1A

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 35.20
F
T
--:-- / 35.20
CC

0
F
T
--:PM / 35.20
CC

0
F
T
--:-- / 35.20
CC

0
1B

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 35.20
T
T
--:-- / 35.20
T
T
--:-- / 35.20
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
2A

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 35.20
F
T
--:-- / 35.20
CC

0
F
T
--:PM / 35.20
CC

0
DNF

0
CC

0
2B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 35.20
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
3A

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 35.20
F
T
--:-- / 35.20
CC

0
F
T
--:PM / 35.20
CC

0
DNF

0
CC

0
3B

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
4A

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 35.20
F
T
--:-- / 35.20
CC

0
F
T
--:PM / 35.20
CC

0
DNF

0
CC

0
4B

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 35.20
T
T
--:-- / 35.20
T
T
--:-- / 35.20
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
5A

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
5B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 35.20
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
6A

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 35.20
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
6B

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 35.20
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
7A

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 35.20
F
T
--:-- / 35.20
CC

0
CC

0
CC

0
DNF

0
CC

0
7B

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 35.20
T
T
--:-- / 35.20
CC

0
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
8A

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 35.20
F
T
--:-- / 35.20
CC

0
F
T
--:PM / 35.20
CC

0
DNF

0
CC

0
8B

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 35.20
T
T
--:-- / 35.20
T
T
--:-- / 35.20
T
T
--:PM / 35.20
CC

0
DNF

0
CC

0
VehicularWifi — Colored (410.20 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 0.00 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0 0
none

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0

All «Known» models
 
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Total Points 9018.68 8982.13 7662.41 9210.77 0.00 5874.41 0.00
Road Runner 72 12 30 742 0 43 0
Camel 64 9 9 748 0 69 0
ARMCacheCoherence — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 102.55 0.00 102.55 0.00
fastest 1 0 0 0 0 0 0
smallest memory 0 0 0 1 0 0 0
none

F (expected value)

4.00 (confidence rate)

F
T
--:P- / 102.55
F
T
--:-- / 102.55
CC

0
F
T
--:-M / 102.55
CC

0
F
T
--:-- / 102.55
CC

0
AirplaneLD — Colored (72.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 72.98 72.98 72.98 72.98 0.00 8.11 0.00
fastest 2 0 2 5 0 0 0
smallest memory 1 0 0 8 0 0 0
0010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
0020

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
CC

0
CC

0
0050

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
CC

0
CC

0
0100

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
CC

0
CC

0
0200

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
CC

0
CC

0
0500

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:P- / 8.11
T
T
--:-M / 8.11
CC

0
CC

0
CC

0
1000

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:P- / 8.11
T
T
--:-M / 8.11
CC

0
CC

0
CC

0
2000

T (expected value)

4.00 (confidence rate)

T
T
--:P- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-M / 8.11
CC

0
CC

0
CC

0
4000

T (expected value)

4.00 (confidence rate)

T
T
--:PM / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
CC

0
CC

0
CC

0
AirplaneLD — P/T (72.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 72.98 72.98 72.98 72.98 0.00 32.44 0.00
fastest 2 0 2 5 0 0 0
smallest memory 1 0 0 8 0 0 0
0010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
0020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
0050

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
0100

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
CC

0
CC

0
0200

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
CC

0
CC

0
0500

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:P- / 8.11
T
T
--:-M / 8.11
CC

0
CC

0
CC

0
1000

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:P- / 8.11
T
T
--:-M / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
2000

T (expected value)

4.00 (confidence rate)

T
T
--:P- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-M / 8.11
CC

0
CC

0
CC

0
4000

T (expected value)

4.00 (confidence rate)

T
T
--:PM / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
CC

0
CC

0
CC

0
Angiogenesis — P/T (117.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 101.04 101.04 84.20 101.04 0.00 50.52 0.00
fastest 0 0 1 5 0 0 0
smallest memory 2 0 0 3 0 1 0
01

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:P- / 16.84
CC

0
T
T
--:-M / 16.84
CC

0
05

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:PM / 16.84
CC

0
T
T
--:-- / 16.84
CC

0
10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:PM / 16.84
CC

0
T
T
--:-- / 16.84
CC

0
15

T (expected value)

3.00 (confidence rate)

T
T
--:-M / 16.84
T
T
--:-- / 16.84
CC

0
T
T
--:P- / 16.84
CC

0
DNF

0
CC

0
20

T (expected value)

4.00 (confidence rate)

T
T
--:-M / 16.84
T
T
--:-- / 16.84
T
T
--:P- / 16.84
T
T
--:-- / 16.84
CC

0
DNF

0
CC

0
25

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:PM / 16.84
CC

0
DNF

0
CC

0
50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
AutoFlight — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 151.00 151.00 151.00 151.00 0.00 105.70 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
01a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
01b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
02a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
02b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
03a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
03b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
04a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
04b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
05a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
05b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
06a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
06b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
12a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
12b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
24a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
24b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
48a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
48b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
96a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
96b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
BART — Colored (70.40 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 70.40 70.40 0.00 0.00 0.00 0.00 0.00
fastest 3 5 0 0 0 0 0
smallest memory 2 6 0 0 0 0 0
002

F (expected value)

2.00 (confidence rate)

F
T
--:-M / 8.80
F
T
--:P- / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
005

F (expected value)

2.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
010

F (expected value)

2.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
020

F (expected value)

2.00 (confidence rate)

F
T
--:-M / 8.80
F
T
--:P- / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
030

F (expected value)

2.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
040

F (expected value)

2.00 (confidence rate)

F
T
--:P- / 8.80
F
T
--:-M / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
050

F (expected value)

2.00 (confidence rate)

F
T
--:P- / 8.80
F
T
--:-M / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
060

F (expected value)

2.00 (confidence rate)

F
T
--:P- / 8.80
F
T
--:-M / 8.80
CC

0
CC

0
CC

0
DNF

0
CC

0
BART — P/T (70.40 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 8.80 70.40 8.80 70.40 0.00 70.40 0.00
fastest 0 0 0 7 0 1 0
smallest memory 0 0 0 8 0 0 0
002

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-M / 8.80
CC

0
F
T
--:P- / 8.80
CC

0
005

F (expected value)

3.00 (confidence rate)

[undef]
?
--:-- / 0.00
F
T
--:-- / 8.80
CC

0
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
010

F (expected value)

3.00 (confidence rate)

[undef]
?
--:-- / 0.00
F
T
--:-- / 8.80
CC

0
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
020

F (expected value)

3.00 (confidence rate)

[undef]
?
--:-- / 0.00
F
T
--:-- / 8.80
CC

0
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
030

F (expected value)

3.00 (confidence rate)

[undef]
?
--:-- / 0.00
F
T
--:-- / 8.80
CC

0
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
040

F (expected value)

3.00 (confidence rate)

[undef]
?
--:-- / 0.00
F
T
--:-- / 8.80
CC

0
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
050

F (expected value)

3.00 (confidence rate)

[undef]
?
--:-- / 0.00
F
T
--:-- / 8.80
CC

0
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
060

F (expected value)

3.00 (confidence rate)

[undef]
?
--:-- / 0.00
F
T
--:-- / 8.80
CC

0
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
BridgeAndVehicles — Colored (101.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 35.34 50.50 101.00 101.00 0.00 40.40 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
V04P05N02

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V10P10N10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P10N10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P10N20

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P10N50

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P20N10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P20N20

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P20N50

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V50P20N10

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P20N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P20N50

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P50N10

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P50N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P50N50

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P20N10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P20N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P20N50

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P50N10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P50N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P50N50

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
BridgeAndVehicles — P/T (101.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 30.30 50.50 101.00 101.00 0.00 40.40 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
V04P05N02

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V10P10N10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P10N10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P10N20

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P10N50

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P20N10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P20N20

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V20P20N50

T (expected value)

4.00 (confidence rate)

DNF

0
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
T
T
--:-- / 5.05
CC

0
V50P20N10

T (expected value)

3.00 (confidence rate)

CC

0
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P20N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P20N50

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P50N10

T (expected value)

3.00 (confidence rate)

DNF

0
T
T
--:-- / 5.05
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P50N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V50P50N50

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P20N10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P20N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P20N50

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P50N10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P50N20

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
V80P50N50

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 5.05
T
T
--:PM / 5.05
CC

0
DNF

0
CC

0
CSRepetitions — Colored (65.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 65.27 65.27 65.27 65.27 0.00 54.40 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
02

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
03

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
04

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
05

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
07

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
CSRepetitions — P/T (65.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 65.27 65.27 65.27 65.27 0.00 54.40 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
02

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
03

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
04

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
05

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
07

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
CircadianClock — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 115.31 115.31 38.44 115.31 0.00 76.88 0.00
fastest 3 0 0 1 0 2 0
smallest memory 2 0 0 1 0 3 0
000001

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
000010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:PM / 19.22
CC

0
000100

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
F
T
--:PM / 19.22
CC

0
001000

F (expected value)

4.00 (confidence rate)

F
T
--:P- / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
F
T
--:-M / 19.22
CC

0
010000

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
DNF

0
CC

0
100000

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
DNF

0
CC

0
CircularTrains — P/T (117.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 117.88 117.88 101.04 117.88 0.00 117.88 0.00
fastest 0 0 0 7 0 0 0
smallest memory 1 0 0 6 0 0 0
012

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:PM / 16.84
CC

0
F
T
--:-- / 16.84
CC

0
024

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:PM / 16.84
CC

0
F
T
--:-- / 16.84
CC

0
048

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:PM / 16.84
CC

0
F
T
--:-- / 16.84
CC

0
096

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:PM / 16.84
CC

0
F
T
--:-- / 16.84
CC

0
192

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:PM / 16.84
CC

0
F
T
--:-- / 16.84
CC

0
384

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
CC

0
F
T
--:PM / 16.84
CC

0
F
T
--:-- / 16.84
CC

0
768

F (expected value)

5.00 (confidence rate)

F
T
--:-M / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:P- / 16.84
CC

0
F
T
--:-- / 16.84
CC

0
ClientsAndServers — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 128.34 128.34 135.90 151.00 0.00 37.75 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
N0001P0

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
N0002P0

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
N0002P1

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
N0005P0

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
N0005P1

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
N0010P0

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0010P1

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0010P2

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0020P0

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0020P1

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0020P2

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0020P3

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0020P4

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0050P0

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0100P0

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0200P0

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N0500P0

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N1000P0

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N2000P0

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
N5000P0

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
CC

0
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
CloudDeployment — P/T (130.59 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 119.68 130.55 97.91 130.55 0.00 65.27 0.00
fastest 2 0 2 8 0 0 0
smallest memory 1 0 0 10 0 1 0
2a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
2b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
3a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
3b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
4a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
4b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
5a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:P- / 10.88
T
T
--:-M / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
5b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:P- / 10.88
T
T
--:-M / 10.88
CC

0
DNF

0
CC

0
6a

T (expected value)

5.00 (confidence rate)

T
T
--:P- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
CC

0
T
T
--:-M / 10.88
CC

0
6b

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
CC

0
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
7a

T (expected value)

4.00 (confidence rate)

T
T
--:PM / 10.88
T
T
--:-- / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
7b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 10.88
CC

0
T
T
--:PM / 10.88
CC

0
CC

0
CC

0
CloudReconfiguration — P/T (156.09 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 156.20 156.20 156.20 156.20 0.00 0.00 0.00
fastest 0 0 0 22 0 0 0
smallest memory 0 0 0 22 0 0 0
301

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
302

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
303

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
304

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
305

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
306

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
307

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
308

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
309

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
310

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
311

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
312

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
313

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
314

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
315

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
316

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
317

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
318

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
319

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
320

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
401

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
402

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:-- / 7.09
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
DES — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 151.00 151.00 151.00 151.00 0.00 52.84 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
00a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
00b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
01a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
01b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
02a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
02b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
05a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
05b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
10a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
10b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
20a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
20b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
30a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
30b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
40a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
40b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
50a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
50b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
60a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
60b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
DLCround — P/T (156.09 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 142.00 113.59 63.90 156.20 0.00 63.90 0.00
fastest 0 0 0 22 0 0 0
smallest memory 0 0 0 22 0 0 0
03a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
CC

0
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
03b

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
04a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
04b

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
05a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
05b

T (expected value)

2.00 (confidence rate)

DNF

0
T
T
--:-- / 7.09
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
06a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
06b

T (expected value)

2.00 (confidence rate)

T
T
--:-- / 7.09
CC

0
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
07a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
07b

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
08a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
08b

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 7.09
T
T
--:-- / 7.09
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
09a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
09b

T (expected value)

2.00 (confidence rate)

T
T
--:-- / 7.09
DNF

0
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
10a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
10b

T (expected value)

2.00 (confidence rate)

T
T
--:-- / 7.09
DNF

0
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
11a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
F
T
--:-- / 7.09
CC

0
11b

T (expected value)

2.00 (confidence rate)

T
T
--:-- / 7.09
DNF

0
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
12a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:-- / 7.09
F
T
--:PM / 7.09
CC

0
CC

0
CC

0
12b

T (expected value)

2.00 (confidence rate)

T
T
--:-- / 7.09
DNF

0
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
13a

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 7.09
F
T
--:-- / 7.09
CC

0
F
T
--:PM / 7.09
CC

0
CC

0
CC

0
13b

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 7.09
CC

0
DNF

0
CC

0
DLCshifumi — P/T (125.50 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 62.75 62.75 62.75 112.95 0.00 12.55 0.00
fastest 0 0 0 9 0 0 0
smallest memory 0 0 0 9 0 0 0
2a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
2b

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
DNF

0
CC

0
3a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
CC

0
CC

0
3b

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 12.55
CC

0
DNF

0
CC

0
4a

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
CC

0
F
T
--:PM / 12.55
CC

0
CC

0
CC

0
4b

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
5a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
CC

0
CC

0
5b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
6a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
CC

0
CC

0
6b

T (expected value)

1.00 (confidence rate)

CC

0
DNF

0
CC

0
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
DNAwalker — P/T (145.90 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 137.87 137.87 97.31 145.98 0.00 89.20 0.00
fastest 4 0 0 10 0 4 0
smallest memory 0 0 0 10 0 8 0
01track12Block1

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
02track12Block2

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
03track12BlockBoth

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
T
T
--:-- / 8.11
CC

0
04track28LL

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
DNF

0
CC

0
05track28LR

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
DNF

0
CC

0
06track28RL

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
DNF

0
CC

0
07track28RR

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
DNF

0
CC

0
08ringLL

F (expected value)

5.00 (confidence rate)

F
T
--:P- / 8.11
F
T
--:-- / 8.11
F
T
--:-- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-M / 8.11
CC

0
09ringLR

F (expected value)

5.00 (confidence rate)

F
T
--:P- / 8.11
F
T
--:-- / 8.11
F
T
--:-- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-M / 8.11
CC

0
10ringRL

F (expected value)

4.00 (confidence rate)

F
T
--:P- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-- / 8.11
CC

0
F
T
--:-M / 8.11
CC

0
11ringRR

F (expected value)

5.00 (confidence rate)

F
T
--:P- / 8.11
F
T
--:-- / 8.11
F
T
--:-- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-M / 8.11
CC

0
12ringLLLarge

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-- / 8.11
CC

0
F
T
--:PM / 8.11
CC

0
13ringRLLarge

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-- / 8.11
CC

0
F
T
--:PM / 8.11
CC

0
14ringLRLarge

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-- / 8.11
CC

0
F
T
--:PM / 8.11
CC

0
15ringRRLarge

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.11
F
T
--:-- / 8.11
CC

0
F
T
--:-- / 8.11
CC

0
F
T
--:PM / 8.11
CC

0
16redondantChoiceR

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
DNF

0
CC

0
17redondantChoiceL

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:-- / 8.11
T
T
--:PM / 8.11
CC

0
DNF

0
CC

0
18lozangeBlock

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 8.11
CC

0
DNF

0
CC

0
DatabaseWithMutex — Colored (62.75 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 0.00 0.00 25.09 25.09 0.00 25.09 0.00
fastest 0 0 0 2 0 0 0
smallest memory 0 0 0 2 0 0 0
02

F (expected value)

3.00 (confidence rate)

CC

0
CC

0
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
04

F (expected value)

3.00 (confidence rate)

CC

0
CC

0
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
20

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
40

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
DatabaseWithMutex — P/T (62.75 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 62.75 62.75 25.09 25.09 0.00 25.09 0.00
fastest 3 0 0 1 0 1 0
smallest memory 3 0 0 1 0 1 0
02

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
CC

0
F
T
--:PM / 12.55
CC

0
04

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
10

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 12.55
F
T
--:-- / 12.55
CC

0
CC

0
CC

0
DNF

0
CC

0
20

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 12.55
F
T
--:-- / 12.55
CC

0
CC

0
CC

0
DNF

0
CC

0
40

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 12.55
F
T
--:-- / 12.55
CC

0
CC

0
CC

0
CC

0
CC

0
Dekker — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 115.31 96.09 57.66 57.66 0.00 96.09 0.00
fastest 2 0 0 0 0 4 0
smallest memory 2 0 0 0 0 4 0
010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:PM / 19.22
CC

0
015

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:PM / 19.22
CC

0
020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:PM / 19.22
CC

0
050

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
CC

0
CC

0
CC

0
F
T
--:PM / 19.22
CC

0
100

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 19.22
F
T
--:-- / 19.22
CC

0
CC

0
CC

0
F
T
--:-- / 19.22
CC

0
200

F (expected value)

1 (confidence rate)

F
T
--:PM / 19.22
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
Diffusion2D — P/T (173.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 174.00 174.00 48.00 174.00 0.00 108.00 0.00
fastest 0 0 0 29 0 0 0
smallest memory 0 0 0 29 0 0 0
D05N010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D05N050

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D05N100

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D05N150

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D05N200

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D05N250

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D05N300

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
DNF

0
CC

0
D05N350

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:-- / 6.00
F
T
--:PM / 6.00
CC

0
DNF

0
CC

0
D10N010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D10N050

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D10N100

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D10N150

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D10N200

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D20N010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D20N050

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D20N100

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D20N150

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D30N010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D30N050

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D30N100

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D30N150

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D40N010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
F
T
--:-- / 6.00
CC

0
D40N050

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D40N100

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D40N150

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D50N010

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D50N050

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D50N100

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
D50N150

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 6.00
F
T
--:-- / 6.00
CC

0
F
T
--:PM / 6.00
CC

0
CC

0
CC

0
DrinkVendingMachine — Colored (95.63 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 40.98 40.98 13.66 27.31 0.00 27.31 0.00
fastest 1 1 0 1 0 0 0
smallest memory 0 1 0 2 0 0 0
02

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:PM / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
10

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:P- / 13.66
CC

0
F
T
--:-M / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
16

F (expected value)

2.00 (confidence rate)

F
T
--:P- / 13.66
F
T
--:-M / 13.66
CC

0
CC

0
CC

0
CC

0
CC

0
24

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
48

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
76

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
98

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
DrinkVendingMachine — P/T (27.31 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 27.31 27.31 13.66 27.31 0.00 27.31 0.00
fastest 0 1 0 1 0 0 0
smallest memory 0 0 0 2 0 0 0
02

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:PM / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
10

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:P- / 13.66
CC

0
F
T
--:-M / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
ERK — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 115.31 115.31 115.31 115.31 0.00 76.88 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
000001

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
000010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
000100

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
001000

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
010000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
DNF

0
CC

0
100000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
DNF

0
CC

0
Echo — P/T (122.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 0.00 0.00 122.94 122.94 0.00 0.00 0.00
fastest 0 0 0 9 0 0 0
smallest memory 0 0 0 9 0 0 0
d02r09

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d02r11

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d02r15

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d02r19

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d03r03

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d03r05

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d03r07

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d04r03

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
d05r03

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
EnergyBus — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 102.55 0.00 102.55 0.00
fastest 0 1 0 0 0 0 0
smallest memory 0 0 0 1 0 0 0
none

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 102.55
F
T
--:P- / 102.55
CC

0
F
T
--:-M / 102.55
CC

0
F
T
--:-- / 102.55
CC

0
Eratosthenes — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 115.31 115.31 115.31 115.31 0.00 115.31 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
050

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
100

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
200

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
500

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
FMS — P/T (135.70 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 135.66 135.66 135.66 135.66 0.00 77.52 0.00
fastest 0 0 0 14 0 0 0
smallest memory 0 0 0 10 0 4 0
00002

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:P- / 9.69
CC

0
F
T
--:-M / 9.69
CC

0
00005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:P- / 9.69
CC

0
F
T
--:-M / 9.69
CC

0
00010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:P- / 9.69
CC

0
F
T
--:-M / 9.69
CC

0
00020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:P- / 9.69
CC

0
F
T
--:-M / 9.69
CC

0
00050

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
00100

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
00200

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
00500

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
01000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
DNF

0
CC

0
02000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
DNF

0
CC

0
05000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
DNF

0
CC

0
10000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
DNF

0
CC

0
20000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
DNF

0
CC

0
50000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
DNF

0
CC

0
FlexibleBarrier — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 151.00 151.00 135.90 151.00 0.00 83.05 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
04a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
04b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
06a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
06b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
08a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
08b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
10a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
10b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
12a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
12b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
14a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
14b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
16a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
16b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
18a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
18b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
20a

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
20b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
22a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
22b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
GPPP — P/T (143.34 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 109.59 109.59 0.00 134.88 0.00 59.01 0.00
fastest 0 0 0 16 0 0 0
smallest memory 0 0 0 14 0 2 0
C0001N0000000001

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
?
-
--:-- / 0.00
F
T
--:P- / 8.43
CC

0
F
T
--:-M / 8.43
CC

0
C0001N0000000010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
?
-
--:-- / 0.00
F
T
--:P- / 8.43
CC

0
F
T
--:-M / 8.43
CC

0
C0001N0000000100

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
?
-
--:-- / 0.00
F
T
--:PM / 8.43
CC

0
F
T
--:-- / 8.43
CC

0
C0001N0000001000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
?
-
--:-- / 0.00
F
T
--:PM / 8.43
CC

0
F
T
--:-- / 8.43
CC

0
C0001N0000010000

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
?
-
--:-- / 0.00
F
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C0001N0000100000

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
?
-
--:-- / 0.00
F
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C0010N0000000010

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.43
T
T
--:-- / 8.43
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
T
T
--:-- / 8.43
CC

0
C0010N0000000100

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.43
T
T
--:-- / 8.43
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
T
T
--:-- / 8.43
CC

0
C0010N1000000000

? (expected value)

0 (confidence rate)

CC

0
CC

0
?
?
--:-- / 0.00
CC

0
CC

0
CC

0
CC

0
C0100N0000000010

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 8.43
T
T
--:-- / 8.43
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
T
T
--:-- / 8.43
CC

0
C0100N0000000100

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 8.43
T
T
--:-- / 8.43
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C0100N0000001000

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 8.43
T
T
--:-- / 8.43
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C0100N0000010000

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C0100N0000100000

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C1000N0000000010

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 8.43
T
T
--:-- / 8.43
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C1000N0000000100

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 8.43
T
T
--:-- / 8.43
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
DNF

0
CC

0
C1000N0000001000

T (expected value)

1.00 (confidence rate)

CC

0
DNF

0
?
-
--:-- / 0.00
T
T
--:PM / 8.43
CC

0
DNF

0
CC

0
GlobalResAllocation — Colored (95.63 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 68.30 40.98 13.66 68.30 0.00 27.31 0.00
fastest 3 0 0 2 0 0 0
smallest memory 0 0 0 5 0 0 0
03

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:PM / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
05

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
F
T
--:PM / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
06

F (expected value)

3.00 (confidence rate)

F
T
--:P- / 13.66
F
T
--:-- / 13.66
CC

0
F
T
--:-M / 13.66
CC

0
DNF

0
CC

0
07

F (expected value)

2.00 (confidence rate)

F
T
--:P- / 13.66
CC

0
CC

0
F
T
--:-M / 13.66
CC

0
CC

0
CC

0
09

F (expected value)

2.00 (confidence rate)

F
T
--:P- / 13.66
CC

0
CC

0
F
T
--:-M / 13.66
CC

0
DNF

0
CC

0
10

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
11

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
GlobalResAllocation — P/T (27.31 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 27.31 27.31 13.66 27.31 0.00 27.31 0.00
fastest 0 0 0 2 0 0 0
smallest memory 0 0 0 2 0 0 0
03

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:PM / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
05

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
F
T
--:PM / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
HexagonalGrid — P/T (117.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 50.52 50.52 117.88 101.04 0.00 33.68 0.00
fastest 0 0 2 4 0 1 0
smallest memory 0 0 2 3 0 2 0
110

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:P- / 16.84
CC

0
F
T
--:-M / 16.84
CC

0
126

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
F
T
--:-- / 16.84
CC

0
F
T
--:PM / 16.84
CC

0
226

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:-- / 16.84
T
T
--:PM / 16.84
CC

0
DNF

0
CC

0
316

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 16.84
T
T
--:PM / 16.84
CC

0
DNF

0
CC

0
410

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 16.84
T
T
--:PM / 16.84
CC

0
DNF

0
CC

0
516

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:PM / 16.84
T
T
--:-- / 16.84
CC

0
DNF

0
CC

0
816

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
T
T
--:PM / 16.84
CC

0
CC

0
DNF

0
CC

0
HouseConstruction — P/T (135.70 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 135.66 135.66 135.66 135.66 0.00 38.76 0.00
fastest 0 0 0 14 0 0 0
smallest memory 0 0 0 13 0 1 0
00002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:P- / 9.69
CC

0
T
T
--:-M / 9.69
CC

0
00005

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
T
T
--:-- / 9.69
CC

0
00010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
T
T
--:-- / 9.69
CC

0
00020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
T
T
--:-- / 9.69
CC

0
00050

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
00100

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
00200

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
00500

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
01000

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
02000

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
04000

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
08000

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
16000

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
32000

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
HypercubeGrid — P/T (107.65 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 0.00 0.00 107.63 35.88 0.00 0.00 0.00
fastest 0 0 3 0 0 0 0
smallest memory 0 0 2 1 0 0 0
C3K4P4B12

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:P- / 35.88
T
T
--:-M / 35.88
CC

0
DNF

0
CC

0
C4K3P3B12

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
T
T
--:PM / 35.88
CC

0
CC

0
DNF

0
CC

0
C5K3P3B15

T (expected value)

1.00 (confidence rate)

CC

0
DNF

0
T
T
--:PM / 35.88
CC

0
CC

0
CC

0
CC

0
HypertorusGrid — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 57.66 38.44 96.09 76.88 0.00 19.22 0.00
fastest 0 0 2 3 0 0 0
smallest memory 0 0 2 2 0 1 0
d2k1p8b00

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:P- / 19.22
CC

0
F
T
--:-M / 19.22
CC

0
d2k2p1b00

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
d2k3p2b04

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 19.22
CC

0
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
d3k3p2b06

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:PM / 19.22
T
T
--:-- / 19.22
CC

0
DNF

0
CC

0
d4k3p2b08

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
d5k3p2b10

T (expected value)

1.00 (confidence rate)

CC

0
DNF

0
T
T
--:PM / 19.22
CC

0
CC

0
CC

0
CC

0
IBM319 — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 102.55 102.55 0.00 102.55 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
none

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:PM / 102.55
CC

0
T
T
--:-- / 102.55
CC

0
IBM5964 — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 102.55 102.55 0.00 102.55 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
none

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:PM / 102.55
CC

0
T
T
--:-- / 102.55
CC

0
IBM703 — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 102.55 102.55 0.00 102.55 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
none

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:PM / 102.55
CC

0
T
T
--:-- / 102.55
CC

0
IBMB2S565S3960 — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 102.55 102.55 0.00 0.00 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
none

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:-- / 102.55
T
T
--:PM / 102.55
CC

0
DNF

0
CC

0
IOTPpurchase — P/T (110.20 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 110.20 110.20 110.20 110.20 0.00 110.20 0.00
fastest 0 0 0 4 0 0 0
smallest memory 0 0 0 4 0 0 0
C01M01P01D01

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:PM / 27.55
CC

0
F
T
--:-- / 27.55
CC

0
C03M03P03D03

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:PM / 27.55
CC

0
F
T
--:-- / 27.55
CC

0
C05M04P03D02

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:PM / 27.55
CC

0
F
T
--:-- / 27.55
CC

0
C12M10P15D17

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:-- / 27.55
F
T
--:PM / 27.55
CC

0
F
T
--:-- / 27.55
CC

0
JoinFreeModules — P/T (130.59 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 119.68 119.68 54.40 119.68 0.00 76.16 0.00
fastest 2 0 0 7 0 2 0
smallest memory 3 0 0 5 0 3 0
0003

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:PM / 10.88
CC

0
0004

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
CC

0
T
T
--:PM / 10.88
CC

0
0005

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
0010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:P- / 10.88
CC

0
F
T
--:-M / 10.88
CC

0
0020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
0050

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
0100

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
0200

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:PM / 10.88
CC

0
CC

0
CC

0
0500

F (expected value)

3.00 (confidence rate)

F
T
--:-M / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:P- / 10.88
CC

0
CC

0
CC

0
1000

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
2000

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
5000

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
Kanban — P/T (133.15 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 133.12 133.12 133.12 133.12 0.00 81.91 0.00
fastest 0 0 0 13 0 0 0
smallest memory 0 0 0 13 0 0 0
00005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00050

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00100

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00200

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00500

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
01000

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
02000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
DNF

0
CC

0
05000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
DNF

0
CC

0
10000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
DNF

0
CC

0
20000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
DNF

0
CC

0
50000

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
DNF

0
CC

0
LamportFastMutEx — Colored (67.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 48.45 38.76 38.76 38.76 0.00 48.45 0.00
fastest 0 0 0 2 0 3 0
smallest memory 0 0 0 2 0 3 0
2

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
3

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
4

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
CC

0
F
T
--:PM / 9.69
CC

0
5

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
CC

0
F
T
--:PM / 9.69
CC

0
6

F (expected value)

2 (confidence rate)

F
T
--:-- / 9.69
DNF

0
CC

0
CC

0
CC

0
F
T
--:PM / 9.69
CC

0
7

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
LamportFastMutEx — P/T (67.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 48.45 48.45 38.76 38.76 0.00 48.45 0.00
fastest 0 0 0 2 0 3 0
smallest memory 0 0 0 2 0 3 0
2

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
3

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
F
T
--:-- / 9.69
CC

0
4

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
CC

0
F
T
--:PM / 9.69
CC

0
5

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
CC

0
F
T
--:PM / 9.69
CC

0
6

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
CC

0
CC

0
CC

0
F
T
--:PM / 9.69
CC

0
7

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
8

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
MAPK — P/T (128.05 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 128.04 128.04 58.20 128.04 0.00 81.48 0.00
fastest 7 0 0 2 0 2 0
smallest memory 5 0 0 2 0 4 0
00008

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:PM / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
00020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:PM / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
00040

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:PM / 11.63
CC

0
00080

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:PM / 11.63
CC

0
00160

F (expected value)

5.00 (confidence rate)

F
T
--:P- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:-M / 11.63
CC

0
00320

F (expected value)

4.00 (confidence rate)

F
T
--:P- / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
F
T
--:-M / 11.63
CC

0
00640

F (expected value)

4.00 (confidence rate)

F
T
--:PM / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
01280

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
DNF

0
CC

0
02560

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
DNF

0
CC

0
05120

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
DNF

0
CC

0
10240

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 11.63
F
T
--:-- / 11.63
CC

0
F
T
--:-- / 11.63
CC

0
DNF

0
CC

0
MultiwaySync — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 102.55 0.00 102.55 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
none

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 102.55
F
T
--:-- / 102.55
CC

0
F
T
--:PM / 102.55
CC

0
F
T
--:-- / 102.55
CC

0
NeighborGrid — P/T (112.75 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 112.75 90.20 67.65 112.75 0.00 90.20 0.00
fastest 0 0 0 5 0 0 0
smallest memory 0 0 0 2 0 3 0
d2n3m1c12

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:P- / 22.55
CC

0
F
T
--:-M / 22.55
CC

0
d2n3m1t12

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:P- / 22.55
CC

0
F
T
--:-M / 22.55
CC

0
d3n3m1t11

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:P- / 22.55
CC

0
F
T
--:-M / 22.55
CC

0
d4n3m2c23

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
CC

0
F
T
--:PM / 22.55
CC

0
F
T
--:-- / 22.55
CC

0
d5n4m1t35

F (expected value)

2.00 (confidence rate)

F
T
--:-- / 22.55
CC

0
CC

0
F
T
--:PM / 22.55
CC

0
CC

0
CC

0
NeoElection — Colored (67.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 58.13 58.13 67.83 67.83 0.00 0.00 0.00
fastest 0 0 0 7 0 0 0
smallest memory 0 0 0 7 0 0 0
2

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
3

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
4

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
5

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
6

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
7

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
8

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
NeoElection — P/T (67.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 58.13 67.83 67.83 67.83 0.00 0.00 0.00
fastest 0 0 0 7 0 0 0
smallest memory 0 0 0 7 0 0 0
2

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
3

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
4

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
5

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
6

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
7

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
8

T (expected value)

3.00 (confidence rate)

CC

0
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
CC

0
CC

0
PaceMaker — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 0.00 0.00 102.55 0.00
fastest 1 0 0 0 0 0 0
smallest memory 1 0 0 0 0 0 0
none

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 102.55
F
T
--:-- / 102.55
CC

0
CC

0
CC

0
F
T
--:-- / 102.55
CC

0
ParamProductionCell — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 115.31 115.31 96.09 115.31 0.00 115.31 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
0

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
1

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
2

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
3

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
4

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:-- / 19.22
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
5

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 19.22
F
T
--:-- / 19.22
CC

0
F
T
--:PM / 19.22
CC

0
F
T
--:-- / 19.22
CC

0
Parking — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 115.31 115.31 115.31 115.31 0.00 115.31 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
104

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
208

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
416

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
432

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
832

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
864

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
T
T
--:-- / 19.22
CC

0
PermAdmissibility — Colored (65.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 21.76 21.76 65.27 65.27 0.00 10.88 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
01

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
02

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
05

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
20

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
50

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
PermAdmissibility — P/T (65.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 21.76 21.76 65.27 65.27 0.00 10.88 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
01

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
T
T
--:-- / 10.88
CC

0
02

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
05

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
10

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
20

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
50

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 10.88
T
T
--:PM / 10.88
CC

0
DNF

0
CC

0
Peterson — Colored (65.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 65.27 65.27 32.63 32.63 0.00 32.63 0.00
fastest 4 0 0 2 0 0 0
smallest memory 4 0 0 2 0 0 0
2

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
3

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
4

F (expected value)

5.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
5

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
DNF

0
CC

0
6

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
DNF

0
CC

0
7

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
DNF

0
CC

0
Peterson — P/T (65.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 65.27 65.27 21.76 32.63 0.00 32.63 0.00
fastest 4 0 0 1 0 1 0
smallest memory 4 0 0 1 0 1 0
2

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:PM / 10.88
CC

0
3

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
4

F (expected value)

4.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
5

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
DNF

0
CC

0
6

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
DNF

0
CC

0
7

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 10.88
F
T
--:-- / 10.88
CC

0
CC

0
CC

0
DNF

0
CC

0
PhaseVariation — P/T (125.50 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 50.20 50.20 125.50 125.50 0.00 37.65 0.00
fastest 0 0 0 10 0 0 0
smallest memory 0 0 0 9 0 1 0
D02CS010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:P- / 12.55
CC

0
T
T
--:-M / 12.55
CC

0
D02CS100

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
T
T
--:-- / 12.55
CC

0
D05CS010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
T
T
--:-- / 12.55
CC

0
D05CS100

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
DNF

0
CC

0
D10CS010

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
D10CS100

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
D20CS010

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
D20CS100

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
D30CS010

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
D30CS100

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 12.55
T
T
--:PM / 12.55
CC

0
CC

0
CC

0
Philosophers — Colored (87.31 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 67.20 53.76 60.48 60.48 0.00 40.31 0.00
fastest 1 0 1 8 0 0 0
smallest memory 4 0 0 6 0 0 0
000005

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000050

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000100

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000200

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000500

T (expected value)

4.00 (confidence rate)

T
T
--:-M / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:P- / 6.72
CC

0
DNF

0
CC

0
001000

T (expected value)

4.00 (confidence rate)

T
T
--:-M / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:P- / 6.72
CC

0
DNF

0
CC

0
002000

T (expected value)

2.00 (confidence rate)

T
T
--:PM / 6.72
DNF

0
CC

0
T
T
--:-- / 6.72
CC

0
CC

0
CC

0
005000

T (expected value)

2.00 (confidence rate)

T
T
--:-M / 6.72
DNF

0
T
T
--:P- / 6.72
CC

0
CC

0
CC

0
CC

0
010000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
050000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
100000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
Philosophers — P/T (73.88 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 53.76 53.76 60.48 26.88 0.00 40.31 0.00
fastest 2 0 3 3 0 1 0
smallest memory 3 0 2 2 0 2 0
000005

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:P- / 6.72
CC

0
T
T
--:-M / 6.72
CC

0
000010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
CC

0
T
T
--:PM / 6.72
CC

0
000020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000050

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
T
T
--:-- / 6.72
CC

0
000100

T (expected value)

4.00 (confidence rate)

T
T
--:PM / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
CC

0
CC

0
T
T
--:-- / 6.72
CC

0
000200

T (expected value)

4.00 (confidence rate)

T
T
--:PM / 6.72
T
T
--:-- / 6.72
T
T
--:-- / 6.72
CC

0
CC

0
T
T
--:-- / 6.72
CC

0
000500

T (expected value)

3.00 (confidence rate)

T
T
--:-M / 6.72
T
T
--:-- / 6.72
T
T
--:P- / 6.72
CC

0
CC

0
DNF

0
CC

0
001000

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 6.72
T
T
--:-- / 6.72
T
T
--:PM / 6.72
CC

0
CC

0
DNF

0
CC

0
002000

T (expected value)

1.00 (confidence rate)

DNF

0
[undef]
?
--:-- / 0.00
T
T
--:PM / 6.72
CC

0
CC

0
CC

0
CC

0
005000

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
010000

? (expected value)

0 (confidence rate)

DNF

0
[undef]
?
--:-- / 0.00
CC

0
CC

0
CC

0
CC

0
CC

0
PhilosophersDyn — Colored (75.25 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 0.00 0.00 45.15 75.25 0.00 15.05 0.00
fastest 0 0 1 4 0 0 0
smallest memory 0 0 0 5 0 0 0
03

T (expected value)

3.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
T
T
--:-- / 15.05
CC

0
10

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
CC

0
CC

0
20

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:P- / 15.05
T
T
--:-M / 15.05
CC

0
DNF

0
CC

0
50

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
CC

0
T
T
--:PM / 15.05
CC

0
CC

0
CC

0
80

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
CC

0
T
T
--:PM / 15.05
CC

0
CC

0
CC

0
PhilosophersDyn — P/T (45.15 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 30.09 30.09 45.15 45.15 0.00 15.05 0.00
fastest 0 0 1 2 0 0 0
smallest memory 0 0 0 3 0 0 0
03

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
T
T
--:-- / 15.05
CC

0
10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
CC

0
CC

0
20

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:P- / 15.05
T
T
--:-M / 15.05
CC

0
DNF

0
CC

0
Planning — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 102.55 102.55 0.00 0.00 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
none

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 102.55
F
T
--:-- / 102.55
F
T
--:-- / 102.55
F
T
--:PM / 102.55
CC

0
CC

0
CC

0
PolyORBLF — Colored (95.90 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 58.63 53.30 79.95 95.94 0.00 10.66 0.00
fastest 0 0 5 13 0 0 0
smallest memory 0 0 0 18 0 0 0
S02J04T06

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
T
T
--:-- / 5.33
CC

0
S02J04T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S02J04T10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S02J06T06

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
T
T
--:-- / 5.33
CC

0
S02J06T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S02J06T10

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 5.33
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J04T06

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
CC

0
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J04T08

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J04T10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J06T06

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J06T08

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J06T10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S06J04T04

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
DNF

0
CC

0
S06J04T06

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
DNF

0
CC

0
S06J04T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
CC

0
CC

0
S06J06T04

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
DNF

0
CC

0
S06J06T06

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
DNF

0
CC

0
S06J06T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
CC

0
CC

0
PolyORBLF — P/T (95.90 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 53.30 53.30 90.61 95.94 0.00 10.66 0.00
fastest 0 0 3 15 0 0 0
smallest memory 0 0 0 18 0 0 0
S02J04T06

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
T
T
--:-- / 5.33
CC

0
S02J04T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S02J04T10

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S02J06T06

T (expected value)

3.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
T
T
--:-- / 5.33
CC

0
S02J06T08

T (expected value)

2.00 (confidence rate)

DNF

0
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S02J06T10

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
CC

0
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J04T06

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J04T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J04T10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J06T06

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J06T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S04J06T10

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S06J04T04

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S06J04T06

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
DNF

0
CC

0
S06J04T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
CC

0
CC

0
S06J06T04

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S06J06T06

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:PM / 5.33
CC

0
DNF

0
CC

0
S06J06T08

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 5.33
T
T
--:-- / 5.33
T
T
--:P- / 5.33
T
T
--:-M / 5.33
CC

0
CC

0
CC

0
PolyORBNT — Colored (75.50 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 67.95 60.40 75.50 75.50 0.00 0.00 0.00
fastest 0 0 0 10 0 0 0
smallest memory 0 0 0 10 0 0 0
S05J20

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J30

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 7.55
CC

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J40

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J60

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J80

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S10J20

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S10J30

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S10J40

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
CC

0
CC

0
S10J60

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
CC

0
CC

0
S10J80

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
CC

0
CC

0
PolyORBNT — P/T (75.50 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 45.30 52.84 75.50 75.50 0.00 0.00 0.00
fastest 0 0 0 10 0 0 0
smallest memory 0 0 0 10 0 0 0
S05J20

T (expected value)

3.00 (confidence rate)

CC

0
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J30

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J40

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J60

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S05J80

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S10J20

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S10J30

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
S10J40

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
CC

0
CC

0
S10J60

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
CC

0
CC

0
S10J80

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
CC

0
CC

0
ProductionCell — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 0.00 0.00 102.55 0.00
fastest 1 0 0 0 0 0 0
smallest memory 1 0 0 0 0 0 0
none

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 102.55
F
T
--:-- / 102.55
CC

0
CC

0
CC

0
F
T
--:-- / 102.55
CC

0
QuasiCertifProtocol — Colored (67.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 29.06 29.06 67.83 67.83 0.00 19.38 0.00
fastest 0 0 0 7 0 0 0
smallest memory 0 0 0 7 0 0 0
02

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
T
T
--:-- / 9.69
CC

0
06

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
T
T
--:-- / 9.69
CC

0
10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
18

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
22

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
28

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
32

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
QuasiCertifProtocol — P/T (67.84 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 29.06 29.06 67.83 67.83 0.00 19.38 0.00
fastest 0 0 0 6 0 1 0
smallest memory 0 0 0 7 0 0 0
02

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-M / 9.69
CC

0
T
T
--:P- / 9.69
CC

0
06

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
T
T
--:-- / 9.69
CC

0
10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
18

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
22

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
28

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
32

T (expected value)

2.00 (confidence rate)

DNF

0
CC

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
Raft — P/T (122.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 122.94 122.94 27.31 27.31 0.00 122.94 0.00
fastest 0 0 0 1 0 8 0
smallest memory 0 0 0 1 0 8 0
02

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:PM / 13.66
CC

0
F
T
--:-- / 13.66
CC

0
03

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
F
T
--:PM / 13.66
CC

0
04

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:PM / 13.66
CC

0
05

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:PM / 13.66
CC

0
06

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:PM / 13.66
CC

0
07

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:PM / 13.66
CC

0
08

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:PM / 13.66
CC

0
09

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:PM / 13.66
CC

0
10

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:PM / 13.66
CC

0
Railroad — P/T (112.75 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 112.75 90.20 45.09 45.09 0.00 67.65 0.00
fastest 3 0 0 2 0 0 0
smallest memory 3 0 0 1 0 1 0
005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:PM / 22.55
CC

0
F
T
--:-- / 22.55
CC

0
010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:P- / 22.55
CC

0
F
T
--:-M / 22.55
CC

0
020

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 22.55
F
T
--:-- / 22.55
CC

0
CC

0
CC

0
F
T
--:-- / 22.55
CC

0
050

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 22.55
F
T
--:-- / 22.55
CC

0
CC

0
CC

0
DNF

0
CC

0
100

F (expected value)

1 (confidence rate)

F
T
--:PM / 22.55
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
Referendum — Colored (70.40 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 70.40 70.40 70.40 70.40 0.00 70.40 0.00
fastest 0 0 0 8 0 0 0
smallest memory 0 0 0 8 0 0 0
0010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0015

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0050

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0100

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0200

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0500

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
1000

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
Referendum — P/T (70.40 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 70.40 70.40 70.40 70.40 0.00 70.40 0.00
fastest 0 0 0 8 0 0 0
smallest memory 0 0 0 8 0 0 0
0010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0015

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0050

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0100

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0200

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
0500

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
1000

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:-- / 8.80
T
T
--:PM / 8.80
CC

0
T
T
--:-- / 8.80
CC

0
ResAllocation — P/T (138.25 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 138.30 138.30 138.30 138.30 0.00 129.08 0.00
fastest 0 0 0 15 0 0 0
smallest memory 0 0 0 15 0 0 0
R002C002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C003

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C005

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C015

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C020

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C050

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R003C100

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R005C002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R010C002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R015C002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R020C002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R050C002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
T
T
--:-- / 9.22
CC

0
R100C002

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:-- / 9.22
T
T
--:PM / 9.22
CC

0
DNF

0
CC

0
Ring — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 0.00 0.00 102.55 0.00
fastest 0 0 0 0 0 1 0
smallest memory 0 0 0 0 0 1 0
none

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 102.55
F
T
--:-- / 102.55
CC

0
CC

0
CC

0
F
T
--:PM / 102.55
CC

0
RobotManipulation — P/T (133.15 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 133.12 133.12 133.12 133.12 0.00 81.91 0.00
fastest 4 0 0 9 0 0 0
smallest memory 4 0 0 9 0 0 0
00001

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00002

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00050

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00100

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00200

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
F
T
--:-- / 10.23
CC

0
00500

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:PM / 10.23
CC

0
DNF

0
CC

0
01000

F (expected value)

4.00 (confidence rate)

F
T
--:PM / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
CC

0
DNF

0
CC

0
02000

F (expected value)

4.00 (confidence rate)

F
T
--:PM / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
CC

0
DNF

0
CC

0
05000

F (expected value)

4.00 (confidence rate)

F
T
--:PM / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
CC

0
DNF

0
CC

0
10000

F (expected value)

4.00 (confidence rate)

F
T
--:PM / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
F
T
--:-- / 10.23
CC

0
DNF

0
CC

0
RwMutex — P/T (130.59 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 130.55 130.55 119.68 130.55 0.00 130.55 0.00
fastest 0 0 0 12 0 0 0
smallest memory 0 0 0 12 0 0 0
r0010w0010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0010w0020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0010w0050

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0010w0100

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0010w0500

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0010w1000

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0010w2000

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0020w0010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0100w0010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r0500w0010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r1000w0010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
r2000w0010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
SafeBus — Colored (76.18 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 21.76 21.76 21.76 21.76 0.00 21.76 0.00
fastest 0 0 0 1 0 1 0
smallest memory 0 0 0 1 0 1 0
03

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
06

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
CC

0
F
T
--:PM / 10.88
CC

0
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
50

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
80

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
SafeBus — P/T (54.41 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 21.76 21.76 21.76 21.76 0.00 21.76 0.00
fastest 0 0 1 1 0 0 0
smallest memory 0 0 0 2 0 0 0
03

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:PM / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
06

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 10.88
F
T
--:-- / 10.88
F
T
--:P- / 10.88
F
T
--:-M / 10.88
CC

0
F
T
--:-- / 10.88
CC

0
10

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
15

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
20

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
SharedMemory — Colored (105.70 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 45.30 45.30 15.09 45.30 0.00 22.65 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
000005

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
000010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
000020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
000050

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
DNF

0
CC

0
000100

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
CC

0
CC

0
000200

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
DNF

0
CC

0
000500

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
001000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
002000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
005000

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
010000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
020000

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
050000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
100000

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
SharedMemory — P/T (45.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 45.30 45.30 22.65 45.30 0.00 22.65 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
000005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
000010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
000020

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:-- / 7.55
F
T
--:PM / 7.55
CC

0
F
T
--:-- / 7.55
CC

0
000050

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
DNF

0
CC

0
000100

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
CC

0
CC

0
000200

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 7.55
F
T
--:-- / 7.55
CC

0
F
T
--:PM / 7.55
CC

0
DNF

0
CC

0
SimpleLoadBal — P/T (112.75 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 67.65 112.75 67.65 67.65 0.00 67.65 0.00
fastest 0 2 0 3 0 0 0
smallest memory 0 2 0 3 0 0 0
02

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:PM / 22.55
CC

0
F
T
--:-- / 22.55
CC

0
05

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:PM / 22.55
CC

0
F
T
--:-- / 22.55
CC

0
10

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:-- / 22.55
F
T
--:PM / 22.55
CC

0
F
T
--:-- / 22.55
CC

0
15

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
--:PM / 22.55
CC

0
CC

0
CC

0
DNF

0
CC

0
20

F (expected value)

1.00 (confidence rate)

DNF

0
F
T
--:PM / 22.55
CC

0
CC

0
CC

0
DNF

0
CC

0
SmallOperatingSystem — P/T (148.45 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 148.38 148.38 148.38 148.38 0.00 101.52 0.00
fastest 0 0 0 16 0 3 0
smallest memory 0 0 0 19 0 0 0
MT0016DC0008

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT0032DC0008

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-M / 7.80
CC

0
F
T
--:P- / 7.80
CC

0
MT0032DC0016

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-M / 7.80
CC

0
F
T
--:P- / 7.80
CC

0
MT0064DC0016

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-M / 7.80
CC

0
F
T
--:P- / 7.80
CC

0
MT0064DC0032

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT0128DC0032

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT0128DC0064

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT0256DC0064

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT0256DC0128

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT0512DC0128

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT0512DC0256

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT1024DC0256

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT1024DC0512

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
F
T
--:-- / 7.80
CC

0
MT2048DC0512

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
DNF

0
CC

0
MT2048DC1024

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
DNF

0
CC

0
MT4096DC1024

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
DNF

0
CC

0
MT4096DC2048

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
DNF

0
CC

0
MT8192DC2048

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
DNF

0
CC

0
MT8192DC4096

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:-- / 7.80
F
T
--:PM / 7.80
CC

0
DNF

0
CC

0
Solitaire — P/T (115.30 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 115.31 115.31 115.31 115.31 0.00 0.00 0.00
fastest 0 0 0 6 0 0 0
smallest memory 0 0 0 6 0 0 0
EngCT7x7

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
EngNC7x7

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
FrnCT7x7

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
FrnNC7x7

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
SqrCT5x5

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
SqrNC5x5

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:-- / 19.22
T
T
--:PM / 19.22
CC

0
DNF

0
CC

0
SquareGrid — P/T (112.75 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 22.55 22.55 90.20 90.20 0.00 0.00 0.00
fastest 0 0 1 4 0 0 0
smallest memory 0 0 1 4 0 0 0
020102

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 22.55
T
T
--:-- / 22.55
T
T
--:-- / 22.55
T
T
--:PM / 22.55
CC

0
DNF

0
CC

0
040204

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 22.55
T
T
--:PM / 22.55
CC

0
DNF

0
CC

0
080408

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 22.55
T
T
--:PM / 22.55
CC

0
DNF

0
CC

0
100510

T (expected value)

1.00 (confidence rate)

CC

0
CC

0
CC

0
T
T
--:PM / 22.55
CC

0
DNF

0
CC

0
130613

T (expected value)

1.00 (confidence rate)

CC

0
DNF

0
T
T
--:PM / 22.55
CC

0
CC

0
DNF

0
CC

0
SwimmingPool — P/T (125.50 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 125.50 125.50 125.50 125.50 0.00 125.50 0.00
fastest 0 0 0 10 0 0 0
smallest memory 0 0 0 9 0 1 0
01

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:P- / 12.55
CC

0
F
T
--:-M / 12.55
CC

0
02

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
03

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
04

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
05

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
06

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
07

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
08

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
09

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
10

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:-- / 12.55
F
T
--:PM / 12.55
CC

0
F
T
--:-- / 12.55
CC

0
TCPcondis — P/T (122.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 122.94 122.94 27.31 13.66 0.00 68.30 0.00
fastest 7 1 0 0 0 1 0
smallest memory 7 0 0 0 0 2 0
05

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
F
T
--:-- / 13.66
CC

0
F
T
--:PM / 13.66
CC

0
10

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 13.66
F
T
--:P- / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
F
T
--:-M / 13.66
CC

0
15

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:-- / 13.66
CC

0
20

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:-- / 13.66
CC

0
25

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
F
T
--:-- / 13.66
CC

0
30

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
DNF

0
CC

0
35

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
DNF

0
CC

0
40

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
DNF

0
CC

0
50

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 13.66
F
T
--:-- / 13.66
CC

0
CC

0
CC

0
DNF

0
CC

0
TokenRing — Colored (84.31 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 50.58 42.15 8.43 25.29 0.00 16.86 0.00
fastest 4 0 0 2 0 0 0
smallest memory 4 0 0 2 0 0 0
005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
F
T
--:-- / 8.43
F
T
--:PM / 8.43
CC

0
F
T
--:-- / 8.43
CC

0
010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
CC

0
F
T
--:PM / 8.43
CC

0
F
T
--:-- / 8.43
CC

0
015

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 8.43
F
T
--:-- / 8.43
CC

0
F
T
--:-- / 8.43
CC

0
CC

0
CC

0
020

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 8.43
F
T
--:-- / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
030

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 8.43
F
T
--:-- / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
040

F (expected value)

1 (confidence rate)

F
T
--:PM / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
050

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
100

? (expected value)

0 (confidence rate)

DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
200

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
500

? (expected value)

0 (confidence rate)

DNF

0
DNF

0
CC

0
CC

0
CC

0
DNF

0
CC

0
TokenRing — P/T (59.02 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 59.01 42.15 16.86 16.86 0.00 16.86 0.00
fastest 5 0 0 2 0 0 0
smallest memory 5 0 0 1 0 1 0
005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
F
T
--:-- / 8.43
F
T
--:P- / 8.43
CC

0
F
T
--:-M / 8.43
CC

0
010

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.43
F
T
--:-- / 8.43
F
T
--:-- / 8.43
F
T
--:PM / 8.43
CC

0
F
T
--:-- / 8.43
CC

0
015

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 8.43
F
T
--:-- / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
020

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 8.43
F
T
--:-- / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
030

F (expected value)

2.00 (confidence rate)

F
T
--:PM / 8.43
F
T
--:-- / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
040

F (expected value)

1 (confidence rate)

F
T
--:PM / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
050

F (expected value)

1 (confidence rate)

F
T
--:PM / 8.43
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
TriangularGrid — P/T (120.40 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 75.25 90.30 120.40 120.40 0.00 45.15 0.00
fastest 0 0 0 8 0 0 0
smallest memory 0 0 0 7 0 1 0
1200

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 15.05
F
T
--:-- / 15.05
F
T
--:-- / 15.05
F
T
--:P- / 15.05
CC

0
F
T
--:-M / 15.05
CC

0
1500

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 15.05
F
T
--:-- / 15.05
F
T
--:-- / 15.05
F
T
--:PM / 15.05
CC

0
F
T
--:-- / 15.05
CC

0
2011

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
T
T
--:-- / 15.05
CC

0
3011

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
3026

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
4022

T (expected value)

3.00 (confidence rate)

CC

0
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
5020

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
5046

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
UtahNoC — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 102.55 0.00 102.55 0.00
fastest 0 1 0 0 0 0 0
smallest memory 0 0 0 0 0 1 0
none

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 102.55
F
T
--:P- / 102.55
CC

0
F
T
--:-- / 102.55
CC

0
F
T
--:-M / 102.55
CC

0
Vasy2003 — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 0.00 0.00 102.55 0.00
fastest 0 0 0 0 0 1 0
smallest memory 0 0 0 0 0 1 0
none

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 102.55
F
T
--:-- / 102.55
CC

0
CC

0
CC

0
F
T
--:PM / 102.55
CC

0
ASLink — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 113.25 105.70 143.45 151.00 0.00 15.09 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
01a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
01b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
02a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
02b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
03a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
03b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
04a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
04b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
05a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
05b

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
06a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
06b

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
07a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
07b

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
08a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
08b

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
09a

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
09b

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
10a

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 7.55
DNF

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
10b

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
BusinessProcesses — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 151.00 151.00 151.00 151.00 0.00 30.20 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
01

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
02

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
03

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
04

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
05

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
06

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
07

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
08

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
09

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
10

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
11

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
12

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
13

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
14

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
15

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
16

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
17

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
18

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
19

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
20

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
DNF

0
CC

0
DLCflexbar — P/T (135.70 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 67.83 67.83 67.83 125.97 0.00 0.00 0.00
fastest 0 0 0 13 0 0 0
smallest memory 0 0 0 13 0 0 0
2a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
CC

0
CC

0
2b

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
3a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
CC

0
CC

0
3b

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 9.69
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
4a

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
CC

0
F
T
--:PM / 9.69
CC

0
CC

0
CC

0
4b

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 9.69
CC

0
DNF

0
CC

0
5a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
CC

0
CC

0
5b

T (expected value)

1.00 (confidence rate)

DNF

0
DNF

0
CC

0
T
T
--:PM / 9.69
CC

0
CC

0
CC

0
6a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
CC

0
CC

0
6b

T (expected value)

1.00 (confidence rate)

CC

0
DNF

0
CC

0
T
T
--:PM / 9.69
CC

0
CC

0
CC

0
7a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
CC

0
CC

0
7b

T (expected value)

1.00 (confidence rate)

CC

0
DNF

0
CC

0
T
T
--:PM / 9.69
CC

0
CC

0
CC

0
8a

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:-- / 9.69
F
T
--:PM / 9.69
CC

0
CC

0
CC

0
8b

? (expected value)

0 (confidence rate)

CC

0
DNF

0
CC

0
CC

0
CC

0
CC

0
CC

0
DiscoveryGPU — P/T (151.00 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 151.00 151.00 151.00 151.00 0.00 151.00 0.00
fastest 0 0 0 20 0 0 0
smallest memory 0 0 0 20 0 0 0
06a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
06b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
07a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
07b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
08a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
08b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
09a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
09b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
10a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
10b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
11a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
11b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
12a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
12b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
13a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
13b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
14a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
14b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
15a

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
15b

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:-- / 7.55
T
T
--:PM / 7.55
CC

0
T
T
--:-- / 7.55
CC

0
DoubleExponent — P/T (120.40 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 90.30 90.30 120.40 120.40 0.00 30.09 0.00
fastest 0 0 0 8 0 0 0
smallest memory 0 0 0 8 0 0 0
001

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
T
T
--:-- / 15.05
CC

0
002

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
T
T
--:-- / 15.05
CC

0
003

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
004

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
010

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
020

T (expected value)

4.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
100

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
200

T (expected value)

2.00 (confidence rate)

DNF

0
DNF

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
CC

0
CC

0
EGFr — P/T (107.65 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 107.63 107.63 35.88 35.88 0.00 107.63 0.00
fastest 0 0 0 1 0 2 0
smallest memory 0 0 0 1 0 2 0
02010

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 35.88
T
T
--:-- / 35.88
T
T
--:-- / 35.88
T
T
--:PM / 35.88
CC

0
T
T
--:-- / 35.88
CC

0
10420

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 35.88
F
T
--:-- / 35.88
CC

0
CC

0
CC

0
F
T
--:PM / 35.88
CC

0
10421

F (expected value)

3.00 (confidence rate)

F
T
--:-- / 35.88
F
T
--:-- / 35.88
CC

0
CC

0
CC

0
F
T
--:PM / 35.88
CC

0
HospitalTriage — P/T (102.55 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 102.55 102.55 0.00 102.55 0.00 102.55 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
none

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 102.55
F
T
--:-- / 102.55
CC

0
F
T
--:PM / 102.55
CC

0
F
T
--:-- / 102.55
CC

0
MAPKbis — P/T (105.09 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 105.09 105.09 52.55 52.55 0.00 105.09 0.00
fastest 1 0 0 1 0 0 0
smallest memory 1 0 0 1 0 0 0
5310

F (expected value)

3.00 (confidence rate)

F
T
--:PM / 52.55
F
T
--:-- / 52.55
CC

0
CC

0
CC

0
F
T
--:-- / 52.55
CC

0
5320

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 52.55
T
T
--:-- / 52.55
T
T
--:-- / 52.55
T
T
--:PM / 52.55
CC

0
T
T
--:-- / 52.55
CC

0
NQueens — P/T (120.40 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 45.15 45.15 120.40 120.40 0.00 45.15 0.00
fastest 0 0 0 8 0 0 0
smallest memory 0 0 0 7 0 1 0
05

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:P- / 15.05
CC

0
T
T
--:-M / 15.05
CC

0
08

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
T
T
--:-- / 15.05
CC

0
10

T (expected value)

5.00 (confidence rate)

T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
T
T
--:-- / 15.05
CC

0
12

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
15

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
20

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
25

T (expected value)

2.00 (confidence rate)

CC

0
DNF

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
30

T (expected value)

2.00 (confidence rate)

CC

0
CC

0
T
T
--:-- / 15.05
T
T
--:PM / 15.05
CC

0
DNF

0
CC

0
RERS17pb113 — P/T (122.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 13.66 0.00 13.66 13.66 0.00 0.00 0.00
fastest 0 0 0 1 0 0 0
smallest memory 0 0 0 1 0 0 0
1

T (expected value)

3.00 (confidence rate)

T
T
--:-- / 13.66
CC

0
T
T
--:-- / 13.66
T
T
--:PM / 13.66
CC

0
DNF

0
CC

0
2

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
3

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
4

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
5

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
9

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
RERS17pb114 — P/T (122.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 0.00 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0 0
1

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
2

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
3

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
4

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
5

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
9

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
RERS17pb115 — P/T (122.95 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 0.00 0.00 0.00 0.00 0.00 0.00 0.00
fastest 0 0 0 0 0 0 0
smallest memory 0 0 0 0 0 0 0
1

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
2

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
CC

0
3

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
4

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
5

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
6

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
7

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
8

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
9

? (expected value)

0 (confidence rate)

CC

0
CC

0
CC

0
CC

0
CC

0
DNF

0
CC

0
RefineWMG — P/T (140.80 pts max)
  ITS-Tools ITS-Tools.M LoLA Tapaal enPAC GreatSPN smart
Score 140.80 140.80 140.80 140.80 0.00 52.80 0.00
fastest 0 0 0 16 0 0 0
smallest memory 0 0 0 16 0 0 0
002002

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
002003

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
005005

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
005006

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
007007

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
007008

F (expected value)

5.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
F
T
--:-- / 8.80
CC

0
010010

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
010011

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
015015

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
015016

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
025025

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
025026

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
050050

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
050051

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
CC

0
CC

0
100100

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
DNF

0
CC

0
100101

F (expected value)

4.00 (confidence rate)

F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:-- / 8.80
F
T
--:PM / 8.80
CC

0
DNF

0
CC

0