Results of the computation for multipool.il
Decription of the problem
Babylon was called with the following arguments: babylon -d -1 multipool.il
- Number of variables: 0
- Number of transisitions: 21
- Data structure used: DDD
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 0.43 sec.
- User Init Time: 0.23 sec.
- System Init Time: 0.2 sec.
- Total Computation Time: 3.12 sec.
- User Computation Time: 3.12 sec.
- System Computation Time: 0 sec.
Operations
| Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
|---|
| Union | 396 | 1.57 | 0.00 | 0.00 | 0.00 | 0.02 | 0.00 | 50.32
|
| Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| Difference | 18 | 0.15 | 0.00 | 0.01 | 0.00 | 0.02 | 0.00 | 4.81
|
| Pre | 378 | 1.30 | 0.00 | 0.00 | 0.00 | 0.02 | 0.00 | 41.67
|
| EmptySet | 18 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| IsEmpty | 18 | 0.02 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.64
|
Memory consumption
- Maximum size: 464068 kB, at iteration 9
- Maximum resident size: 75568 kB, at iteration 10
- Maximum data size: 461980 kB, at iteration 6
- 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 9 (0.35 sec.)
Average length: 0.17 sec.
| Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
|---|
| 1 | 0.02 | 452.83 | 73.49 | 450.80 |
| 2 | 0.04 | 452.87 | 73.52 | 450.83 |
| 3 | 0.09 | 452.93 | 73.55 | 450.90 |
| 4 | 0.16 | 453.06 | 73.64 | 451.03 |
| 5 | 0.25 | 453.06 | 73.69 | 451.03 |
| 6 | 0.27 | 453.19 | 73.71 | 451.15 |
| 7 | 0.31 | 453.19 | 73.73 | 451.15 |
| 8 | 0.32 | 453.19 | 73.73 | 451.15 |
| 9 | 0.35 | 453.19 | 73.77 | 451.15 |
| 10 | 0.32 | 453.19 | 73.80 | 451.15 |
| 11 | 0.26 | 453.19 | 73.80 | 451.15 |
| 12 | 0.20 | 453.19 | 73.80 | 451.15 |
| 13 | 0.18 | 453.19 | 73.80 | 451.15 |
| 14 | 0.14 | 453.19 | 73.80 | 451.15 |
| 15 | 0.10 | 453.19 | 73.80 | 451.15 |
| 16 | 0.05 | 453.19 | 73.80 | 451.15 |
| 17 | 0.03 | 453.19 | 73.80 | 451.15 |
| 18 | 0.01 | 453.19 | 73.80 | 451.15 |
Output generated by Babylon on Wed Feb 20 00:29:41 2002