Results of the computation for csm.il
Decription of the problem
Babylon was called with the following arguments: babylon -n -1 csm.il
- Number of variables: 0
- Number of transisitions: 13
- Data structure used: NDD
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 1.01 sec.
- User Init Time: 1.01 sec.
- System Init Time: 0 sec.
- Total Computation Time: 246.29 sec.
- User Computation Time: 243.81 sec.
- System Computation Time: 2.48 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 154 | 32.58 | 0.22 | 0.21 | 0.00 | 0.96 | 0.02 | 13.32
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 11 | 3.53 | 0.02 | 0.32 | 0.00 | 0.72 | 0.01 | 1.44
|
Pre | 143 | 207.59 | 2.21 | 1.45 | 0.02 | 13.70 | 0.13 | 85.18
|
EmptySet | 11 | 0.07 | 0.00 | 0.01 | 0.00 | 0.02 | 0.00 | 0.03
|
IsEmpty | 11 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Memory consumption
- Maximum size: 392136 kB, at iteration 6
- Maximum resident size: 7820 kB, at iteration 6
- Maximum data size: 390060 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 11 iterations.
The longest iteration was number 5 (56.54 sec.)
Average length: 22.39 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 1.53 | 376.79 | 1.92 | 374.77 |
2 | 4.27 | 377.38 | 2.08 | 375.36 |
3 | 13.34 | 378.81 | 3.50 | 376.78 |
4 | 34.64 | 381.36 | 6.07 | 379.34 |
5 | 56.54 | 382.49 | 7.19 | 380.46 |
6 | 45.93 | 382.95 | 7.64 | 380.92 |
7 | 38.02 | 382.86 | 7.55 | 380.83 |
8 | 21.48 | 382.79 | 7.49 | 380.76 |
9 | 18.23 | 382.77 | 7.46 | 380.74 |
10 | 7.01 | 382.66 | 7.36 | 380.63 |
11 | 5.30 | 382.59 | 7.27 | 380.57 |
Output generated by Babylon on Wed Feb 20 02:04:11 2002