fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Scores Mask for the reachabilityfireabilitysimple Examination
Last Updated
Sept. 1, 2014

Introduction

Please find here the detailed scores for the .

The table below contains a global summary for all the models (Colored, then P/T), information about the way tools did cope with the examinations and, finally, a detail of the scores per model.

The results

They are displayed in the table below.

 

Summary of scores for reachabilityfireabilitysimple
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
Number of
Colored nets
241 241 241 241 241 241 241 241 241
Number of
P/T nets
413 413 413 413 413 413 413 413 413
Total points for
Colored nets
0 0 0 0 0 0 0 0 0
Total points for
P/T nets
722 1348 0 7674 0 0 0 0 6909
Total honor points
for Colored nets
0 0 0 0 0 0 0 0 0
Total honor points
for P/T nets
0 0 0 733 0 0 0 0 0
Various information on Colored nets
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
number of errors 0 0 0 0 0 0 0 0 0
Alone to compute 0 0 0 0 0 0 0 0 0
Computed correctly 0 0 0 0 0 0 0 0 0
computed / models (Colored nets) 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00%
computed correctly / models (Colored nets) 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00%
computed alone / models (Colored nets) 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00%
computed erroneously / models (Colored nets) 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00%
Various information on P/T nets
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
number of errors 1 87 0 0 0 0 0 0 0
Alone to compute 0 0 0 41 0 0 0 0 0
Computed correctly 63 87 0 372 0 0 0 0 354
computed / models (P/T nets) 15.50% 42.13% 0.00% 100.00% 0.00% 0.00% 0.00% 0.00% 85.71%
computed correctly / models (P/T nets) 15.26% 21.06% 0.00% 90.07% 0.00% 0.00% 0.00% 0.00% 85.71%
computed alone / models (P/T nets) 0.00% 0.00% 0.00% 9.93% 0.00% 0.00% 0.00% 0.00% 0.00%
computed erroneously / models (P/T nets) 0.24% 21.06% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00% 0.00%
Score information for ARMCacheCoherence (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 30 0 0 0 0 0 0 0
points 0 30 0 0 0 0 0 0 0
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Angiogenesis (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 255 0 0 0 0 225
points 0 0 0 210 0 0 0 0 198
bonus best tool 0 0 0 6 0 0 0 0 6
bonus all instances 0 0 0 9 0 0 0 0 9
bonus fastest 0 0 0 15 0 0 0 0 6
bonus smallest 0 0 0 15 0 0 0 0 6
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for CircadianClock (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 219 0 0 0 0 210
points 0 0 0 180 0 0 0 0 180
bonus best tool 0 0 0 6 0 0 0 0 6
bonus all instances 0 0 0 9 0 0 0 0 9
bonus fastest 0 0 0 15 0 0 0 0 6
bonus smallest 0 0 0 9 0 0 0 0 9
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for CircularTrains (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 60 0 255 0 0 0 0 237
points 0 60 0 210 0 0 0 0 210
bonus best tool 0 0 0 6 0 0 0 0 6
bonus all instances 0 0 0 9 0 0 0 0 9
bonus fastest 0 0 0 18 0 0 0 0 3
bonus smallest 0 0 0 12 0 0 0 0 9
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 2 0 0 0 0 0 0 0
Score information for DatabaseWithMutex (Colored, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for DatabaseWithMutex (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 153 0 0 0 0 126
points 0 0 0 120 0 0 0 0 120
bonus best tool 0 0 0 6 0 0 0 0 0
bonus all instances 0 0 0 9 0 0 0 0 0
bonus fastest 0 0 0 9 0 0 0 0 3
bonus smallest 0 0 0 9 0 0 0 0 3
honor points 0 0 0 30 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Diffusion2D (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 543 0 0 0 0 423
points 0 0 0 450 0 0 0 0 411
bonus best tool 0 0 0 6 0 0 0 0 0
bonus all instances 0 0 0 9 0 0 0 0 0
bonus fastest 0 0 0 39 0 0 0 0 6
bonus smallest 0 0 0 39 0 0 0 0 6
honor points 0 0 0 420 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for ERK (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 216 0 0 0 0 216
points 0 0 0 180 0 0 0 0 180
bonus best tool 0 0 0 6 0 0 0 0 6
bonus all instances 0 0 0 9 0 0 0 0 9
bonus fastest 0 0 0 15 0 0 0 0 9
bonus smallest 0 0 0 6 0 0 0 0 12
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for EnergyBus (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 6 0 0 0 0 12
points 0 0 0 3 0 0 0 0 12
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 3 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for MultiwaySync (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 36 0 18 0 0 0 0 12
points 0 30 0 18 0 0 0 0 12
no bonus best tool
no bonus all instances
bonus fastest 0 3 0 0 0 0 0 0 0
bonus smallest 0 3 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for ParamProductionCell (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 228 0 0 0 0 198
points 0 0 0 180 0 0 0 0 180
bonus best tool 0 0 0 6 0 0 0 0 6
bonus all instances 0 0 0 9 0 0 0 0 9
bonus fastest 0 0 0 15 0 0 0 0 3
bonus smallest 0 0 0 18 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PolyORBLF (Colored, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PolyORBLF (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 27 0 528 0 0 0 0 411
points 0 27 0 426 0 0 0 0 405
bonus best tool 0 0 0 6 0 0 0 0 0
bonus all instances 0 0 0 9 0 0 0 0 0
bonus fastest 0 0 0 51 0 0 0 0 0
bonus smallest 0 0 0 36 0 0 0 0 6
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 14 0 0 0 0 0 0 0
Score information for PolyORBNT (Colored, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PolyORBNT (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 132 0 78 0 0 0 0 48
points 0 99 0 63 0 0 0 0 48
bonus best tool 0 6 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 21 0 3 0 0 0 0 0
bonus smallest 0 6 0 12 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 3 0 0 0 0 0 0 0
Score information for ProductionCell (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 36 0 0 0 0 21
points 0 0 0 30 0 0 0 0 21
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 3 0 0 0 0 0
bonus smallest 0 0 0 3 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Solitaire (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 207 0 0 0 0 219
points 0 0 0 180 0 0 0 0 180
bonus best tool 0 0 0 6 0 0 0 0 6
bonus all instances 0 0 0 9 0 0 0 0 9
bonus fastest 0 0 0 9 0 0 0 0 9
bonus smallest 0 0 0 3 0 0 0 0 15
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for UtahNoC (P/T, Surprise model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 30 0 36 0 0 0 0 15
points 0 30 0 30 0 0 0 0 15
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 3 0 0 0 0 0
bonus smallest 0 0 0 3 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for CSRepetitions (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for CSRepetitions (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 20 0 75 0 0 0 0 68
points 0 20 0 60 0 0 0 0 60
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 0 0 0 6 0 0 0 0 1
bonus smallest 0 0 0 4 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Dekker (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 31 0 0 63 0 0 0 0 51
points 30 0 0 50 0 0 0 0 50
bonus best tool 0 0 0 2 0 0 0 0 0
bonus all instances 0 0 0 3 0 0 0 0 0
bonus fastest 1 0 0 4 0 0 0 0 0
bonus smallest 0 0 0 4 0 0 0 0 1
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 3 0 0 0 0 0 0 0
Score information for DotAndBoxes (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for DrinkVendingMachine (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for DrinkVendingMachine (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 12 0 0 0 0 10
points 0 0 0 10 0 0 0 0 10
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 1 0 0 0 0 0
bonus smallest 0 0 0 1 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 1 1 0 0 0 0 0 0 0
Score information for Echo (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 113 0 0 0 0 94
points 0 0 0 90 0 0 0 0 89
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 0 0 0 9 0 0 0 0 0
bonus smallest 0 0 0 9 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Eratosthenes (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 54 0 0 71 0 0 0 0 67
points 50 0 0 60 0 0 0 0 60
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 4 0 0 2 0 0 0 0 0
bonus smallest 0 0 0 4 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 5 0 0 0 0 0 0 0
Score information for FMS (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 70 0 88 0 0 0 0 98
points 0 70 0 80 0 0 0 0 80
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 0 0 0 3 0 0 0 0 5
bonus smallest 0 0 0 0 0 0 0 0 8
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for GlobalResAllocation (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for GlobalResAllocation (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 11 0 10 0 0 0 0 11
points 0 10 0 10 0 0 0 0 10
no bonus best tool
no bonus all instances
bonus fastest 0 1 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 1
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for HouseConstruction (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 40 0 86 0 0 0 0 100
points 0 40 0 80 0 0 0 0 80
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 0 0 0 1 0 0 0 0 7
bonus smallest 0 0 0 0 0 0 0 0 8
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for IBMB2S565S3960 (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 12 0 0 0 0 10
points 0 0 0 10 0 0 0 0 10
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 1 0 0 0 0 0
bonus smallest 0 0 0 1 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Kanban (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 60 0 91 0 0 0 0 95
points 0 60 0 80 0 0 0 0 80
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 0 0 0 4 0 0 0 0 4
bonus smallest 0 0 0 2 0 0 0 0 6
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for LamportFastMutEx (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for LamportFastMutEx (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 31 0 0 87 0 0 0 0 73
points 30 0 0 70 0 0 0 0 67
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 1 0 0 6 0 0 0 0 0
bonus smallest 0 0 0 6 0 0 0 0 1
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 3 0 0 0 0 0 0 0
Score information for MAPK (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 10 0 72 0 0 0 0 70
points 0 10 0 60 0 0 0 0 60
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 0 0 0 5 0 0 0 0 1
bonus smallest 0 0 0 2 0 0 0 0 4
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for NeoElection (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for NeoElection (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 22 0 0 26 0 0 0 0 40
points 20 0 0 20 0 0 0 0 37
bonus best tool 0 0 0 2 0 0 0 0 0
bonus all instances 0 0 0 3 0 0 0 0 0
bonus fastest 1 0 0 1 0 0 0 0 1
bonus smallest 1 0 0 0 0 0 0 0 2
honor points 0 0 0 3 0 0 0 0 0
erroneous executions 0 2 0 0 0 0 0 0 0
Score information for PermAdmissibility (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PermAdmissibility (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 10 0 0 77 0 0 0 0 65
points 10 0 0 60 0 0 0 0 60
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 0 0 0 6 0 0 0 0 0
bonus smallest 0 0 0 6 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Peterson (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Peterson (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 21 10 0 76 0 0 0 0 64
points 20 10 0 60 0 0 0 0 59
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 1 0 0 5 0 0 0 0 0
bonus smallest 0 0 0 6 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Philosophers (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Philosophers (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 105 30 0 100 0 0 0 0 73
points 90 30 0 90 0 0 0 0 70
bonus best tool 2 0 0 2 0 0 0 0 0
bonus all instances 3 0 0 3 0 0 0 0 0
bonus fastest 9 0 0 0 0 0 0 0 0
bonus smallest 1 0 0 5 0 0 0 0 3
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PhilosophersDyn (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PhilosophersDyn (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 10 0 29 0 0 0 0 20
points 0 10 0 20 0 0 0 0 20
bonus best tool 0 0 0 2 0 0 0 0 0
bonus all instances 0 0 0 3 0 0 0 0 0
bonus fastest 0 0 0 2 0 0 0 0 0
bonus smallest 0 0 0 2 0 0 0 0 0
honor points 0 0 0 10 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Planning (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 12 0 0 0 0 10
points 0 0 0 10 0 0 0 0 10
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 1 0 0 0 0 0
bonus smallest 0 0 0 1 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for QuasiCertifProtocol (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for QuasiCertifProtocol (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 12 0 0 51 0 0 0 0 36
points 10 0 0 40 0 0 0 0 36
bonus best tool 0 0 0 2 0 0 0 0 0
bonus all instances 0 0 0 3 0 0 0 0 0
bonus fastest 1 0 0 3 0 0 0 0 0
bonus smallest 1 0 0 3 0 0 0 0 0
honor points 0 0 0 30 0 0 0 0 0
erroneous executions 0 2 0 0 0 0 0 0 0
Score information for Railroad (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 11 0 0 38 0 0 0 0 30
points 10 0 0 30 0 0 0 0 28
bonus best tool 0 0 0 2 0 0 0 0 0
bonus all instances 0 0 0 3 0 0 0 0 0
bonus fastest 1 0 0 1 0 0 0 0 1
bonus smallest 0 0 0 2 0 0 0 0 1
honor points 0 0 0 20 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for ResAllocation (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 173 50 0 169 0 0 0 0 146
points 150 50 0 150 0 0 0 0 139
bonus best tool 2 0 0 2 0 0 0 0 2
bonus all instances 3 0 0 3 0 0 0 0 3
bonus fastest 7 0 0 12 0 0 0 0 0
bonus smallest 11 0 0 2 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 7 0 0 0 0 0 0 0
Score information for Ring (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 12 0 0 0 0 8
points 0 0 0 10 0 0 0 0 8
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 1 0 0 0 0 0
bonus smallest 0 0 0 1 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for RwMutex (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 146 30 0 107 0 0 0 0 102
points 120 30 0 105 0 0 0 0 100
bonus best tool 2 0 0 0 0 0 0 0 0
bonus all instances 3 0 0 0 0 0 0 0 0
bonus fastest 11 0 0 2 0 0 0 0 0
bonus smallest 10 0 0 0 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 6 0 0 0 0 0 0 0
Score information for SharedMemory (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for SharedMemory (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 63 20 0 52 0 0 0 0 30
points 50 20 0 45 0 0 0 0 30
bonus best tool 2 0 0 2 0 0 0 0 0
bonus all instances 3 0 0 3 0 0 0 0 0
bonus fastest 4 0 0 1 0 0 0 0 0
bonus smallest 4 0 0 1 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for SimpleLoadBal (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for SimpleLoadBal (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 21 20 0 64 0 0 0 0 52
points 20 20 0 50 0 0 0 0 46
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 1 0 0 4 0 0 0 0 1
bonus smallest 0 0 0 5 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for TokenRing (Colored, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for TokenRing (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 22 10 0 49 0 0 0 0 47
points 20 10 0 40 0 0 0 0 40
bonus best tool 0 0 0 2 0 0 0 0 2
bonus all instances 0 0 0 3 0 0 0 0 3
bonus fastest 1 0 0 3 0 0 0 0 0
bonus smallest 1 0 0 1 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Vasy2003 (P/T, Known model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 12 0 0 0 0 6
points 0 0 0 10 0 0 0 0 6
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 1 0 0 0 0 0
bonus smallest 0 0 0 1 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for CSRepetitions (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for CSRepetitions (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 20 0 146 0 0 0 0 138
points 0 20 0 120 0 0 0 0 120
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 6 0 0 0 0 6
bonus smallest 0 0 0 10 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Dekker (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 128 0 0 0 0 102
points 0 0 0 100 0 0 0 0 100
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 8 0 0 0 0 2
bonus smallest 0 0 0 10 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 3 0 0 0 0 0 0 0
Score information for DotAndBoxes (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for DrinkVendingMachine (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for DrinkVendingMachine (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 20 0 0 0 0 24
points 0 0 0 20 0 0 0 0 20
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 0 0 0 0 0 2
bonus smallest 0 0 0 0 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Echo (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 226 0 0 0 0 190
points 0 0 0 180 0 0 0 0 180
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 18 0 0 0 0 0
bonus smallest 0 0 0 18 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 9 0 0 0 0 0 0 0
Score information for Eratosthenes (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 144 0 0 0 0 140
points 0 0 0 120 0 0 0 0 120
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 6 0 0 0 0 6
bonus smallest 0 0 0 8 0 0 0 0 4
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for FMS (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 140 0 172 0 0 0 0 200
points 0 140 0 160 0 0 0 0 160
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 0 0 0 0 0 16
bonus smallest 0 0 0 2 0 0 0 0 14
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for GlobalResAllocation (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for GlobalResAllocation (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 22 0 20 0 0 0 0 22
points 0 20 0 20 0 0 0 0 20
no bonus best tool
no bonus all instances
bonus fastest 0 2 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for HouseConstruction (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 80 0 170 0 0 0 0 202
points 0 80 0 160 0 0 0 0 160
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 0 0 0 0 0 16
bonus smallest 0 0 0 0 0 0 0 0 16
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for IBMB2S565S3960 (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 24 0 0 0 0 20
points 0 0 0 20 0 0 0 0 20
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 2 0 0 0 0 0
bonus smallest 0 0 0 2 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Kanban (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 120 0 170 0 0 0 0 202
points 0 120 0 160 0 0 0 0 160
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 0 0 0 0 0 16
bonus smallest 0 0 0 0 0 0 0 0 16
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for LamportFastMutEx (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for LamportFastMutEx (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 176 0 0 0 0 146
points 0 0 0 140 0 0 0 0 134
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 12 0 0 0 0 2
bonus smallest 0 0 0 14 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 3 0 0 0 0 0 0 0
Score information for MAPK (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 20 0 142 0 0 0 0 144
points 0 20 0 120 0 0 0 0 120
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 4 0 0 0 0 8
bonus smallest 0 0 0 8 0 0 0 0 6
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for NeoElection (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for NeoElection (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 58 0 0 0 0 80
points 0 0 0 42 0 0 0 0 70
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 2 0 0 0 0 6
bonus smallest 0 0 0 4 0 0 0 0 4
honor points 0 0 0 6 0 0 0 0 0
erroneous executions 0 2 0 0 0 0 0 0 0
Score information for PermAdmissibility (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PermAdmissibility (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 154 0 0 0 0 130
points 0 0 0 120 0 0 0 0 120
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 12 0 0 0 0 0
bonus smallest 0 0 0 12 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for Peterson (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Peterson (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 40 0 152 0 0 0 0 130
points 0 40 0 120 0 0 0 0 118
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 10 0 0 0 0 2
bonus smallest 0 0 0 12 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Philosophers (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Philosophers (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 60 0 172 0 0 0 0 146
points 0 60 0 140 0 0 0 0 140
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 10 0 0 0 0 4
bonus smallest 0 0 0 12 0 0 0 0 2
honor points 0 0 0 40 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PhilosophersDyn (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for PhilosophersDyn (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 20 0 56 0 0 0 0 42
points 0 20 0 40 0 0 0 0 40
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 2 0 0 0 0 2
bonus smallest 0 0 0 4 0 0 0 0 0
honor points 0 0 0 20 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Planning (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 24 0 0 0 0 20
points 0 0 0 20 0 0 0 0 20
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 2 0 0 0 0 0
bonus smallest 0 0 0 2 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for QuasiCertifProtocol (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for QuasiCertifProtocol (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 106 0 0 0 0 72
points 0 0 0 80 0 0 0 0 72
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 8 0 0 0 0 0
bonus smallest 0 0 0 8 0 0 0 0 0
honor points 0 0 0 60 0 0 0 0 0
erroneous executions 0 2 0 0 0 0 0 0 0
Score information for Railroad (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 78 0 0 0 0 60
points 0 0 0 60 0 0 0 0 56
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 4 0 0 0 0 2
bonus smallest 0 0 0 4 0 0 0 0 2
honor points 0 0 0 40 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for ResAllocation (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 342 0 0 0 0 318
points 0 0 0 300 0 0 0 0 278
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 18 0 0 0 0 14
bonus smallest 0 0 0 14 0 0 0 0 16
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Ring (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 24 0 0 0 0 16
points 0 0 0 20 0 0 0 0 16
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 2 0 0 0 0 0
bonus smallest 0 0 0 2 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for RwMutex (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 40 0 216 0 0 0 0 232
points 0 40 0 200 0 0 0 0 200
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 4 0 0 0 0 14
bonus smallest 0 0 0 2 0 0 0 0 18
honor points 0 0 0 16 0 0 0 0 0
erroneous executions 0 5 0 0 0 0 0 0 0
Score information for SharedMemory (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for SharedMemory (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 20 0 78 0 0 0 0 64
points 0 20 0 60 0 0 0 0 60
bonus best tool 0 0 0 4 0 0 0 0 0
bonus all instances 0 0 0 6 0 0 0 0 0
bonus fastest 0 0 0 4 0 0 0 0 2
bonus smallest 0 0 0 4 0 0 0 0 2
honor points 0 0 0 38 0 0 0 0 0
erroneous executions 0 1 0 0 0 0 0 0 0
Score information for SimpleLoadBal (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for SimpleLoadBal (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 40 0 126 0 0 0 0 106
points 0 40 0 100 0 0 0 0 92
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 8 0 0 0 0 2
bonus smallest 0 0 0 8 0 0 0 0 2
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for TokenRing (Colored, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 0 0 0 0 0 0
points 0 0 0 0 0 0 0 0 0
bonus best tool 0 0 0 0 0 0 0 0 0
bonus all instances 0 0 0 0 0 0 0 0 0
bonus fastest 0 0 0 0 0 0 0 0 0
bonus smallest 0 0 0 0 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for TokenRing (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 20 0 94 0 0 0 0 102
points 0 20 0 80 0 0 0 0 80
bonus best tool 0 0 0 4 0 0 0 0 4
bonus all instances 0 0 0 6 0 0 0 0 6
bonus fastest 0 0 0 2 0 0 0 0 6
bonus smallest 0 0 0 2 0 0 0 0 6
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0
Score information for Vasy2003 (P/T, Scrambled model) - correctness mask - results
  cunf greatspn helena lola marcie pnmc pnxdd stratagem tapaal
subtotal 0 0 0 24 0 0 0 0 12
points 0 0 0 20 0 0 0 0 12
no bonus best tool
no bonus all instances
bonus fastest 0 0 0 2 0 0 0 0 0
bonus smallest 0 0 0 2 0 0 0 0 0
honor points 0 0 0 0 0 0 0 0 0
erroneous executions 0 0 0 0 0 0 0 0 0