Time-bounded reachability computation on Erlang model
0.01Runtime (s)triple epsilon-nets
Evaluation results
| Method | Links | |
|---|---|---|
| triple epsilon-netsprecision=10^-42010.11 | 0.01 | |
| triple epsilon-netsprecision=10^-52010.11 | 0.02 | |
| double epsilon-netsprecision=10^-42010.11 | 0.04 | |
| triple epsilon-netsprecision=10^-62010.11 | 0.04 | |
| MRMCprecision=10^-42010.11 | 0.05 | |
| triple epsilon-netsprecision=10^-72010.11 | 0.06 | |
| double epsilon-netsprecision=10^-52010.11 | 0.1 | |
| triple epsilon-netsprecision=10^-82010.11 | 0.14 | |
| MRMCprecision=10^-52010.11 | 0.2 | |
| triple epsilon-netsprecision=10^-92010.11 | 0.3 | |
| double epsilon-netsprecision=10^-62010.11 | 0.32 | |
| triple epsilon-netsprecision=10^-102010.11 | 0.64 | |
| double epsilon-netsprecision=10^-72010.11 | 0.98 | |
| MRMCprecision=10^-62010.11 | 1.32 | |
| double epsilon-netsprecision=10^-82010.11 | 3.11 | |
| MRMCprecision=10^-72010.11 | 8 | |
| double epsilon-netsprecision=10^-92010.11 | 9.91 | |
| double epsilon-netsprecision=10^-102010.11 | 31.24 | |
| MRMCprecision=10^-82010.11 | 475 |