Results for the circuit problem
| |
| Nodes | Uppaal | Interleaving | Multistep |
| Synchronous | Semi synchronous | Relaxed |
| 4 | 0 | 0/12K/2 | 0/8K/1 | 0/23K/1 | 0/53K/1 |
| 10 | 0.1 | 0.3/48K/5 | 0/22K/1 | 0.1/58K/1 | 0.9/139K/1 |
| 16 | - | 1.7/112K/8 | 0.5/38K/1 | 1.6/99K/1 | 1.2/242K/1 |
| 20 | - | 2.4/164K/10 | 0.8/48K/1 | 1.8/123K/1 | 1.3/301K/1 |
| 50 | - | - | 1.2/129K/1 | 2.3/327K/1 | 2.8/811K/1 |
| 100 | - | - | 3.1/279K/1 | 3.9/704K/1 | 5.6/1,7M/1 |
| 200 | - | - | 4.3/608K/1 | 6.1/1.5M/1 | 11.1/3,8M/1 |
|
|
|
 |
|
