Results of the computation for mesh3x2.il
Decription of the problem
Babylon was called with the following arguments: babylon -i -3 mesh3x2.il
- Number of variables: 0
- Number of transisitions: 54
- Data structure used: IST
- Algorithm used: Fully Symbolic Backward Search
Time consumption
- Total initialization time: 0.23 sec.
- User Init Time: 0.23 sec.
- System Init Time: 0 sec.
- Total Computation Time: 483.17 sec.
- User Computation Time: 482.76 sec.
- System Computation Time: 0.41 sec.
Operations
| Operation name | Amount | Total Utime | Total Stime | Avg Utime | Avg Stime | Max Utime | Max Stime | Percentange |
|---|
| Union | 21 | 1.00 | 0.00 | 0.05 | 0.00 | 0.12 | 0.00 | 0.21
|
| Intersection | 1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
| Difference | 21 | 33.61 | 0.04 | 1.60 | 0.00 | 6.45 | 0.01 | 6.96
|
| Pre | 21 | 448.11 | 0.37 | 21.34 | 0.02 | 84.90 | 0.06 | 92.82
|
| EmptySet | 0 | 0.00 | 0.00 | nan | nan | 0.00 | 0.00 | 0.00
|
| IsEmpty | 21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00
|
Memory consumption
- Maximum size: 442360 kB, at iteration 21
- Maximum resident size: 58096 kB, at iteration 21
- Maximum data size: 440280 kB, at iteration 21
- Maximum stack size: 2053 kB, at iteration 6
- Maximum executable size: 1983 kB, at iteration 16
- Maximum library size: 1887 kB, at iteration 20
Iterations
Computation in 21 iterations.
The longest iteration was number 12 (91.46 sec.)
Average length: 23.01 sec.
| Iteration number | Length (sec.) | Maximum total size (MB) | Max. resident size (MB) | Max. data size (MB) |
|---|
| 1 | 0.05 | 378.04 | 2.77 | 376.00 |
| 2 | 0.10 | 378.48 | 3.22 | 376.45 |
| 3 | 0.24 | 378.86 | 3.59 | 376.82 |
| 4 | 0.50 | 380.05 | 4.79 | 378.02 |
| 5 | 1.18 | 381.28 | 6.02 | 379.25 |
| 6 | 3.02 | 383.34 | 8.08 | 381.31 |
| 7 | 5.42 | 385.90 | 10.64 | 383.87 |
| 8 | 11.32 | 389.03 | 13.77 | 387.00 |
| 9 | 25.40 | 393.09 | 17.83 | 391.05 |
| 10 | 45.85 | 398.32 | 23.06 | 396.29 |
| 11 | 69.06 | 404.49 | 29.23 | 402.46 |
| 12 | 91.46 | 410.47 | 35.21 | 408.44 |
| 13 | 86.33 | 415.91 | 40.66 | 413.88 |
| 14 | 59.52 | 420.09 | 44.84 | 418.06 |
| 15 | 39.85 | 423.39 | 48.13 | 421.36 |
| 16 | 21.94 | 425.96 | 50.70 | 423.93 |
| 17 | 11.13 | 427.61 | 52.36 | 425.58 |
| 18 | 6.65 | 430.04 | 54.78 | 428.01 |
| 19 | 2.78 | 430.79 | 55.53 | 428.75 |
| 20 | 1.08 | 431.62 | 56.36 | 429.59 |
| 21 | 0.29 | 431.99 | 56.73 | 429.96 |
Output generated by Babylon on Wed Feb 20 21:22:57 2002