36 lines
3.2 KiB
Plaintext
36 lines
3.2 KiB
Plaintext
pan: ltl formula seq_eq_parallel
|
|
Depth= 281 States= 1e+06 Transitions= 1.14e+06 Memory= 343.573 t= 1.36 R= 7e+05
|
|
Depth= 281 States= 2e+06 Transitions= 2.28e+06 Memory= 558.515 t= 2.72 R= 7e+05
|
|
Depth= 281 States= 3e+06 Transitions= 3.42e+06 Memory= 773.358 t= 4.12 R= 7e+05
|
|
Depth= 281 States= 4e+06 Transitions= 4.56e+06 Memory= 988.300 t= 5.87 R= 7e+05
|
|
Depth= 281 States= 5e+06 Transitions= 5.7e+06 Memory= 1203.144 t= 7.72 R= 6e+05
|
|
Depth= 281 States= 6e+06 Transitions= 6.84e+06 Memory= 1418.085 t= 9.72 R= 6e+05
|
|
Depth= 281 States= 7e+06 Transitions= 7.98e+06 Memory= 1632.929 t= 11.8 R= 6e+05
|
|
Depth= 281 States= 8e+06 Transitions= 9.12e+06 Memory= 1847.870 t= 13.8 R= 6e+05
|
|
Depth= 281 States= 9e+06 Transitions= 1.03e+07 Memory= 2062.714 t= 15.9 R= 6e+05
|
|
Depth= 281 States= 1e+07 Transitions= 1.14e+07 Memory= 2277.655 t= 18.1 R= 6e+05
|
|
Depth= 281 States= 1.1e+07 Transitions= 1.25e+07 Memory= 2492.597 t= 20.8 R= 5e+05
|
|
Depth= 281 States= 1.2e+07 Transitions= 1.37e+07 Memory= 2707.440 t= 23.6 R= 5e+05
|
|
Depth= 281 States= 1.3e+07 Transitions= 1.48e+07 Memory= 2922.382 t= 27.1 R= 5e+05
|
|
Depth= 281 States= 1.4e+07 Transitions= 1.6e+07 Memory= 3137.226 t= 30.8 R= 5e+05
|
|
Depth= 281 States= 1.5e+07 Transitions= 1.71e+07 Memory= 3352.167 t= 33.5 R= 4e+05
|
|
Depth= 281 States= 1.6e+07 Transitions= 1.82e+07 Memory= 3567.011 t= 35.7 R= 4e+05
|
|
Depth= 281 States= 1.7e+07 Transitions= 1.94e+07 Memory= 3781.952 t= 37.5 R= 5e+05
|
|
Depth= 281 States= 1.8e+07 Transitions= 2.05e+07 Memory= 3996.796 t= 39.3 R= 5e+05
|
|
Depth= 281 States= 1.9e+07 Transitions= 2.17e+07 Memory= 4211.737 t= 41.4 R= 5e+05
|
|
Depth= 281 States= 2e+07 Transitions= 2.28e+07 Memory= 4426.581 t= 43.7 R= 5e+05
|
|
Depth= 281 States= 2.1e+07 Transitions= 2.39e+07 Memory= 4641.522 t= 45.4 R= 5e+05
|
|
Depth= 281 States= 2.2e+07 Transitions= 2.51e+07 Memory= 4856.464 t= 47.1 R= 5e+05
|
|
Depth= 281 States= 2.3e+07 Transitions= 2.62e+07 Memory= 5071.308 t= 48.7 R= 5e+05
|
|
Depth= 281 States= 2.4e+07 Transitions= 2.74e+07 Memory= 5286.249 t= 50.4 R= 5e+05
|
|
Depth= 281 States= 2.5e+07 Transitions= 2.85e+07 Memory= 5501.093 t= 52.1 R= 5e+05
|
|
Depth= 281 States= 2.6e+07 Transitions= 2.96e+07 Memory= 5716.034 t= 53.7 R= 5e+05
|
|
Depth= 281 States= 2.7e+07 Transitions= 3.08e+07 Memory= 5930.878 t= 55.4 R= 5e+05
|
|
Depth= 281 States= 2.8e+07 Transitions= 3.19e+07 Memory= 6145.819 t= 57.5 R= 5e+05
|
|
Depth= 281 States= 2.9e+07 Transitions= 3.31e+07 Memory= 6360.663 t= 59.8 R= 5e+05
|
|
Depth= 281 States= 3e+07 Transitions= 3.42e+07 Memory= 6575.605 t= 64.5 R= 5e+05
|
|
Depth= 281 States= 3.1e+07 Transitions= 3.53e+07 Memory= 6790.546 t= 77.7 R= 4e+05
|
|
Depth= 281 States= 3.2e+07 Transitions= 3.65e+07 Memory= 7005.390 t= 105 R= 3e+05
|
|
Depth= 281 States= 3.3e+07 Transitions= 3.76e+07 Memory= 7220.331 t= 136 R= 2e+05
|
|
Depth= 281 States= 3.4e+07 Transitions= 3.88e+07 Memory= 7435.175 t= 166 R= 2e+05
|