MCC'2013 - ReachabilityMarkingComparison Scores

Please find enclosed the scores for the ReachabilityMarkingComparison examination. We display only the score of tools that provide a results for at least one instance of one model. The total is first listed in the table below followed by a detail, for each proposed model. You may access the corresponding result page here

Meaning of the line labels are:

1st instance: the tool gets a bonus for having processed the first instance of this model (+1 point),
instances: the tool gets 1 point per instances treated (for that, we assume that at least one formula has been successfuly computed),
max reached: the tool could process all the instances for the model (+2 points),
best: the tool is among the ones that processed a maximum of instances within the time and memory confinement (+2 points).

For known, a tool may collect up to 411 points.

Total Score of the tools
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
Global Score	5	71	69	41	34	48	71
CSRepetitions (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
CSRepetitions (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	6	6	3	2	2	3
max reached	0	2	2	0	0	0	2
best	0	2	2	0	0	0	2
subtotal	0	11	11	4	3	3	8
Dekker (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
DotAndBoxes (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
DrinkVendingMachine (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
DrinkVendingMachine (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	0
instances	0	1	1	1	1	2	0
max reached	0	0	0	0	0	2	0
best	0	0	0	0	0	2	0
subtotal	0	2	2	2	2	7	0
Echo (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
Eratosthenes (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
FMS (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
GlobalRessAlloc (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
GlobalRessAlloc (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	0
instances	0	1	1	1	1	1	0
max reached	0	0	0	0	2	0	0
best	0	0	0	0	2	0	0
subtotal	0	2	2	2	6	2	0
Kanban (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
LamportFastMutEx (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
LamportFastMutEx (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	1	1
instances	0	0	0	0	0	3	7
max reached	0	0	0	0	0	0	2
best	0	0	0	0	0	0	2
subtotal	0	0	0	0	0	4	12
MAPK (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
NeoElection (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
NeoElection (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	3	3	3	2	2	6
max reached	0	0	0	0	0	0	2
best	0	0	0	0	0	0	2
subtotal	0	4	4	4	3	3	11
PermAdmissibility (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
PermAdmissibility (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	1	1	1	1	0	1	1
instances	4	6	6	1	0	1	4
max reached	0	2	2	0	0	0	0
best	0	2	2	0	0	0	0
subtotal	5	11	11	2	0	2	5
Peterson (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
Peterson (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	6	6	2	2	2	6
max reached	0	2	2	0	0	0	2
best	0	2	2	0	0	0	2
subtotal	0	11	11	3	3	3	11
Philosophers (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
Philosophers (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	11	10	9	2	8	8
max reached	0	2	0	0	0	0	0
best	0	2	0	0	0	0	0
subtotal	0	16	11	10	3	9	9
PhilosophersDyn (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
PhilosophersDyn (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	2	2	2	2	1	1
max reached	0	0	0	0	0	0	0
best	0	2	2	2	2	0	0
subtotal	0	5	5	5	5	2	2
Planning (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
Railroad (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
RessAllocation (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
Ring (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
RwMutex (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
SharedMemory (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
SharedMemory (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	2	3	2	2	3	3
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	0	3	6	3	3	4	4
SimpleLoadBal (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
SimpleLoadBal (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	2	2	2	2	3	2
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	2	0
subtotal	0	3	3	3	3	6	3
TokenRing (Colored)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	0	0	0	0	0	0
instances	0	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	0
subtotal	0	0	0	0	0	0	0
TokenRing (P/T)
	greatSPN	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
1st instance	0	1	1	1	1	1	1
instances	0	2	2	2	2	2	3
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	2
subtotal	0	3	3	3	3	3	6