Results of the computation for csm.il
Decription of the problem
Babylon was called with the following arguments: babylon -n -3 csm.il
- Number of variables: 0
- Number of transisitions: 13
- Data structure used: NDD
- Algorithm used: Fully Symbolic Backward Search
Time consumption
- Total initialization time: 0.99 sec.
- User Init Time: 0.99 sec.
- System Init Time: 0 sec.
- Total Computation Time: 234.9 sec.
- User Computation Time: 232.74 sec.
- System Computation Time: 2.16 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 11 | 0.82 | 0.02 | 0.07 | 0.00 | 0.14 | 0.01 | 0.36
|
Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Difference | 11 | 3.41 | 0.01 | 0.31 | 0.00 | 0.74 | 0.01 | 1.46
|
Pre | 11 | 228.50 | 2.13 | 20.77 | 0.19 | 52.92 | 0.48 | 98.18
|
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: 392524 kB, at iteration 7
- Maximum resident size: 8232 kB, at iteration 7
- Maximum data size: 390448 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 5 (54.24 sec.)
Average length: 21.35 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 1.46 | 376.79 | 1.92 | 374.77 |
2 | 4.15 | 377.57 | 2.28 | 375.54 |
3 | 12.90 | 378.76 | 3.48 | 376.73 |
4 | 33.55 | 381.57 | 6.19 | 379.54 |
5 | 54.24 | 382.86 | 7.57 | 380.83 |
6 | 44.22 | 383.20 | 7.91 | 381.17 |
7 | 36.88 | 383.32 | 8.04 | 381.30 |
8 | 20.10 | 383.08 | 7.79 | 381.05 |
9 | 16.94 | 383.07 | 7.78 | 381.04 |
10 | 5.97 | 383.02 | 7.73 | 380.99 |
11 | 4.49 | 383.01 | 7.71 | 380.98 |
Output generated by Babylon on Wed Feb 20 21:26:53 2002