MCC'2013 - StateSpace Scores

Please find enclosed the scores for the StateSpace 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 a number of state is provided),
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
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
Global Score	103	47	234	0	129	64	139
CSRepetitions (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	2	0	2	0	0	0	0
max reached	0	0	0	0	0	0	0
best	2	0	2	0	0	0	0
subtotal	5	0	5	0	0	0	0
CSRepetitions (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	1	1
instances	2	3	5	0	2	2	4
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	4	8	0	3	3	5
Dekker (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	0	0	1	0	1	1	1
instances	0	0	2	0	3	3	3
max reached	0	0	0	0	0	0	0
best	0	0	0	0	2	2	2
subtotal	0	0	3	0	6	6	6
DotAndBoxes (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	1	0	3	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	2	0	6	0	0	0	0
DrinkVendingMachine (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	1	0	2	0	0	0	0
max reached	0	0	2	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	2	0	7	0	0	0	0
DrinkVendingMachine (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	0	1
instances	1	0	1	0	2	0	1
max reached	0	0	0	0	2	0	0
best	0	0	0	0	2	0	0
subtotal	2	0	2	0	7	0	2
Echo (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
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)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	4	0	6	0	6	2	6
max reached	0	0	2	0	2	0	2
best	0	0	2	0	2	0	2
subtotal	5	0	11	0	11	3	11
FMS (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	1	1
instances	2	6	7	0	6	2	5
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	7	10	0	7	3	6
GlobalRessAlloc (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	0	0	1	0	0	0	0
instances	0	0	3	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	0	0	6	0	0	0	0
GlobalRessAlloc (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	0	1	1	0	1	0	1
instances	0	1	1	0	1	0	1
max reached	0	0	0	0	0	0	0
best	0	2	2	0	2	0	2
subtotal	0	4	4	0	4	0	4
Kanban (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	1	1
instances	2	5	6	0	5	1	3
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	6	9	0	6	2	4
LamportFastMutEx (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	2	0	4	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	0	7	0	0	0	0
LamportFastMutEx (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	2	0	4	0	3	3	4
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	2
subtotal	3	0	7	0	4	4	7
MAPK (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	0	1	1	0	1	1	1
instances	0	3	4	0	4	1	3
max reached	0	0	0	0	0	0	0
best	0	0	2	0	2	0	0
subtotal	0	4	7	0	7	2	4
NeoElection (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	2	0	3	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	0	6	0	0	0	0
NeoElection (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	2	0	3	0	2	1	3
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	2
subtotal	3	0	6	0	3	2	6
PermAdmissibility (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	1	0	1	0	0	0	0
max reached	0	0	0	0	0	0	0
best	2	0	2	0	0	0	0
subtotal	4	0	4	0	0	0	0
PermAdmissibility (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	0	1
instances	1	1	1	0	1	0	1
max reached	0	0	0	0	0	0	0
best	2	2	2	0	2	0	2
subtotal	4	4	4	0	4	0	4
Peterson (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	2	0	2	0	0	0	0
max reached	0	0	0	0	0	0	0
best	2	0	2	0	0	0	0
subtotal	5	0	5	0	0	0	0
Peterson (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	2	0	4	0	2	1	3
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	0	7	0	3	2	4
Philosophers (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	5	0	13	0	0	0	0
max reached	0	0	2	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	6	0	18	0	0	0	0
Philosophers (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	1	1
instances	5	6	11	0	9	2	9
max reached	0	0	2	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	6	7	16	0	10	3	10
PhilosophersDyn (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	0	0	0	0	0
instances	1	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	2	0	0	0	0	0	0
subtotal	4	0	0	0	0	0	0
PhilosophersDyn (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	1	1
instances	1	2	1	0	1	1	2
max reached	0	0	0	0	0	0	0
best	0	2	0	0	0	0	2
subtotal	2	5	2	0	2	2	5
Planning (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
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)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	1	0	2	0	2	2	2
max reached	0	0	0	0	0	0	0
best	0	0	2	0	2	2	2
subtotal	2	0	5	0	5	5	5
RessAllocation (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	6	0	12	0	15	9	15
max reached	0	0	0	0	2	0	2
best	0	0	0	0	2	0	2
subtotal	7	0	13	0	20	10	20
Ring (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	0	0	1	0	1	0	1
instances	0	0	1	0	1	0	1
max reached	0	0	2	0	2	0	2
best	0	0	2	0	2	0	2
subtotal	0	0	6	0	6	0	6
RwMutex (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	4	0	7	0	7	5	7
max reached	0	0	0	0	0	0	0
best	0	0	0	0	2	2	2
subtotal	5	0	8	0	10	8	10
SharedMemory (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	2	0	14	0	0	0	0
max reached	0	0	2	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	0	19	0	0	0	0
SharedMemory (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	1	1
instances	2	2	6	0	3	2	3
max reached	0	0	2	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	3	11	0	4	3	4
SimpleLoadBal (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	0	0	0
instances	2	0	3	0	0	0	0
max reached	0	0	0	0	0	0	0
best	0	0	2	0	0	0	0
subtotal	3	0	6	0	0	0	0
SimpleLoadBal (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	1	0	1	1	1
instances	2	0	2	0	3	2	5
max reached	0	0	0	0	0	0	2
best	0	0	0	0	0	0	2
subtotal	3	0	3	0	4	3	10
TokenRing (Colored)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	0	0	0	0	0	0
instances	1	0	0	0	0	0	0
max reached	0	0	0	0	0	0	0
best	2	0	0	0	0	0	0
subtotal	4	0	0	0	0	0	0
TokenRing (P/T)
	alpina	greatSPN	ITS-Tools	lola pessimistic	marcie	neco	pnxdd
1st instance	1	1	1	0	1	1	1
instances	1	2	2	0	2	2	3
max reached	0	0	0	0	0	0	0
best	0	0	0	0	0	0	2
subtotal	2	3	3	0	3	3	6