Table 5 Verification of property 7
From: Analysis and verification of the HMGB1 signaling pathway
Property 7: Pr≥ 0.9[F100(P 53/10000 ≥ a∧ F100(P 53/10000 ≤ 0.4))] | |||||
|---|---|---|---|---|---|
HMGB1 | a | # of Samples | # of Successes | Result | Time (s) |
103 | 5.0 | 22 | 22 | True | 19.74 |
103 | 5.5 | 20 | 3 | False | 29.02 |
102 | 5.5 | 22 | 22 | True | 19.65 |
102 | 6.0 | 45 | 12 | False | 56.27 |
10 | 6.5 | 38 | 37 | True | 41.50 |