Results of the computation for mesh3x2.il
Decription of the problem
Babylon was called with the following arguments: babylon -i -1 mesh3x2.il
- Number of variables: 0
- Number of transisitions: 54
- Data structure used: IST
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 0.23 sec.
- User Init Time: 0.21 sec.
- System Init Time: 0.02 sec.
- Total Computation Time: 810.32 sec.
- User Computation Time: 809.8 sec.
- System Computation Time: 0.52 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 1155 | 757.04 | 0.37 | 0.66 | 0.00 | 5.30 | 0.02 | 93.47
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 21 | 35.13 | 0.03 | 1.67 | 0.00 | 6.56 | 0.02 | 4.34
|
Pre | 1134 | 17.42 | 0.03 | 0.02 | 0.00 | 0.08 | 0.01 | 2.15
|
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: 391648 kB, at iteration 13
- Maximum resident size: 7380 kB, at iteration 13
- Maximum data size: 389568 kB, at iteration 13
- 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 12 (151.81 sec.)
Average length: 38.59 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 0.08 | 378.01 | 2.74 | 375.98 |
2 | 0.15 | 378.09 | 2.82 | 376.05 |
3 | 0.36 | 378.11 | 2.84 | 376.08 |
4 | 0.76 | 378.14 | 2.87 | 376.11 |
5 | 1.68 | 378.50 | 3.23 | 376.46 |
6 | 4.02 | 378.77 | 3.50 | 376.74 |
7 | 8.16 | 379.18 | 3.91 | 377.15 |
8 | 17.42 | 379.42 | 4.15 | 377.39 |
9 | 42.15 | 380.83 | 5.57 | 378.80 |
10 | 80.89 | 380.95 | 5.69 | 378.92 |
11 | 117.63 | 381.96 | 6.70 | 379.93 |
12 | 151.81 | 382.20 | 6.94 | 380.17 |
13 | 138.89 | 382.47 | 7.21 | 380.44 |
14 | 100.14 | 382.47 | 7.21 | 380.44 |
15 | 68.07 | 382.44 | 7.18 | 380.41 |
16 | 37.67 | 382.46 | 7.20 | 380.43 |
17 | 20.14 | 382.47 | 7.20 | 380.44 |
18 | 12.78 | 382.46 | 7.20 | 380.43 |
19 | 5.06 | 382.41 | 7.14 | 380.38 |
20 | 1.91 | 382.41 | 7.14 | 380.38 |
21 | 0.55 | 382.41 | 7.14 | 380.38 |
Output generated by Babylon on Wed Feb 20 21:14:54 2002