Results of the computation for peterson.il
Decription of the problem
Babylon was called with the following arguments: babylon -n -3 peterson.il
- Number of variables: 0
- Number of transisitions: 12
- 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: 2218.11 sec.
- User Computation Time: 2207.36 sec.
- System Computation Time: 10.75 sec.
Operations
Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
---|
Union | 9 | 4.19 | 0.00 | 0.47 | 0.00 | 1.16 | 0.00 | 0.19
|
Intersection | 1 | 0.01 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00
|
Difference | 9 | 20.95 | 0.23 | 2.33 | 0.03 | 6.20 | 0.09 | 0.95
|
Pre | 9 | 2182.21 | 10.51 | 242.47 | 1.17 | 911.78 | 3.30 | 98.86
|
EmptySet | 0 | 0.00 | 0.00 | nan | nan | 0.00 | 0.00 | 0.00
|
IsEmpty | 9 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00
|
Memory consumption
- Maximum size: 406428 kB, at iteration 5
- Maximum resident size: 22128 kB, at iteration 5
- Maximum data size: 404352 kB, at iteration 5
- 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 (922.00 sec.)
Average length: 246.45 sec.
Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
---|
1 | 5.92 | 378.36 | 3.07 | 376.33 |
2 | 22.07 | 380.78 | 5.48 | 378.75 |
3 | 305.08 | 387.86 | 12.57 | 385.84 |
4 | 922.00 | 396.76 | 21.47 | 394.73 |
5 | 615.82 | 396.90 | 21.61 | 394.88 |
6 | 228.76 | 396.48 | 21.18 | 394.45 |
7 | 73.12 | 396.35 | 21.06 | 394.32 |
8 | 27.34 | 396.34 | 21.04 | 394.32 |
9 | 17.98 | 396.28 | 20.94 | 394.25 |
Output generated by Babylon on Wed Feb 20 01:59:52 2002