34 lines
3.0 KiB
Plaintext
34 lines
3.0 KiB
Plaintext
pan: ltl formula seq_eq_parallel
|
|
Depth= 233 States= 1e+06 Transitions= 1.29e+06 Memory= 327.069 t= 1.46 R= 7e+05
|
|
Depth= 233 States= 2e+06 Transitions= 2.57e+06 Memory= 525.507 t= 2.95 R= 7e+05
|
|
Depth= 233 States= 3e+06 Transitions= 3.86e+06 Memory= 723.847 t= 4.47 R= 7e+05
|
|
Depth= 233 States= 4e+06 Transitions= 5.15e+06 Memory= 922.284 t= 6.03 R= 7e+05
|
|
Depth= 233 States= 5e+06 Transitions= 6.44e+06 Memory= 1120.722 t= 7.62 R= 7e+05
|
|
Depth= 233 States= 6e+06 Transitions= 7.72e+06 Memory= 1319.062 t= 9.47 R= 6e+05
|
|
Depth= 233 States= 7e+06 Transitions= 9.01e+06 Memory= 1517.499 t= 11.8 R= 6e+05
|
|
Depth= 233 States= 8e+06 Transitions= 1.03e+07 Memory= 1715.839 t= 14.4 R= 6e+05
|
|
Depth= 233 States= 9e+06 Transitions= 1.16e+07 Memory= 1914.276 t= 16.8 R= 5e+05
|
|
Depth= 233 States= 1e+07 Transitions= 1.29e+07 Memory= 2112.714 t= 19.3 R= 5e+05
|
|
Depth= 233 States= 1.1e+07 Transitions= 1.42e+07 Memory= 2311.054 t= 22.5 R= 5e+05
|
|
Depth= 233 States= 1.2e+07 Transitions= 1.54e+07 Memory= 2509.491 t= 26.3 R= 5e+05
|
|
Depth= 233 States= 1.3e+07 Transitions= 1.67e+07 Memory= 2707.929 t= 30.2 R= 4e+05
|
|
Depth= 233 States= 1.4e+07 Transitions= 1.8e+07 Memory= 2906.269 t= 35.8 R= 4e+05
|
|
Depth= 233 States= 1.5e+07 Transitions= 1.93e+07 Memory= 3104.706 t= 41.6 R= 4e+05
|
|
Depth= 233 States= 1.6e+07 Transitions= 2.06e+07 Memory= 3303.046 t= 44.8 R= 4e+05
|
|
Depth= 233 States= 1.7e+07 Transitions= 2.19e+07 Memory= 3501.483 t= 47 R= 4e+05
|
|
Depth= 233 States= 1.8e+07 Transitions= 2.32e+07 Memory= 3699.921 t= 49.2 R= 4e+05
|
|
Depth= 233 States= 1.9e+07 Transitions= 2.45e+07 Memory= 3898.261 t= 50.9 R= 4e+05
|
|
Depth= 233 States= 2e+07 Transitions= 2.57e+07 Memory= 4096.698 t= 52.6 R= 4e+05
|
|
Depth= 233 States= 2.1e+07 Transitions= 2.7e+07 Memory= 4295.136 t= 54.4 R= 4e+05
|
|
Depth= 233 States= 2.2e+07 Transitions= 2.83e+07 Memory= 4493.476 t= 56.1 R= 4e+05
|
|
Depth= 233 States= 2.3e+07 Transitions= 2.96e+07 Memory= 4691.913 t= 57.9 R= 4e+05
|
|
Depth= 233 States= 2.4e+07 Transitions= 3.09e+07 Memory= 4890.253 t= 59.7 R= 4e+05
|
|
Depth= 233 States= 2.5e+07 Transitions= 3.22e+07 Memory= 5088.690 t= 62.4 R= 4e+05
|
|
Depth= 233 States= 2.6e+07 Transitions= 3.35e+07 Memory= 5287.128 t= 66.7 R= 4e+05
|
|
Depth= 233 States= 2.7e+07 Transitions= 3.47e+07 Memory= 5485.468 t= 81.6 R= 3e+05
|
|
Depth= 233 States= 2.8e+07 Transitions= 3.6e+07 Memory= 5683.905 t= 111 R= 3e+05
|
|
Depth= 233 States= 2.9e+07 Transitions= 3.73e+07 Memory= 5882.245 t= 145 R= 2e+05
|
|
Depth= 233 States= 3e+07 Transitions= 3.86e+07 Memory= 6080.683 t= 171 R= 2e+05
|
|
Depth= 233 States= 3.1e+07 Transitions= 3.99e+07 Memory= 6279.120 t= 208 R= 1e+05
|
|
Depth= 233 States= 3.2e+07 Transitions= 4.12e+07 Memory= 6477.460 t= 251 R= 1e+05
|