Results of the computation for csm.il
Decription of the problem
Babylon was called with the following arguments: babylon -i -1 csm.il
- Number of variables: 0
- Number of transisitions: 13
- Data structure used: IST
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 0.02 sec.
- User Init Time: 0.02 sec.
- System Init Time: 0 sec.
- Total Computation Time: 0.52 sec.
- User Computation Time: 0.51 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 | 154 | 0.36 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 69.23
|
| Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| Difference | 11 | 0.03 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 5.77
|
| Pre | 143 | 0.11 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 21.15
|
| EmptySet | 11 | 0.00 | 0.00 | 0.00 | 0.00 | 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: 386544 kB, at iteration 7
- Maximum resident size: 2228 kB, at iteration 7
- Maximum data size: 384468 kB, at iteration 7
- 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 7 (0.10 sec.)
Average length: 0.05 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.10 |
| 2 | 0.01 | 377.16 | 1.86 | 375.14 |
| 3 | 0.02 | 377.28 | 1.97 | 375.25 |
| 4 | 0.05 | 377.46 | 2.15 | 375.43 |
| 5 | 0.08 | 377.46 | 2.16 | 375.44 |
| 6 | 0.09 | 377.47 | 2.16 | 375.44 |
| 7 | 0.10 | 377.48 | 2.18 | 375.46 |
| 8 | 0.07 | 377.48 | 2.18 | 375.46 |
| 9 | 0.05 | 377.48 | 2.18 | 375.46 |
| 10 | 0.03 | 377.48 | 2.18 | 375.46 |
| 11 | 0.02 | 377.48 | 2.18 | 375.46 |
Output generated by Babylon on Wed Feb 20 00:29:14 2002