Time-bounded reachability computation on Game model
0.08Runtime (s)triple epsilon-nets
Evaluation results
| Method | Links | |
|---|---|---|
| triple epsilon-netsprecision=10^-42010.11 | 0.08 | |
| triple epsilon-netsprecision=10^-52010.11 | 0.15 | |
| triple epsilon-netsprecision=10^-62010.11 | 0.31 | |
| double epsilon-netsprecision=10^-42010.11 | 0.34 | |
| triple epsilon-netsprecision=10^-72010.11 | 0.66 | |
| double epsilon-netsprecision=10^-52010.11 | 1.04 | |
| triple epsilon-netsprecision=10^-82010.11 | 1.42 | |
| triple epsilon-netsprecision=10^-92010.11 | 3.09 | |
| double epsilon-netsprecision=10^-62010.11 | 3.29 | |
| triple epsilon-netsprecision=10^-102010.11 | 6.6 | |
| double epsilon-netsprecision=10^-72010.11 | 10.45 | |
| double epsilon-netsprecision=10^-82010.11 | 33.12 | |
| double epsilon-netsprecision=10^-92010.11 | 106 | |
| double epsilon-netsprecision=10^-102010.11 | 339 |