Home
|
Screenshots
|
Results
|
Documentation
|
Download
|
Contact
Results for the tree problem
Nodes
Uppaal
Interleaving
Multistep
Synchronous
Semi synchronous
Relaxed
5
0.0
0/11K/9
0.1/7K/6
0.2/19K/6
0.2/29K/6
10
0.1
2.9/49K/19
0.8/31K/12
0.3/59K/8
0.8/95K/8
15
20.0
19.0/110K/29
0.5/40K/10
0.5/90K/10
1.1/144K/8
20
-
4m46/196K/39
3.5/93K/18
3.5/175K/12
2.3/240K/10
50
-
-
18.2/292K/20
5.6/508K/12
8.2/846K/12
100
-
-
11m06/812K/28
19.2/1.2M/14
34.1/2M/14
200
-
-
-
3m09/2.7M/18
2m15/4.6M/16
© Universite de Provence
Design by Ossoba Studio
Design downloaded from
Free Templates
- your source for free web templates
