26 lines
2.3 KiB
Text
26 lines
2.3 KiB
Text
|
pan: ltl formula seq_eq_parallel
|
||
|
|
Depth= 319 States= 1e+06 Transitions= 1.36e+06 Memory= 384.101 t= 2.36 R= 4e+05
|
||
|
|
Depth= 319 States= 2e+06 Transitions= 2.71e+06 Memory= 639.472 t= 5.1 R= 4e+05
|
||
|
|
Depth= 319 States= 3e+06 Transitions= 4.07e+06 Memory= 894.843 t= 8.45 R= 4e+05
|
||
|
|
Depth= 319 States= 4e+06 Transitions= 5.43e+06 Memory= 1150.312 t= 11.9 R= 3e+05
|
||
|
|
Depth= 319 States= 5e+06 Transitions= 6.78e+06 Memory= 1405.683 t= 16.4 R= 3e+05
|
||
|
|
Depth= 319 States= 6e+06 Transitions= 8.14e+06 Memory= 1661.054 t= 21.2 R= 3e+05
|
||
|
|
Depth= 319 States= 7e+06 Transitions= 9.5e+06 Memory= 1916.522 t= 27.7 R= 3e+05
|
||
|
|
Depth= 319 States= 8e+06 Transitions= 1.09e+07 Memory= 2171.894 t= 35.2 R= 2e+05
|
||
|
|
Depth= 319 States= 9e+06 Transitions= 1.22e+07 Memory= 2427.362 t= 43.7 R= 2e+05
|
||
|
|
Depth= 319 States= 1e+07 Transitions= 1.36e+07 Memory= 2682.733 t= 53.4 R= 2e+05
|
||
|
|
Depth= 319 States= 1.1e+07 Transitions= 1.49e+07 Memory= 2938.105 t= 62.5 R= 2e+05
|
||
|
|
Depth= 319 States= 1.2e+07 Transitions= 1.63e+07 Memory= 3193.573 t= 67.5 R= 2e+05
|
||
|
|
Depth= 319 States= 1.3e+07 Transitions= 1.76e+07 Memory= 3448.944 t= 74.5 R= 2e+05
|
||
|
|
Depth= 319 States= 1.4e+07 Transitions= 1.9e+07 Memory= 3704.315 t= 83.5 R= 2e+05
|
||
|
|
Depth= 319 States= 1.5e+07 Transitions= 2.03e+07 Memory= 3959.784 t= 96.2 R= 2e+05
|
||
|
|
Depth= 319 States= 1.6e+07 Transitions= 2.17e+07 Memory= 4215.155 t= 107 R= 1e+05
|
||
|
|
Depth= 319 States= 1.7e+07 Transitions= 2.31e+07 Memory= 4470.526 t= 115 R= 1e+05
|
||
|
|
Depth= 319 States= 1.8e+07 Transitions= 2.44e+07 Memory= 4725.995 t= 127 R= 1e+05
|
||
|
|
Depth= 319 States= 1.9e+07 Transitions= 2.58e+07 Memory= 4981.366 t= 138 R= 1e+05
|
||
|
|
Depth= 319 States= 2e+07 Transitions= 2.71e+07 Memory= 5236.737 t= 158 R= 1e+05
|
||
|
|
Depth= 319 States= 2.1e+07 Transitions= 2.85e+07 Memory= 5492.206 t= 185 R= 1e+05
|
||
|
|
Depth= 319 States= 2.2e+07 Transitions= 2.98e+07 Memory= 5747.577 t= 213 R= 1e+05
|
||
|
|
Depth= 319 States= 2.3e+07 Transitions= 3.12e+07 Memory= 6003.046 t= 245 R= 9e+04
|
||
|
|
Depth= 319 States= 2.4e+07 Transitions= 3.26e+07 Memory= 6258.417 t= 279 R= 9e+04
|