Results of the computation for multipool.il
Decription of the problem
Babylon was called with the following arguments: babylon -i -3 multipool.il
- Number of variables: 0
- Number of transisitions: 21
- Data structure used: IST
- Algorithm used: Fully Symbolic Backward Search
Time consumption
- Total initialization time: 0.02 sec.
- User Init Time: 0.02 sec.
- System Init Time: 0 sec.
- Total Computation Time: 9.1 sec.
- User Computation Time: 9.03 sec.
- System Computation Time: 0.07 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 18 | 0.16 | 0.00 | 0.01 | 0.00 | 0.03 | 0.00 | 1.76
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 18 | 0.95 | 0.00 | 0.05 | 0.00 | 0.14 | 0.00 | 10.44
|
Pre | 18 | 7.92 | 0.06 | 0.44 | 0.00 | 1.20 | 0.01 | 87.69
|
EmptySet | 0 | 0.00 | 0.00 | nan | nan | 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: 393128 kB, at iteration 15
- Maximum resident size: 8824 kB, at iteration 15
- Maximum data size: 391052 kB, at iteration 15
- 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.37 sec.)
Average length: 0.51 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 0.01 | 377.15 | 1.92 | 375.12 |
2 | 0.01 | 377.23 | 1.93 | 375.21 |
3 | 0.04 | 377.47 | 2.17 | 375.44 |
4 | 0.08 | 377.81 | 2.51 | 375.79 |
5 | 0.17 | 377.83 | 2.53 | 375.80 |
6 | 0.34 | 378.13 | 2.83 | 376.10 |
7 | 0.50 | 378.69 | 3.39 | 376.66 |
8 | 0.74 | 379.36 | 4.06 | 377.33 |
9 | 1.05 | 380.09 | 4.80 | 378.07 |
10 | 1.26 | 380.68 | 5.39 | 378.66 |
11 | 1.37 | 381.47 | 6.18 | 379.45 |
12 | 1.18 | 382.41 | 7.12 | 380.39 |
13 | 0.96 | 382.75 | 7.45 | 380.72 |
14 | 0.69 | 383.53 | 8.23 | 381.50 |
15 | 0.44 | 383.91 | 8.62 | 381.89 |
16 | 0.19 | 383.91 | 8.62 | 381.89 |
17 | 0.06 | 383.91 | 8.62 | 381.89 |
18 | 0.01 | 383.91 | 8.62 | 381.89 |
Output generated by Babylon on Wed Feb 20 00:29:37 2002