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 reachabilityfireability | |||||||||
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 |
1048 | 1105 | 0 | 7959 | 0 | 0 | 0 | 0 | 6758 |
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 | 805 | 0 | 0 | 0 | 0 | 18 |
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 | 6 | 63 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Alone to compute | 0 | 0 | 0 | 44 | 0 | 0 | 0 | 0 | 1 |
Computed correctly | 69 | 77 | 0 | 368 | 0 | 0 | 0 | 0 | 362 |
computed / models (P/T nets) | 18.16% | 33.90% | 0.00% | 99.76% | 0.00% | 0.00% | 0.00% | 0.00% | 87.89% |
computed correctly / models (P/T nets) | 16.70% | 18.64% | 0.00% | 89.10% | 0.00% | 0.00% | 0.00% | 0.00% | 87.65% |
computed alone / models (P/T nets) | 0.00% | 0.00% | 0.00% | 10.66% | 0.00% | 0.00% | 0.00% | 0.00% | 0.24% |
computed erroneously / models (P/T nets) | 1.45% | 15.26% | 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 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
points | 0 | 0 | 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 | 36 | 0 | 0 | 261 | 0 | 0 | 0 | 0 | 216 |
points | 30 | 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 | 3 | 0 | 0 | 21 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 3 | 0 | 0 | 15 | 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 CircadianClock (P/T, Surprise model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 30 | 0 | 0 | 222 | 0 | 0 | 0 | 0 | 207 |
points | 30 | 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 | 18 | 0 | 0 | 0 | 0 | 3 |
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 | 0 | 0 | 255 | 0 | 0 | 0 | 0 | 240 |
points | 0 | 0 | 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 | 6 |
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 | 0 | 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 | 60 | 0 | 0 | 156 | 0 | 0 | 0 | 0 | 114 |
points | 60 | 0 | 0 | 120 | 0 | 0 | 0 | 0 | 111 |
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 | 12 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 9 | 0 | 0 | 0 | 0 | 3 |
honor points | 0 | 0 | 0 | 27 | 0 | 0 | 0 | 0 | 0 |
erroneous executions | 0 | 0 | 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 | 693 | 0 | 0 | 0 | 0 | 486 |
points | 0 | 0 | 0 | 570 | 0 | 0 | 0 | 0 | 477 |
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 | 57 | 0 | 0 | 0 | 0 | 3 |
bonus smallest | 0 | 0 | 0 | 51 | 0 | 0 | 0 | 0 | 6 |
honor points | 0 | 0 | 0 | 300 | 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 | 33 | 0 | 0 | 204 | 0 | 0 | 0 | 0 | 222 |
points | 30 | 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 | 6 | 0 | 0 | 0 | 0 | 12 |
bonus smallest | 3 | 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 EnergyBus (P/T, 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 |
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 | 15 | 0 | 0 | 0 | 0 | 0 |
erroneous executions | 0 | 0 | 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 | 0 | 0 | 36 | 0 | 0 | 0 | 0 | 30 |
points | 0 | 0 | 0 | 30 | 0 | 0 | 0 | 0 | 30 |
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 ParamProductionCell (P/T, Surprise model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 222 | 0 | 0 | 204 | 0 | 0 | 0 | 0 | 195 |
points | 180 | 0 | 0 | 180 | 0 | 0 | 0 | 0 | 180 |
bonus best tool | 6 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 6 |
bonus all instances | 9 | 0 | 0 | 9 | 0 | 0 | 0 | 0 | 9 |
bonus fastest | 9 | 0 | 0 | 9 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 18 | 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 (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 | 0 | 0 | 513 | 0 | 0 | 0 | 0 | 375 |
points | 0 | 0 | 0 | 417 | 0 | 0 | 0 | 0 | 372 |
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 | 42 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 39 | 0 | 0 | 0 | 0 | 3 |
honor points | 0 | 0 | 0 | 120 | 0 | 0 | 0 | 0 | 0 |
erroneous executions | 0 | 0 | 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 | 0 | 0 | 171 | 0 | 0 | 0 | 0 | 78 |
points | 0 | 0 | 0 | 126 | 0 | 0 | 0 | 0 | 78 |
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 | 15 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 15 | 0 | 0 | 0 | 0 | 0 |
honor points | 0 | 0 | 0 | 120 | 0 | 0 | 0 | 0 | 0 |
erroneous executions | 0 | 0 | 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 | 24 |
points | 0 | 0 | 0 | 30 | 0 | 0 | 0 | 0 | 24 |
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 Solitaire (P/T, Surprise model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 0 | 0 | 0 | 204 | 0 | 0 | 0 | 0 | 222 |
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 | 6 | 0 | 0 | 0 | 0 | 12 |
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 | 0 | 0 | 36 | 0 | 0 | 0 | 0 | 27 |
points | 0 | 0 | 0 | 30 | 0 | 0 | 0 | 0 | 27 |
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 | 76 | 0 | 0 | 0 | 0 | 60 |
points | 0 | 20 | 0 | 60 | 0 | 0 | 0 | 0 | 54 |
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 | 6 | 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 Dekker (P/T, Known model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 31 | 10 | 0 | 64 | 0 | 0 | 0 | 0 | 50 |
points | 30 | 10 | 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 | 5 | 0 | 0 | 0 | 0 | 0 |
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 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 | 9 |
points | 0 | 0 | 0 | 10 | 0 | 0 | 0 | 0 | 9 |
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 | 0 | 0 | 0 | 70 | 0 | 0 | 0 | 0 | 66 |
points | 0 | 0 | 0 | 59 | 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 | 0 | 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 | 5 | 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 | 85 | 0 | 90 | 0 | 0 | 0 | 0 | 96 |
points | 0 | 80 | 0 | 80 | 0 | 0 | 0 | 0 | 80 |
bonus best tool | 0 | 2 | 0 | 2 | 0 | 0 | 0 | 0 | 2 |
bonus all instances | 0 | 3 | 0 | 3 | 0 | 0 | 0 | 0 | 3 |
bonus fastest | 0 | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 5 |
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 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 | 12 | 0 | 10 | 0 | 0 | 0 | 0 | 8 |
points | 0 | 10 | 0 | 10 | 0 | 0 | 0 | 0 | 8 |
no bonus best tool | |||||||||
no bonus all instances | |||||||||
bonus fastest | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 1 | 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 HouseConstruction (P/T, Known model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 0 | 50 | 0 | 89 | 0 | 0 | 0 | 0 | 97 |
points | 0 | 50 | 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 | 1 | 0 | 0 | 0 | 0 | 7 |
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 | 86 | 0 | 0 | 0 | 0 | 100 |
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 | 0 | 0 | 0 | 0 | 0 | 8 |
bonus smallest | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 7 |
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 | 20 | 0 | 87 | 0 | 0 | 0 | 0 | 68 |
points | 30 | 20 | 0 | 70 | 0 | 0 | 0 | 0 | 62 |
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 | 1 | 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 | 73 | 0 | 0 | 0 | 0 | 69 |
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 | 3 | 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 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 | 34 |
points | 20 | 0 | 0 | 23 | 0 | 0 | 0 | 0 | 32 |
bonus best tool | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 |
bonus all instances | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
bonus fastest | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 |
bonus smallest | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
honor points | 0 | 0 | 0 | 4 | 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 | 51 |
points | 10 | 0 | 0 | 60 | 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 | 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 | 60 |
points | 20 | 10 | 0 | 60 | 0 | 0 | 0 | 0 | 55 |
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 | 102 | 0 | 0 | 0 | 0 | 55 |
points | 90 | 30 | 0 | 90 | 0 | 0 | 0 | 0 | 54 |
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 | 7 | 0 | 0 | 0 | 0 | 1 |
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 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 | 0 | 0 | 28 | 0 | 0 | 0 | 0 | 20 |
points | 0 | 0 | 0 | 20 | 0 | 0 | 0 | 0 | 19 |
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 | 1 | 0 | 0 | 0 | 0 | 1 |
bonus smallest | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 |
honor points | 0 | 0 | 0 | 9 | 0 | 0 | 0 | 0 | 0 |
erroneous executions | 0 | 2 | 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 | 11 | 0 | 0 | 76 | 0 | 0 | 0 | 0 | 42 |
points | 10 | 0 | 0 | 60 | 0 | 0 | 0 | 0 | 42 |
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 | 5 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 0 |
honor points | 0 | 0 | 0 | 10 | 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 | 40 | 0 | 0 | 0 | 0 | 29 |
points | 10 | 0 | 0 | 30 | 0 | 0 | 0 | 0 | 29 |
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 | 2 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 0 |
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 | 171 | 50 | 0 | 168 | 0 | 0 | 0 | 0 | 155 |
points | 150 | 50 | 0 | 150 | 0 | 0 | 0 | 0 | 146 |
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 | 11 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 9 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 4 |
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 | 10 | 0 | 12 | 0 | 0 | 0 | 0 | 9 |
points | 0 | 10 | 0 | 10 | 0 | 0 | 0 | 0 | 9 |
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 RwMutex (P/T, Known model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 148 | 40 | 0 | 105 | 0 | 0 | 0 | 0 | 101 |
points | 120 | 40 | 0 | 104 | 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 | 12 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 11 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
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 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 | 62 | 20 | 0 | 54 | 0 | 0 | 0 | 0 | 29 |
points | 50 | 20 | 0 | 47 | 0 | 0 | 0 | 0 | 28 |
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 | 3 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |
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 | 22 | 10 | 0 | 61 | 0 | 0 | 0 | 0 | 50 |
points | 20 | 10 | 0 | 50 | 0 | 0 | 0 | 0 | 43 |
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 | 1 |
bonus smallest | 1 | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 1 |
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 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 | 51 | 0 | 0 | 0 | 0 | 34 |
points | 20 | 10 | 0 | 40 | 0 | 0 | 0 | 0 | 29 |
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 | 2 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 4 | 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 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 | 126 |
points | 0 | 20 | 0 | 120 | 0 | 0 | 0 | 0 | 108 |
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 | 4 |
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 Dekker (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 | 104 |
points | 0 | 40 | 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 | 8 | 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 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 | 24 | 0 | 0 | 0 | 0 | 18 |
points | 0 | 0 | 0 | 20 | 0 | 0 | 0 | 0 | 18 |
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 Echo (P/T, Scrambled model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 0 | 0 | 0 | 222 | 0 | 0 | 0 | 0 | 186 |
points | 0 | 0 | 0 | 176 | 0 | 0 | 0 | 0 | 176 |
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 | 146 | 0 | 0 | 0 | 0 | 138 |
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 | 8 | 0 | 0 | 0 | 0 | 4 |
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 | 170 | 0 | 0 | 0 | 0 | 202 |
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 | 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 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 | 22 | 0 | 0 | 0 | 0 | 16 |
points | 0 | 20 | 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 | 2 | 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 HouseConstruction (P/T, Scrambled model) - correctness mask - results | |||||||||
cunf | greatspn | helena | lola | marcie | pnmc | pnxdd | stratagem | tapaal | |
subtotal | 0 | 100 | 0 | 172 | 0 | 0 | 0 | 0 | 200 |
points | 0 | 100 | 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 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 | 20 | 0 | 176 | 0 | 0 | 0 | 0 | 136 |
points | 0 | 20 | 0 | 140 | 0 | 0 | 0 | 0 | 124 |
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 | 2 | 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 | 140 | 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 | 6 | 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 | 46 | 0 | 0 | 0 | 0 | 50 |
points | 0 | 0 | 0 | 38 | 0 | 0 | 0 | 0 | 46 |
bonus best tool | 0 | 0 | 0 | 4 | 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 | 4 |
bonus smallest | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 | 0 |
honor points | 0 | 0 | 0 | 8 | 0 | 0 | 0 | 0 | 18 |
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 | 102 |
points | 0 | 0 | 0 | 120 | 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 | 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 | 20 | 0 | 152 | 0 | 0 | 0 | 0 | 122 |
points | 0 | 20 | 0 | 120 | 0 | 0 | 0 | 0 | 110 |
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 | 1 | 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 | 170 | 0 | 0 | 0 | 0 | 116 |
points | 0 | 60 | 0 | 140 | 0 | 0 | 0 | 0 | 108 |
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 | 10 | 0 | 0 | 0 | 0 | 4 |
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 | 0 | 0 | 56 | 0 | 0 | 0 | 0 | 40 |
points | 0 | 0 | 0 | 40 | 0 | 0 | 0 | 0 | 38 |
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 | 1 | 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 | 154 | 0 | 0 | 0 | 0 | 84 |
points | 0 | 0 | 0 | 120 | 0 | 0 | 0 | 0 | 84 |
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 | 12 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 12 | 0 | 0 | 0 | 0 | 0 |
honor points | 0 | 0 | 0 | 20 | 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 | 82 | 0 | 0 | 0 | 0 | 58 |
points | 0 | 0 | 0 | 60 | 0 | 0 | 0 | 0 | 58 |
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 | 6 | 0 | 0 | 0 | 0 | 0 |
bonus smallest | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 0 |
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 | 338 | 0 | 0 | 0 | 0 | 336 |
points | 0 | 0 | 0 | 300 | 0 | 0 | 0 | 0 | 292 |
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 | 16 | 0 | 0 | 0 | 0 | 16 |
bonus smallest | 0 | 0 | 0 | 12 | 0 | 0 | 0 | 0 | 18 |
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 | 18 |
points | 0 | 0 | 0 | 20 | 0 | 0 | 0 | 0 | 18 |
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 | 222 | 0 | 0 | 0 | 0 | 228 |
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 | 6 | 0 | 0 | 0 | 0 | 14 |
bonus smallest | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 14 |
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 | 60 |
points | 0 | 20 | 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 | 36 | 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 | 20 | 0 | 122 | 0 | 0 | 0 | 0 | 104 |
points | 0 | 20 | 0 | 100 | 0 | 0 | 0 | 0 | 86 |
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 | 4 |
bonus smallest | 0 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 4 |
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, 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 | 16 | 0 | 102 | 0 | 0 | 0 | 0 | 68 |
points | 0 | 16 | 0 | 76 | 0 | 0 | 0 | 0 | 58 |
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 | 0 |
bonus smallest | 0 | 0 | 0 | 8 | 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 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 |