36 lines
3.2 KiB
Plaintext
36 lines
3.2 KiB
Plaintext
pan: ltl formula seq_eq_parallel
|
|
Depth= 201 States= 1e+06 Transitions= 1.12e+06 Memory= 295.429 t= 1.12 R= 9e+05
|
|
Depth= 201 States= 2e+06 Transitions= 2.24e+06 Memory= 462.128 t= 2.31 R= 9e+05
|
|
Depth= 201 States= 3e+06 Transitions= 3.36e+06 Memory= 628.925 t= 3.42 R= 9e+05
|
|
Depth= 201 States= 4e+06 Transitions= 4.48e+06 Memory= 795.624 t= 4.54 R= 9e+05
|
|
Depth= 201 States= 5e+06 Transitions= 5.6e+06 Memory= 962.323 t= 5.66 R= 9e+05
|
|
Depth= 201 States= 6e+06 Transitions= 6.72e+06 Memory= 1129.022 t= 6.77 R= 9e+05
|
|
Depth= 201 States= 7e+06 Transitions= 7.84e+06 Memory= 1295.819 t= 7.91 R= 9e+05
|
|
Depth= 201 States= 8e+06 Transitions= 8.96e+06 Memory= 1462.519 t= 9.07 R= 9e+05
|
|
Depth= 201 States= 9e+06 Transitions= 1.01e+07 Memory= 1629.315 t= 10.3 R= 9e+05
|
|
Depth= 201 States= 1e+07 Transitions= 1.12e+07 Memory= 1796.015 t= 11.5 R= 9e+05
|
|
Depth= 201 States= 1.1e+07 Transitions= 1.23e+07 Memory= 1962.714 t= 12.8 R= 9e+05
|
|
Depth= 201 States= 1.2e+07 Transitions= 1.34e+07 Memory= 2129.511 t= 14.2 R= 8e+05
|
|
Depth= 201 States= 1.3e+07 Transitions= 1.46e+07 Memory= 2296.210 t= 15.4 R= 8e+05
|
|
Depth= 201 States= 1.4e+07 Transitions= 1.57e+07 Memory= 2462.909 t= 16.8 R= 8e+05
|
|
Depth= 201 States= 1.5e+07 Transitions= 1.68e+07 Memory= 2629.706 t= 18 R= 8e+05
|
|
Depth= 201 States= 1.6e+07 Transitions= 1.79e+07 Memory= 2796.405 t= 19.2 R= 8e+05
|
|
Depth= 201 States= 1.7e+07 Transitions= 1.9e+07 Memory= 2963.105 t= 20.5 R= 8e+05
|
|
Depth= 201 States= 1.8e+07 Transitions= 2.02e+07 Memory= 3129.901 t= 21.9 R= 8e+05
|
|
Depth= 201 States= 1.9e+07 Transitions= 2.13e+07 Memory= 3296.601 t= 23.4 R= 8e+05
|
|
Depth= 201 States= 2e+07 Transitions= 2.24e+07 Memory= 3463.300 t= 25 R= 8e+05
|
|
Depth= 201 States= 2.1e+07 Transitions= 2.35e+07 Memory= 3630.097 t= 26.5 R= 8e+05
|
|
Depth= 201 States= 2.2e+07 Transitions= 2.46e+07 Memory= 3796.796 t= 27.9 R= 8e+05
|
|
Depth= 201 States= 2.3e+07 Transitions= 2.58e+07 Memory= 3963.495 t= 29.2 R= 8e+05
|
|
Depth= 201 States= 2.4e+07 Transitions= 2.69e+07 Memory= 4130.292 t= 30.6 R= 8e+05
|
|
Depth= 201 States= 2.5e+07 Transitions= 2.8e+07 Memory= 4296.991 t= 32 R= 8e+05
|
|
Depth= 201 States= 2.6e+07 Transitions= 2.91e+07 Memory= 4463.690 t= 33.4 R= 8e+05
|
|
Depth= 201 States= 2.7e+07 Transitions= 3.03e+07 Memory= 4630.487 t= 34.8 R= 8e+05
|
|
Depth= 201 States= 2.8e+07 Transitions= 3.14e+07 Memory= 4797.187 t= 36.1 R= 8e+05
|
|
Depth= 201 States= 2.9e+07 Transitions= 3.25e+07 Memory= 4963.886 t= 37.5 R= 8e+05
|
|
Depth= 201 States= 3e+07 Transitions= 3.36e+07 Memory= 5130.683 t= 39 R= 8e+05
|
|
Depth= 201 States= 3.1e+07 Transitions= 3.47e+07 Memory= 5297.382 t= 40.7 R= 8e+05
|
|
Depth= 201 States= 3.2e+07 Transitions= 3.59e+07 Memory= 5464.081 t= 42.6 R= 8e+05
|
|
Depth= 201 States= 3.3e+07 Transitions= 3.7e+07 Memory= 5630.878 t= 46.6 R= 7e+05
|
|
Depth= 201 States= 3.4e+07 Transitions= 3.81e+07 Memory= 5797.577 t= 49.8 R= 7e+05
|