Results of the computation for lamport.il
Decription of the problem
Babylon was called with the following arguments: babylon -n -1 lamport.il
- Number of variables: 0
- Number of transisitions: 9
- Data structure used: NDD
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 0.42 sec.
- User Init Time: 0.42 sec.
- System Init Time: 0 sec.
- Total Computation Time: 134.35 sec.
- User Computation Time: 132.98 sec.
- System Computation Time: 1.37 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 100 | 13.30 | 0.05 | 0.13 | 0.00 | 0.42 | 0.01 | 9.94
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 10 | 1.91 | 0.00 | 0.19 | 0.00 | 0.42 | 0.00 | 1.42
|
Pre | 90 | 117.69 | 1.32 | 1.31 | 0.01 | 10.61 | 0.08 | 88.58
|
EmptySet | 10 | 0.03 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.02
|
IsEmpty | 10 | 0.01 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01
|
Memory consumption
- Maximum size: 391536 kB, at iteration 5
- Maximum resident size: 7232 kB, at iteration 5
- Maximum data size: 389460 kB, at iteration 5
- 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.11 sec.)
Average length: 13.43 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 1.50 | 376.82 | 1.92 | 374.80 |
2 | 4.59 | 377.37 | 2.07 | 375.34 |
3 | 20.13 | 380.28 | 4.98 | 378.25 |
4 | 32.70 | 382.02 | 6.72 | 379.99 |
5 | 34.11 | 382.36 | 7.06 | 380.33 |
6 | 21.42 | 382.27 | 6.97 | 380.25 |
7 | 11.33 | 382.07 | 6.77 | 380.04 |
8 | 5.55 | 382.00 | 6.70 | 379.97 |
9 | 2.51 | 381.31 | 6.01 | 379.28 |
10 | 0.50 | 381.31 | 5.99 | 379.28 |
Output generated by Babylon on Wed Feb 20 00:39:34 2002