Please find enclosed the scores for the ReachabilityMix 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 surprise, a tool may collect up to 49 points.
| Total Score of the tools | ||||||
| lola | lola optimistic | lola optimistic incomplete | lola pessimistic | marcie | sara | |
| Global Score | 12 | 12 | 6 | 12 | 24 | 0 |
| HouseConstruction (P/T) | ||||||
| lola | lola optimistic | lola optimistic incomplete | lola pessimistic | marcie | sara | |
| 1st instance | 0 | 0 | 0 | 0 | 1 | 0 |
| instances | 0 | 0 | 0 | 0 | 4 | 0 |
| max reached | 0 | 0 | 0 | 0 | 0 | 0 |
| best | 0 | 0 | 0 | 0 | 2 | 0 |
| subtotal | 0 | 0 | 0 | 0 | 7 | 0 |
| IBMB2S565S3960 (P/T) | ||||||
| lola | lola optimistic | lola optimistic incomplete | lola pessimistic | marcie | sara | |
| 1st instance | 1 | 1 | 0 | 1 | 1 | 0 |
| instances | 1 | 1 | 0 | 1 | 1 | 0 |
| max reached | 2 | 2 | 0 | 2 | 2 | 0 |
| best | 2 | 2 | 0 | 2 | 2 | 0 |
| subtotal | 6 | 6 | 0 | 6 | 6 | 0 |
| QuasiCertifProtocol (Colored) | ||||||
| lola | lola optimistic | lola optimistic incomplete | lola pessimistic | marcie | sara | |
| 1st instance | 0 | 0 | 0 | 0 | 0 | 0 |
| instances | 0 | 0 | 0 | 0 | 0 | 0 |
| max reached | 0 | 0 | 0 | 0 | 0 | 0 |
| best | 0 | 0 | 0 | 0 | 0 | 0 |
| subtotal | 0 | 0 | 0 | 0 | 0 | 0 |
| QuasiCertifProtocol (P/T) | ||||||
| lola | lola optimistic | lola optimistic incomplete | lola pessimistic | marcie | sara | |
| 1st instance | 0 | 0 | 0 | 0 | 1 | 0 |
| instances | 0 | 0 | 0 | 0 | 2 | 0 |
| max reached | 0 | 0 | 0 | 0 | 0 | 0 |
| best | 0 | 0 | 0 | 0 | 2 | 0 |
| subtotal | 0 | 0 | 0 | 0 | 5 | 0 |
| Vasy2003 (P/T) | ||||||
| lola | lola optimistic | lola optimistic incomplete | lola pessimistic | marcie | sara | |
| 1st instance | 1 | 1 | 1 | 1 | 1 | 0 |
| instances | 1 | 1 | 1 | 1 | 1 | 0 |
| max reached | 2 | 2 | 2 | 2 | 2 | 0 |
| best | 2 | 2 | 2 | 2 | 2 | 0 |
| subtotal | 6 | 6 | 6 | 6 | 6 | 0 |