Table 4.
Satisfiability of the checked properties.
| Property | Experiment setting (#vials, #batches, #patients) |
|||
|---|---|---|---|---|
| (2, 1, 1) | (2, 1, 3) | (3, 1, 5) | (5, 3, 5) | |
| P0 | Y | Y | Y | Y |
| P1 | Y | Y | Y | Y |
| P2 | Y | Y | Y | Y |
| P3 | Y | Y | Y | Y |
| P4 | Y | Y | Y | Y |
| P5 | Y | Y | Y | Y |
| P6 | Y | Y | Y | Y |
| P7 | Y | Y | Y | Y |
| P8 | Y | Y | Y | Y |
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.