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 |