43 lines
3.8 KiB
Text
43 lines
3.8 KiB
Text
|
pan: ltl formula seq_eq_parallel
|
||
|
|
Depth= 397 States= 1e+06 Transitions= 1.45e+06 Memory= 440.448 t= 2.89 R= 3e+05
|
||
|
|
Depth= 397 States= 2e+06 Transitions= 2.9e+06 Memory= 753.046 t= 6.74 R= 3e+05
|
||
|
|
Depth= 397 States= 3e+06 Transitions= 4.34e+06 Memory= 1064.765 t= 10.4 R= 3e+05
|
||
|
|
Depth= 397 States= 4e+06 Transitions= 5.79e+06 Memory= 1377.362 t= 14.8 R= 3e+05
|
||
|
|
Depth= 397 States= 5e+06 Transitions= 7.24e+06 Memory= 1689.081 t= 19.9 R= 3e+05
|
||
|
|
Depth= 397 States= 6e+06 Transitions= 8.69e+06 Memory= 2001.776 t= 26.6 R= 2e+05
|
||
|
|
Depth= 397 States= 7e+06 Transitions= 1.01e+07 Memory= 2313.495 t= 34.3 R= 2e+05
|
||
|
|
Depth= 397 States= 8e+06 Transitions= 1.16e+07 Memory= 2626.093 t= 43.9 R= 2e+05
|
||
|
|
Depth= 397 States= 9e+06 Transitions= 1.3e+07 Memory= 2937.812 t= 55.3 R= 2e+05
|
||
|
|
Depth= 397 States= 1e+07 Transitions= 1.45e+07 Memory= 3250.409 t= 69.1 R= 1e+05
|
||
|
|
Depth= 397 States= 1.1e+07 Transitions= 1.59e+07 Memory= 3562.226 t= 81.5 R= 1e+05
|
||
|
|
Depth= 397 States= 1.2e+07 Transitions= 1.74e+07 Memory= 3874.823 t= 88.8 R= 1e+05
|
||
|
|
Depth= 397 States= 1.3e+07 Transitions= 1.88e+07 Memory= 4186.542 t= 98 R= 1e+05
|
||
|
|
Depth= 397 States= 1.4e+07 Transitions= 2.03e+07 Memory= 4499.140 t= 110 R= 1e+05
|
||
|
|
Depth= 397 States= 1.5e+07 Transitions= 2.17e+07 Memory= 4810.858 t= 123 R= 1e+05
|
||
|
|
Depth= 397 States= 1.6e+07 Transitions= 2.32e+07 Memory= 5123.456 t= 136 R= 1e+05
|
||
|
|
Depth= 397 States= 1.7e+07 Transitions= 2.46e+07 Memory= 5435.272 t= 152 R= 1e+05
|
||
|
|
Depth= 397 States= 1.8e+07 Transitions= 2.61e+07 Memory= 5747.870 t= 169 R= 1e+05
|
||
|
|
Depth= 397 States= 1.9e+07 Transitions= 2.75e+07 Memory= 6059.589 t= 183 R= 1e+05
|
||
|
|
Depth= 397 States= 2e+07 Transitions= 2.9e+07 Memory= 6372.187 t= 191 R= 1e+05
|
||
|
|
Depth= 397 States= 2.1e+07 Transitions= 3.04e+07 Memory= 6683.905 t= 201 R= 1e+05
|
||
|
|
Depth= 397 States= 2.2e+07 Transitions= 3.19e+07 Memory= 6996.601 t= 210 R= 1e+05
|
||
|
|
Depth= 397 States= 2.3e+07 Transitions= 3.33e+07 Memory= 7308.319 t= 216 R= 1e+05
|
||
|
|
Depth= 397 States= 2.4e+07 Transitions= 3.47e+07 Memory= 7620.917 t= 220 R= 1e+05
|
||
|
|
Depth= 397 States= 2.5e+07 Transitions= 3.62e+07 Memory= 7932.636 t= 225 R= 1e+05
|
||
|
|
Depth= 397 States= 2.6e+07 Transitions= 3.76e+07 Memory= 8245.233 t= 228 R= 1e+05
|
||
|
|
Depth= 397 States= 2.7e+07 Transitions= 3.91e+07 Memory= 8557.050 t= 232 R= 1e+05
|
||
|
|
Depth= 397 States= 2.8e+07 Transitions= 4.05e+07 Memory= 8869.647 t= 235 R= 1e+05
|
||
|
|
Depth= 397 States= 2.9e+07 Transitions= 4.2e+07 Memory= 9181.366 t= 239 R= 1e+05
|
||
|
|
Depth= 397 States= 3e+07 Transitions= 4.34e+07 Memory= 9493.964 t= 242 R= 1e+05
|
||
|
|
Depth= 397 States= 3.1e+07 Transitions= 4.49e+07 Memory= 9805.683 t= 246 R= 1e+05
|
||
|
|
Depth= 397 States= 3.2e+07 Transitions= 4.63e+07 Memory= 10118.280 t= 249 R= 1e+05
|
||
|
|
Depth= 397 States= 3.3e+07 Transitions= 4.78e+07 Memory= 10430.097 t= 253 R= 1e+05
|
||
|
|
Depth= 397 States= 3.4e+07 Transitions= 4.92e+07 Memory= 10742.694 t= 257 R= 1e+05
|
||
|
|
pan: resizing hashtable to -w26.. done
|
||
|
|
Depth= 397 States= 3.5e+07 Transitions= 5.07e+07 Memory= 11550.495 t= 272 R= 1e+05
|
||
|
|
Depth= 397 States= 3.6e+07 Transitions= 5.21e+07 Memory= 11863.093 t= 276 R= 1e+05
|
||
|
|
Depth= 397 States= 3.7e+07 Transitions= 5.36e+07 Memory= 12174.812 t= 280 R= 1e+05
|
||
|
|
Depth= 397 States= 3.8e+07 Transitions= 5.5e+07 Memory= 12487.409 t= 285 R= 1e+05
|
||
|
|
Depth= 397 States= 3.9e+07 Transitions= 5.65e+07 Memory= 12799.128 t= 290 R= 1e+05
|
||
|
|
Depth= 397 States= 4e+07 Transitions= 5.79e+07 Memory= 13111.726 t= 296 R= 1e+05
|