27 lines
2.4 KiB
Text
27 lines
2.4 KiB
Text
|
pan: ltl formula seq_eq_parallel
|
||
|
|
Depth= 319 States= 1e+06 Transitions= 1.36e+06 Memory= 384.101 t= 2.02 R= 5e+05
|
||
|
|
Depth= 319 States= 2e+06 Transitions= 2.71e+06 Memory= 639.569 t= 4.1 R= 5e+05
|
||
|
|
Depth= 319 States= 3e+06 Transitions= 4.07e+06 Memory= 894.940 t= 6.71 R= 4e+05
|
||
|
|
Depth= 319 States= 4e+06 Transitions= 5.43e+06 Memory= 1150.409 t= 9.56 R= 4e+05
|
||
|
|
Depth= 319 States= 5e+06 Transitions= 6.78e+06 Memory= 1405.878 t= 12.6 R= 4e+05
|
||
|
|
Depth= 319 States= 6e+06 Transitions= 8.14e+06 Memory= 1661.249 t= 15.7 R= 4e+05
|
||
|
|
Depth= 319 States= 7e+06 Transitions= 9.5e+06 Memory= 1916.718 t= 19.2 R= 4e+05
|
||
|
|
Depth= 319 States= 8e+06 Transitions= 1.09e+07 Memory= 2172.187 t= 23.2 R= 3e+05
|
||
|
|
Depth= 319 States= 9e+06 Transitions= 1.22e+07 Memory= 2427.558 t= 27.6 R= 3e+05
|
||
|
|
Depth= 319 States= 1e+07 Transitions= 1.36e+07 Memory= 2683.026 t= 32.8 R= 3e+05
|
||
|
|
Depth= 319 States= 1.1e+07 Transitions= 1.49e+07 Memory= 2938.397 t= 39.3 R= 3e+05
|
||
|
|
Depth= 319 States= 1.2e+07 Transitions= 1.63e+07 Memory= 3193.866 t= 46.6 R= 3e+05
|
||
|
|
Depth= 319 States= 1.3e+07 Transitions= 1.76e+07 Memory= 3449.335 t= 55 R= 2e+05
|
||
|
|
Depth= 319 States= 1.4e+07 Transitions= 1.9e+07 Memory= 3704.706 t= 65 R= 2e+05
|
||
|
|
Depth= 319 States= 1.5e+07 Transitions= 2.04e+07 Memory= 3960.175 t= 76.6 R= 2e+05
|
||
|
|
Depth= 319 States= 1.6e+07 Transitions= 2.17e+07 Memory= 4215.644 t= 90.5 R= 2e+05
|
||
|
|
Depth= 319 States= 1.7e+07 Transitions= 2.31e+07 Memory= 4471.015 t= 107 R= 2e+05
|
||
|
|
Depth= 319 States= 1.8e+07 Transitions= 2.44e+07 Memory= 4726.483 t= 124 R= 1e+05
|
||
|
|
Depth= 319 States= 1.9e+07 Transitions= 2.58e+07 Memory= 4981.855 t= 145 R= 1e+05
|
||
|
|
Depth= 319 States= 2e+07 Transitions= 2.71e+07 Memory= 5237.323 t= 169 R= 1e+05
|
||
|
|
Depth= 319 States= 2.1e+07 Transitions= 2.85e+07 Memory= 5492.792 t= 187 R= 1e+05
|
||
|
|
Depth= 319 States= 2.2e+07 Transitions= 2.98e+07 Memory= 5748.163 t= 210 R= 1e+05
|
||
|
|
Depth= 319 States= 2.3e+07 Transitions= 3.12e+07 Memory= 6003.632 t= 236 R= 1e+05
|
||
|
|
Depth= 319 States= 2.4e+07 Transitions= 3.26e+07 Memory= 6259.101 t= 257 R= 9e+04
|
||
|
|
Depth= 319 States= 2.5e+07 Transitions= 3.39e+07 Memory= 6514.472 t= 285 R= 9e+04
|