Results of the computation for multipool.il
Decription of the problem
Babylon was called with the following arguments: babylon -i -1 multipool.il
- Number of variables: 0
- Number of transisitions: 21
- Data structure used: IST
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 0.02 sec.
- User Init Time: 0.02 sec.
- System Init Time: 0 sec.
- Total Computation Time: 11 sec.
- User Computation Time: 10.95 sec.
- System Computation Time: 0.05 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 396 | 7.64 | 0.03 | 0.02 | 0.00 | 0.10 | 0.01 | 69.73
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 18 | 0.91 | 0.00 | 0.05 | 0.00 | 0.15 | 0.00 | 8.27
|
Pre | 378 | 2.39 | 0.00 | 0.01 | 0.00 | 0.03 | 0.00 | 21.73
|
EmptySet | 18 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
IsEmpty | 18 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Memory consumption
- Maximum size: 387032 kB, at iteration 12
- Maximum resident size: 2720 kB, at iteration 12
- Maximum data size: 384956 kB, at iteration 12
- Maximum stack size: 2053 kB, at iteration 6
- Maximum executable size: 1983 kB, at iteration 16
- Maximum library size: 1886 kB, at iteration 5
Iterations
Computation in 18 iterations.
The longest iteration was number 11 (1.64 sec.)
Average length: 0.61 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 0.01 | 377.16 | 1.92 | 375.13 |
2 | 0.02 | 377.25 | 1.95 | 375.22 |
3 | 0.06 | 377.48 | 2.17 | 375.45 |
4 | 0.13 | 377.50 | 2.19 | 375.47 |
5 | 0.24 | 377.50 | 2.20 | 375.47 |
6 | 0.42 | 377.54 | 2.23 | 375.51 |
7 | 0.62 | 377.58 | 2.27 | 375.55 |
8 | 0.85 | 377.58 | 2.27 | 375.55 |
9 | 1.13 | 377.88 | 2.57 | 375.85 |
10 | 1.56 | 377.93 | 2.63 | 375.91 |
11 | 1.64 | 377.96 | 2.65 | 375.93 |
12 | 1.44 | 377.96 | 2.66 | 375.93 |
13 | 1.12 | 377.92 | 2.62 | 375.89 |
14 | 0.84 | 377.93 | 2.63 | 375.90 |
15 | 0.56 | 377.93 | 2.63 | 375.90 |
16 | 0.26 | 377.93 | 2.63 | 375.90 |
17 | 0.08 | 377.93 | 2.63 | 375.90 |
18 | 0.02 | 377.93 | 2.63 | 375.90 |
Output generated by Babylon on Wed Feb 20 00:29:28 2002