Results of the computation for mesh3x2.il
Decription of the problem
Babylon was called with the following arguments: babylon -d -3 mesh3x2.il
- Number of variables: 0
- Number of transisitions: 54
- Data structure used: DDD
- Algorithm used: Fully Symbolic Backward Search
Time consumption
- Total initialization time: 0.73 sec.
- User Init Time: 0.5 sec.
- System Init Time: 0.23 sec.
- Total Computation Time: 194.06 sec.
- User Computation Time: 193.93 sec.
- System Computation Time: 0.13 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 21 | 0.30 | 0.00 | 0.01 | 0.00 | 0.04 | 0.00 | 0.15
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 21 | 8.84 | 0.01 | 0.42 | 0.00 | 1.21 | 0.01 | 4.56
|
Pre | 21 | 184.59 | 0.12 | 8.79 | 0.01 | 24.70 | 0.03 | 95.18
|
EmptySet | 0 | 0.00 | 0.00 | nan | nan | 0.00 | 0.00 | 0.00
|
IsEmpty | 21 | 0.04 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.02
|
Memory consumption
- Maximum size: 464688 kB, at iteration 8
- Maximum resident size: 76208 kB, at iteration 21
- Maximum data size: 462588 kB, at iteration 8
- 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.91 sec.)
Average length: 9.24 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 0.29 | 453.44 | 74.10 | 451.39 |
2 | 0.10 | 453.48 | 74.13 | 451.43 |
3 | 0.55 | 453.54 | 74.16 | 451.49 |
4 | 0.96 | 453.67 | 74.24 | 451.62 |
5 | 2.14 | 453.67 | 74.27 | 451.62 |
6 | 3.62 | 453.67 | 74.27 | 451.62 |
7 | 6.12 | 453.67 | 74.28 | 451.62 |
8 | 11.32 | 453.80 | 74.31 | 451.75 |
9 | 17.13 | 453.80 | 74.32 | 451.75 |
10 | 22.44 | 453.80 | 74.33 | 451.75 |
11 | 25.91 | 453.80 | 74.34 | 451.75 |
12 | 24.58 | 453.80 | 74.35 | 451.75 |
13 | 24.10 | 453.80 | 74.36 | 451.75 |
14 | 19.20 | 453.80 | 74.36 | 451.75 |
15 | 15.06 | 453.80 | 74.37 | 451.75 |
16 | 10.87 | 453.80 | 74.38 | 451.75 |
17 | 5.52 | 453.80 | 74.38 | 451.75 |
18 | 2.55 | 453.80 | 74.40 | 451.75 |
19 | 1.11 | 453.80 | 74.41 | 451.75 |
20 | 0.35 | 453.80 | 74.41 | 451.75 |
21 | 0.10 | 453.80 | 74.42 | 451.75 |
Output generated by Babylon on Wed Feb 20 00:33:24 2002