Please find enclosed the brute results for the LTLMix 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	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	neco	sara
002	cc	cc	cc	cc	cc	cc
005	cc	cc	cc	cc	cc	cc
010	cc	cc	cc	cc	cc	cc
020	cc	cc	cc	cc	cc	cc
050	cc	cc	cc	cc	cc	cc
100	cc	cc	cc	cc	cc	cc
200	cc	cc	cc	cc	cc	cc
500	cc	cc	cc	cc	cc	cc
IBMB2S565S3960 (P/T)
instances	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	neco	sara
none	cc	cc	cc	cc	cc	cc
QuasiCertifProtocol (Colored)
instances	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	neco	sara
02	nc	nc	nc	nc	nc	nc
06	nc	nc	nc	nc	nc	nc
10	nc	nc	nc	nc	nc	nc
18	nc	nc	nc	nc	nc	nc
22	nc	nc	nc	nc	nc	nc
28	nc	nc	nc	nc	nc	nc
32	nc	nc	nc	nc	nc	nc
QuasiCertifProtocol (P/T)
instances	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	neco	sara
02	cc	cc	cc	cc	cc	cc
06	cc	cc	cc	cc	cc	cc
10	cc	cc	cc	cc	cc	cc
18	cc	cc	cc	cc	cc	cc
22	cc	cc	cc	cc	cc	cc
28	cc	cc	cc	cc	cc	cc
32	cc	cc	cc	cc	cc	cc
Vasy2003 (P/T)
instances	lola	lola optimistic	lola optimistic incomplete	lola pessimistic	neco	sara
none	cc	cc	cc	cc	cc	cc