Results of the computation for lamport.il
Decription of the problem
Babylon was called with the following arguments: babylon -d -1 lamport.il
- Number of variables: 0
- Number of transisitions: 9
- Data structure used: DDD
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 0.4 sec.
- User Init Time: 0.14 sec.
- System Init Time: 0.26 sec.
- Total Computation Time: 0.15 sec.
- User Computation Time: 0.15 sec.
- System Computation Time: 0 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 100 | 0.03 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 20.00
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 10 | 0.01 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 6.67
|
Pre | 90 | 0.11 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 73.33
|
EmptySet | 10 | 0.00 | 0.00 | 0.00 | 0.00 | 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: 463896 kB, at iteration 4
- Maximum resident size: 75376 kB, at iteration 5
- Maximum data size: 461816 kB, at iteration 4
- 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 (0.03 sec.)
Average length: 0.02 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 0.01 | 452.79 | 73.45 | 450.76 |
2 | 0.01 | 452.83 | 73.48 | 450.80 |
3 | 0.02 | 452.89 | 73.52 | 450.86 |
4 | 0.02 | 453.02 | 73.59 | 450.99 |
5 | 0.03 | 453.02 | 73.61 | 450.99 |
6 | 0.02 | 453.02 | 73.61 | 450.99 |
7 | 0.01 | 453.02 | 73.61 | 450.99 |
8 | 0.02 | 453.02 | 73.61 | 450.99 |
9 | 0.01 | 453.02 | 73.61 | 450.99 |
10 | 0.00 | 453.02 | 73.61 | 450.99 |
Output generated by Babylon on Wed Feb 20 00:29:10 2002