36 lines
3.2 KiB
Plaintext
36 lines
3.2 KiB
Plaintext
pan: ltl formula seq_eq_parallel
|
|
Depth= 261 States= 1e+06 Transitions= 1.14e+06 Memory= 334.003 t= 1.36 R= 7e+05
|
|
Depth= 261 States= 2e+06 Transitions= 2.27e+06 Memory= 539.374 t= 2.74 R= 7e+05
|
|
Depth= 261 States= 3e+06 Transitions= 3.41e+06 Memory= 744.745 t= 4.16 R= 7e+05
|
|
Depth= 261 States= 4e+06 Transitions= 4.55e+06 Memory= 950.214 t= 5.54 R= 7e+05
|
|
Depth= 261 States= 5e+06 Transitions= 5.68e+06 Memory= 1155.585 t= 6.99 R= 7e+05
|
|
Depth= 261 States= 6e+06 Transitions= 6.82e+06 Memory= 1360.956 t= 8.45 R= 7e+05
|
|
Depth= 261 States= 7e+06 Transitions= 7.95e+06 Memory= 1566.327 t= 9.95 R= 7e+05
|
|
Depth= 261 States= 8e+06 Transitions= 9.09e+06 Memory= 1771.698 t= 11.9 R= 7e+05
|
|
Depth= 261 States= 9e+06 Transitions= 1.02e+07 Memory= 1977.069 t= 14.2 R= 6e+05
|
|
Depth= 261 States= 1e+07 Transitions= 1.14e+07 Memory= 2182.440 t= 17.7 R= 6e+05
|
|
Depth= 261 States= 1.1e+07 Transitions= 1.25e+07 Memory= 2387.812 t= 20 R= 5e+05
|
|
Depth= 261 States= 1.2e+07 Transitions= 1.36e+07 Memory= 2593.183 t= 22.2 R= 5e+05
|
|
Depth= 261 States= 1.3e+07 Transitions= 1.48e+07 Memory= 2798.554 t= 24.6 R= 5e+05
|
|
Depth= 261 States= 1.4e+07 Transitions= 1.59e+07 Memory= 3003.925 t= 27.1 R= 5e+05
|
|
Depth= 261 States= 1.5e+07 Transitions= 1.7e+07 Memory= 3209.296 t= 29.7 R= 5e+05
|
|
Depth= 261 States= 1.6e+07 Transitions= 1.82e+07 Memory= 3414.667 t= 32.2 R= 5e+05
|
|
Depth= 261 States= 1.7e+07 Transitions= 1.93e+07 Memory= 3620.038 t= 34.8 R= 5e+05
|
|
Depth= 261 States= 1.8e+07 Transitions= 2.05e+07 Memory= 3825.409 t= 37.9 R= 5e+05
|
|
Depth= 261 States= 1.9e+07 Transitions= 2.16e+07 Memory= 4030.780 t= 41.3 R= 5e+05
|
|
Depth= 261 States= 2e+07 Transitions= 2.27e+07 Memory= 4236.151 t= 44.7 R= 4e+05
|
|
Depth= 261 States= 2.1e+07 Transitions= 2.39e+07 Memory= 4441.522 t= 49 R= 4e+05
|
|
Depth= 261 States= 2.2e+07 Transitions= 2.5e+07 Memory= 4646.894 t= 53.6 R= 4e+05
|
|
Depth= 261 States= 2.3e+07 Transitions= 2.61e+07 Memory= 4852.265 t= 58.6 R= 4e+05
|
|
Depth= 261 States= 2.4e+07 Transitions= 2.73e+07 Memory= 5057.636 t= 64.8 R= 4e+05
|
|
Depth= 261 States= 2.5e+07 Transitions= 2.84e+07 Memory= 5263.007 t= 71.9 R= 3e+05
|
|
Depth= 261 States= 2.6e+07 Transitions= 2.95e+07 Memory= 5468.378 t= 81 R= 3e+05
|
|
Depth= 261 States= 2.7e+07 Transitions= 3.07e+07 Memory= 5673.749 t= 92.4 R= 3e+05
|
|
Depth= 261 States= 2.8e+07 Transitions= 3.18e+07 Memory= 5879.120 t= 105 R= 3e+05
|
|
Depth= 261 States= 2.9e+07 Transitions= 3.3e+07 Memory= 6084.491 t= 119 R= 2e+05
|
|
Depth= 261 States= 3e+07 Transitions= 3.41e+07 Memory= 6289.862 t= 136 R= 2e+05
|
|
Depth= 261 States= 3.1e+07 Transitions= 3.52e+07 Memory= 6495.233 t= 153 R= 2e+05
|
|
Depth= 261 States= 3.2e+07 Transitions= 3.64e+07 Memory= 6700.605 t= 173 R= 2e+05
|
|
Depth= 261 States= 3.3e+07 Transitions= 3.75e+07 Memory= 6905.976 t= 196 R= 2e+05
|
|
Depth= 261 States= 3.4e+07 Transitions= 3.86e+07 Memory= 7111.347 t= 223 R= 2e+05
|