Results of the computation for lamport.il
Decription of the problem
Babylon was called with the following arguments: babylon -n -3 lamport.il
- Number of variables: 0
- Number of transisitions: 9
- Data structure used: NDD
- Algorithm used: Fully Symbolic Backward Search
Time consumption
- Total initialization time: 0.42 sec.
- User Init Time: 0.42 sec.
- System Init Time: 0 sec.
- Total Computation Time: 139.82 sec.
- User Computation Time: 138.52 sec.
- System Computation Time: 1.3 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 10 | 0.80 | 0.00 | 0.08 | 0.00 | 0.15 | 0.00 | 0.57
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 10 | 1.87 | 0.01 | 0.19 | 0.00 | 0.38 | 0.01 | 1.34
|
Pre | 10 | 135.84 | 1.28 | 13.58 | 0.13 | 34.06 | 0.30 | 98.07
|
EmptySet | 0 | 0.00 | 0.00 | nan | nan | 0.00 | 0.00 | 0.00
|
IsEmpty | 10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Memory consumption
- Maximum size: 391548 kB, at iteration 6
- Maximum resident size: 7240 kB, at iteration 6
- Maximum data size: 389472 kB, at iteration 6
- Maximum stack size: 2053 kB, at iteration 6
- Maximum executable size: 1818 kB, at iteration 7
- Maximum library size: 1886 kB, at iteration 5
Iterations
Computation in 10 iterations.
The longest iteration was number 5 (34.85 sec.)
Average length: 13.98 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 1.47 | 376.81 | 1.92 | 374.78 |
2 | 4.52 | 377.26 | 1.97 | 375.23 |
3 | 20.82 | 380.43 | 5.14 | 378.40 |
4 | 34.55 | 382.11 | 6.80 | 380.08 |
5 | 34.85 | 382.26 | 6.97 | 380.23 |
6 | 22.63 | 382.37 | 7.07 | 380.34 |
7 | 11.83 | 382.29 | 7.00 | 380.27 |
8 | 5.96 | 382.29 | 7.00 | 380.27 |
9 | 2.65 | 382.22 | 6.93 | 380.20 |
10 | 0.54 | 382.21 | 6.91 | 380.18 |
Output generated by Babylon on Wed Feb 20 00:42:26 2002