Graded-CTL NuSMV
Test Results for "ABP10"
|
E>k1 G (E>k2 F (sender.state = get) ∧ E>k3 F (receiver.state = deliver))
|
| k1 | k2 | k3 | Time | #BDD |
|---|
| - | - | - | 1025,096 | 4859760 |
| 0 | 0 | 0 | 1735,584 | 4859827 |
| 1 | 0 | 0 | 1801,261 | 4860555 |
| 2 | 0 | 0 | 1859,688 | 4955796 |
| 5 | 0 | 0 | 2048,048 | 5517599 |
| 10 | 0 | 0 | 2383,821 | 5517599 |
| 0 | 1 | 1 | 1871,869 | 4930459 |
| 1 | 1 | 1 | 1992,641 | 4860555 |
| 5 | 1 | 1 | 2186,821 | 5517749 |
| 10 | 1 | 1 | 2557,076 | 5517749 |
| 0 | 3 | 1 | 1987,912 | 5475491 |
| 1 | 3 | 1 | 2051,992 | 5517680 |
| 5 | 3 | 1 | 2301,688 | 5517599 |
| 10 | 3 | 1 | 2675,519 | 5517749 |
| 0 | 5 | 1 | 2125,557 | 5475491 |
| 1 | 5 | 1 | 2185,341 | 5517680 |
| 10 | 5 | 1 | 2769,345 | 5517749 |
| 0 | 1 | 3 | 2099,138 | 5475491 |
| 1 | 1 | 3 | 2080,514 | 5517680 |
| 10 | 1 | 3 | 2633,021 | 5517741 |
| 0 | 3 | 3 | 2144,632 | 5475491 |
| 1 | 3 | 3 | 2180,032 | 5517680 |
| 10 | 3 | 3 | 2729,335 | 5517749 |
| 0 | 5 | 3 | 2250,877 | 5475491 |
| 1 | 5 | 3 | 2309,892 | 5517680 |
| 10 | 5 | 3 | 2864,051 | 5517687 |
| 10 | 10 | 10 | 3628,235 | 5517749 |
| 50 | 50 | 50 | 11305,595 | 5714423 |