Results of the computation for mesh3x2.il
Decription of the problem
Babylon was called with the following arguments: babylon -d -1 mesh3x2.il
- Number of variables: 0
- Number of transisitions: 54
- Data structure used: DDD
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 0.73 sec.
- User Init Time: 0.54 sec.
- System Init Time: 0.19 sec.
- Total Computation Time: 194.61 sec.
- User Computation Time: 194.37 sec.
- System Computation Time: 0.24 sec.
Operations
| Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
|---|
| Union | 1155 | 142.41 | 0.07 | 0.12 | 0.00 | 2.69 | 0.01 | 73.21
|
| Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| Difference | 21 | 8.80 | 0.01 | 0.42 | 0.00 | 1.20 | 0.01 | 4.53
|
| Pre | 1134 | 42.84 | 0.03 | 0.04 | 0.00 | 0.95 | 0.01 | 22.03
|
| EmptySet | 21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| IsEmpty | 21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Memory consumption
- Maximum size: 464808 kB, at iteration 21
- Maximum resident size: 76364 kB, at iteration 21
- Maximum data size: 462708 kB, at iteration 21
- Maximum stack size: 2053 kB, at iteration 6
- Maximum executable size: 1983 kB, at iteration 16
- Maximum library size: 1887 kB, at iteration 20
Iterations
Computation in 21 iterations.
The longest iteration was number 11 (25.89 sec.)
Average length: 9.27 sec.
| Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
|---|
| 1 | 0.31 | 453.45 | 74.11 | 451.40 |
| 2 | 0.11 | 453.49 | 74.14 | 451.44 |
| 3 | 0.55 | 453.55 | 74.18 | 451.50 |
| 4 | 0.95 | 453.68 | 74.26 | 451.63 |
| 5 | 2.14 | 453.68 | 74.29 | 451.63 |
| 6 | 3.58 | 453.68 | 74.29 | 451.63 |
| 7 | 6.11 | 453.68 | 74.30 | 451.63 |
| 8 | 11.41 | 453.81 | 74.33 | 451.76 |
| 9 | 17.31 | 453.81 | 74.35 | 451.76 |
| 10 | 22.38 | 453.81 | 74.36 | 451.76 |
| 11 | 25.89 | 453.81 | 74.38 | 451.76 |
| 12 | 24.58 | 453.82 | 74.41 | 451.77 |
| 13 | 24.02 | 453.82 | 74.42 | 451.77 |
| 14 | 19.42 | 453.84 | 74.43 | 451.79 |
| 15 | 15.25 | 453.85 | 74.45 | 451.80 |
| 16 | 10.88 | 453.86 | 74.47 | 451.81 |
| 17 | 5.55 | 453.87 | 74.49 | 451.82 |
| 18 | 2.55 | 453.88 | 74.52 | 451.83 |
| 19 | 1.12 | 453.89 | 74.54 | 451.84 |
| 20 | 0.38 | 453.90 | 74.55 | 451.85 |
| 21 | 0.12 | 453.91 | 74.57 | 451.86 |
Output generated by Babylon on Wed Feb 20 00:37:01 2002