Results of the computation for csm.il
Decription of the problem
Babylon was called with the following arguments: babylon -i -3 csm.il
- Number of variables: 0
- Number of transisitions: 13
- Data structure used: IST
- Algorithm used: Fully Symbolic Backward Search
Time consumption
- Total initialization time: 0.02 sec.
- User Init Time: 0.01 sec.
- System Init Time: 0.01 sec.
- Total Computation Time: 0.37 sec.
- User Computation Time: 0.36 sec.
- System Computation Time: 0.01 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 11 | 0.01 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 2.70
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 11 | 0.05 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 13.51
|
Pre | 11 | 0.30 | 0.01 | 0.03 | 0.00 | 0.06 | 0.01 | 83.78
|
EmptySet | 0 | 0.00 | 0.00 | nan | nan | 0.00 | 0.00 | 0.00
|
IsEmpty | 11 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Memory consumption
- Maximum size: 386848 kB, at iteration 6
- Maximum resident size: 2540 kB, at iteration 6
- Maximum data size: 384772 kB, at iteration 6
- Maximum stack size: 2053 kB, at iteration 6
- Maximum executable size: 1818 kB, at iteration 7
- Maximum library size: 1886 kB, at iteration 5
Iterations
Computation in 11 iterations.
The longest iteration was number 6 (0.07 sec.)
Average length: 0.03 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 0.00 | 377.12 | 1.92 | 375.09 |
2 | 0.01 | 377.16 | 1.85 | 375.13 |
3 | 0.01 | 377.27 | 1.96 | 375.24 |
4 | 0.04 | 377.27 | 1.97 | 375.25 |
5 | 0.06 | 377.49 | 2.19 | 375.46 |
6 | 0.07 | 377.78 | 2.48 | 375.75 |
7 | 0.07 | 377.78 | 2.48 | 375.75 |
8 | 0.05 | 377.78 | 2.48 | 375.75 |
9 | 0.04 | 377.78 | 2.48 | 375.75 |
10 | 0.01 | 377.78 | 2.48 | 375.75 |
11 | 0.01 | 377.78 | 2.48 | 375.75 |
Output generated by Babylon on Wed Feb 20 00:29:14 2002