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.5 R= 7e+05
|
|
Depth= 233 States= 2e+06 Transitions= 2.57e+06 Memory= 525.507 t= 3.02 R= 7e+05
|
|
Depth= 233 States= 3e+06 Transitions= 3.86e+06 Memory= 723.944 t= 4.58 R= 7e+05
|
|
Depth= 233 States= 4e+06 Transitions= 5.15e+06 Memory= 922.284 t= 6.16 R= 6e+05
|
|
Depth= 233 States= 5e+06 Transitions= 6.44e+06 Memory= 1120.722 t= 7.85 R= 6e+05
|
|
Depth= 233 States= 6e+06 Transitions= 7.72e+06 Memory= 1319.159 t= 9.77 R= 6e+05
|
|
Depth= 233 States= 7e+06 Transitions= 9.01e+06 Memory= 1517.499 t= 12.2 R= 6e+05
|
|
Depth= 233 States= 8e+06 Transitions= 1.03e+07 Memory= 1715.937 t= 14.8 R= 5e+05
|
|
Depth= 233 States= 9e+06 Transitions= 1.16e+07 Memory= 1914.374 t= 17.3 R= 5e+05
|
|
Depth= 233 States= 1e+07 Transitions= 1.29e+07 Memory= 2112.812 t= 19.9 R= 5e+05
|
|
Depth= 233 States= 1.1e+07 Transitions= 1.42e+07 Memory= 2311.151 t= 23.4 R= 5e+05
|
|
Depth= 233 States= 1.2e+07 Transitions= 1.54e+07 Memory= 2509.589 t= 27.1 R= 4e+05
|
|
Depth= 233 States= 1.3e+07 Transitions= 1.67e+07 Memory= 2708.026 t= 31.5 R= 4e+05
|
|
Depth= 233 States= 1.4e+07 Transitions= 1.8e+07 Memory= 2906.366 t= 37.5 R= 4e+05
|
|
Depth= 233 States= 1.5e+07 Transitions= 1.93e+07 Memory= 3104.804 t= 42.4 R= 4e+05
|
|
Depth= 233 States= 1.6e+07 Transitions= 2.06e+07 Memory= 3303.241 t= 45.2 R= 4e+05
|
|
Depth= 233 States= 1.7e+07 Transitions= 2.19e+07 Memory= 3501.581 t= 47.5 R= 4e+05
|
|
Depth= 233 States= 1.8e+07 Transitions= 2.32e+07 Memory= 3700.019 t= 49.5 R= 4e+05
|
|
Depth= 233 States= 1.9e+07 Transitions= 2.45e+07 Memory= 3898.456 t= 51.2 R= 4e+05
|
|
Depth= 233 States= 2e+07 Transitions= 2.57e+07 Memory= 4096.894 t= 53 R= 4e+05
|
|
Depth= 233 States= 2.1e+07 Transitions= 2.7e+07 Memory= 4295.233 t= 54.8 R= 4e+05
|
|
Depth= 233 States= 2.2e+07 Transitions= 2.83e+07 Memory= 4493.671 t= 56.6 R= 4e+05
|
|
Depth= 233 States= 2.3e+07 Transitions= 2.96e+07 Memory= 4692.108 t= 58.4 R= 4e+05
|
|
Depth= 233 States= 2.4e+07 Transitions= 3.09e+07 Memory= 4890.448 t= 60.2 R= 4e+05
|
|
Depth= 233 States= 2.5e+07 Transitions= 3.22e+07 Memory= 5088.886 t= 63.2 R= 4e+05
|
|
Depth= 233 States= 2.6e+07 Transitions= 3.35e+07 Memory= 5287.323 t= 70 R= 4e+05
|
|
Depth= 233 States= 2.7e+07 Transitions= 3.47e+07 Memory= 5485.761 t= 89.7 R= 3e+05
|
|
Depth= 233 States= 2.8e+07 Transitions= 3.6e+07 Memory= 5684.101 t= 120 R= 2e+05
|
|
Depth= 233 States= 2.9e+07 Transitions= 3.73e+07 Memory= 5882.538 t= 151 R= 2e+05
|
|
Depth= 233 States= 3e+07 Transitions= 3.86e+07 Memory= 6080.976 t= 179 R= 2e+05
|
|
Depth= 233 States= 3.1e+07 Transitions= 3.99e+07 Memory= 6279.315 t= 216 R= 1e+05
|
|
Depth= 233 States= 3.2e+07 Transitions= 4.12e+07 Memory= 6477.753 t= 262 R= 1e+05
|