Please find enclosed the brute results for the ReachabilityDeadlock examination. We display only the score of tools that provide a results for at least one instance of one model. You may access to the scoring for this examination here.

The legend for the values is provided below:

• nc: the tool does not compete this examination for this model/instance,
• cc: the tool cannot compute this examination for this model/instance,
• to: the tool cannot compute this examination for this model/instance within the maximum allowed time,
• mp: the tool encountered a memory problem (stack overflow or memory full),
• nf: there is no formula available for thys type of examination (typically, this concerns P/T nets where comparing marking cardinality has no signification when there is no equivalent colored net).

Note on the display of results for formulas: each formula is considered as a flag (F if false, T if true, - or ? when the value cannot be determined). These values are concatenated in the order they appear (we assume it is the order of formulas as they were provided).

HouseConstruction (P/T)
instances	cunf	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
002	nc	FF	FF	FF	FF	FT	F-
005	nc	FF	FF	FF	FF	FT	F-
010	nc	FF	FF	FF	FF	FT	F-
020	nc	FF	FF	FF	FF	FT	F-
050	nc	FF	FF	FF	FF	cc	F-
100	nc	FF	FF	FF	FF	cc	F-
200	nc	FF	FF	FF	FF	cc	F-
500	nc	FF	FF	FF	FF	to	F-
IBMB2S565S3960 (P/T)
instances	cunf	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
none	nc	FF	FF	FF	FF	FT	F-
QuasiCertifProtocol (Colored)
instances	cunf	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
02	nc	nc	nc	nc	nc	nc	nc
06	nc	nc	nc	nc	nc	nc	nc
10	nc	nc	nc	nc	nc	nc	nc
18	nc	nc	nc	nc	nc	nc	nc
22	nc	nc	nc	nc	nc	nc	nc
28	nc	nc	nc	nc	nc	nc	nc
32	nc	nc	nc	nc	nc	nc	nc
QuasiCertifProtocol (P/T)
instances	cunf	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
02	cc	FF	FF	FF	FF	FT	F-
06	nc	FF	FF	FF	FF	FT	F-
10	nc	FF	FF	FF	FF	to	F-
18	nc	FF	FF	FF	FF	to	F-
22	nc	FF	FF	FF	FF	cc	F-
28	nc	FF	FF	FF	FF	cc	F-
32	nc	FF	FF	FF	FF	cc	F-
Vasy2003 (P/T)
instances	cunf	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	marcie	sara
none	nc	F-	F-	F-	to	FT	F-