Results of the computation for peterson.il
Decription of the problem
Babylon was called with the following arguments: babylon -d -3 peterson.il
- Number of variables: 0
- Number of transisitions: 12
- Data structure used: DDD
- Algorithm used: Fully Symbolic Backward Search
Time consumption
- Total initialization time: 0.42 sec.
- User Init Time: 0.18 sec.
- System Init Time: 0.24 sec.
- Total Computation Time: 0.35 sec.
- User Computation Time: 0.35 sec.
- System Computation Time: 0 sec.
Operations
| Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
|---|
| Union | 9 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| Difference | 9 | 0.01 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 2.86
|
| Pre | 9 | 0.31 | 0.00 | 0.03 | 0.00 | 0.06 | 0.00 | 88.57
|
| EmptySet | 0 | 0.00 | 0.00 | nan | nan | 0.00 | 0.00 | 0.00
|
| IsEmpty | 9 | 0.02 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 5.71
|
Memory consumption
- Maximum size: 463904 kB, at iteration 3
- Maximum resident size: 75424 kB, at iteration 8
- Maximum data size: 461824 kB, at iteration 3
- 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 (0.06 sec.)
Average length: 0.04 sec.
| Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
|---|
| 1 | 0.01 | 452.80 | 73.46 | 450.77 |
| 2 | 0.02 | 452.90 | 73.51 | 450.87 |
| 3 | 0.04 | 453.03 | 73.60 | 451.00 |
| 4 | 0.06 | 453.03 | 73.62 | 451.00 |
| 5 | 0.06 | 453.03 | 73.62 | 451.00 |
| 6 | 0.05 | 453.03 | 73.62 | 451.00 |
| 7 | 0.03 | 453.03 | 73.64 | 451.00 |
| 8 | 0.04 | 453.03 | 73.66 | 451.00 |
| 9 | 0.02 | 453.03 | 73.66 | 451.00 |
Output generated by Babylon on Wed Feb 20 00:29:13 2002