Results of the computation for peterson.il
Decription of the problem
Babylon was called with the following arguments: babylon -n -1 peterson.il
- Number of variables: 0
- Number of transisitions: 12
- Data structure used: NDD
- Algorithm used: Plain Backward Search
Time consumption
- Total initialization time: 1.02 sec.
- User Init Time: 1 sec.
- System Init Time: 0.02 sec.
- Total Computation Time: 2245.5 sec.
- User Computation Time: 2235.24 sec.
- System Computation Time: 10.26 sec.
Operations
| Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
|---|
| Union | 117 | 144.06 | 0.99 | 1.23 | 0.01 | 6.70 | 0.10 | 6.46
|
| Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| Difference | 9 | 19.59 | 0.24 | 2.18 | 0.03 | 5.76 | 0.09 | 0.88
|
| Pre | 108 | 2070.58 | 9.02 | 19.17 | 0.08 | 245.16 | 0.60 | 92.61
|
| EmptySet | 9 | 0.90 | 0.00 | 0.10 | 0.00 | 0.30 | 0.00 | 0.04
|
| IsEmpty | 9 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Memory consumption
- Maximum size: 406628 kB, at iteration 7
- Maximum resident size: 22312 kB, at iteration 7
- Maximum data size: 404552 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 9 iterations.
The longest iteration was number 4 (929.68 sec.)
Average length: 249.50 sec.
| Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
|---|
| 1 | 6.08 | 378.46 | 3.12 | 376.44 |
| 2 | 22.33 | 380.97 | 5.67 | 378.94 |
| 3 | 308.46 | 387.96 | 12.61 | 385.94 |
| 4 | 929.68 | 396.81 | 21.51 | 394.78 |
| 5 | 619.60 | 396.79 | 21.48 | 394.76 |
| 6 | 236.95 | 397.02 | 21.70 | 395.00 |
| 7 | 76.08 | 397.10 | 21.79 | 395.07 |
| 8 | 27.92 | 396.46 | 21.17 | 394.44 |
| 9 | 18.39 | 396.37 | 21.05 | 394.34 |
Output generated by Babylon on Wed Feb 20 01:21:48 2002