30 lines
2.6 KiB
Plaintext
30 lines
2.6 KiB
Plaintext
pan: ltl formula seq_eq_parallel
|
|
Depth= 273 States= 1e+06 Transitions= 1.3e+06 Memory= 352.362 t= 2.02 R= 5e+05
|
|
Depth= 273 States= 2e+06 Transitions= 2.6e+06 Memory= 576.093 t= 4.15 R= 5e+05
|
|
Depth= 273 States= 3e+06 Transitions= 3.9e+06 Memory= 799.823 t= 6.56 R= 5e+05
|
|
Depth= 273 States= 4e+06 Transitions= 5.2e+06 Memory= 1023.554 t= 9.29 R= 4e+05
|
|
Depth= 273 States= 5e+06 Transitions= 6.49e+06 Memory= 1247.284 t= 12 R= 4e+05
|
|
Depth= 273 States= 6e+06 Transitions= 7.79e+06 Memory= 1471.015 t= 14.9 R= 4e+05
|
|
Depth= 273 States= 7e+06 Transitions= 9.09e+06 Memory= 1694.745 t= 18.1 R= 4e+05
|
|
Depth= 273 States= 8e+06 Transitions= 1.04e+07 Memory= 1918.476 t= 21.7 R= 4e+05
|
|
Depth= 273 States= 9e+06 Transitions= 1.17e+07 Memory= 2142.206 t= 25.8 R= 3e+05
|
|
Depth= 273 States= 1e+07 Transitions= 1.3e+07 Memory= 2365.937 t= 30.8 R= 3e+05
|
|
Depth= 273 States= 1.1e+07 Transitions= 1.43e+07 Memory= 2589.667 t= 37 R= 3e+05
|
|
Depth= 273 States= 1.2e+07 Transitions= 1.56e+07 Memory= 2813.397 t= 44.4 R= 3e+05
|
|
Depth= 273 States= 1.3e+07 Transitions= 1.69e+07 Memory= 3037.128 t= 48.5 R= 3e+05
|
|
Depth= 273 States= 1.4e+07 Transitions= 1.82e+07 Memory= 3260.858 t= 51.6 R= 3e+05
|
|
Depth= 273 States= 1.5e+07 Transitions= 1.95e+07 Memory= 3484.491 t= 55.5 R= 3e+05
|
|
Depth= 273 States= 1.6e+07 Transitions= 2.08e+07 Memory= 3708.222 t= 60.7 R= 3e+05
|
|
Depth= 273 States= 1.7e+07 Transitions= 2.21e+07 Memory= 3931.952 t= 67.6 R= 3e+05
|
|
Depth= 273 States= 1.8e+07 Transitions= 2.34e+07 Memory= 4155.683 t= 77.1 R= 2e+05
|
|
Depth= 273 States= 1.9e+07 Transitions= 2.47e+07 Memory= 4379.413 t= 89.9 R= 2e+05
|
|
Depth= 273 States= 2e+07 Transitions= 2.6e+07 Memory= 4603.144 t= 105 R= 2e+05
|
|
Depth= 273 States= 2.1e+07 Transitions= 2.73e+07 Memory= 4826.874 t= 123 R= 2e+05
|
|
Depth= 273 States= 2.2e+07 Transitions= 2.86e+07 Memory= 5050.605 t= 142 R= 2e+05
|
|
Depth= 273 States= 2.3e+07 Transitions= 2.99e+07 Memory= 5274.335 t= 154 R= 1e+05
|
|
Depth= 273 States= 2.4e+07 Transitions= 3.12e+07 Memory= 5498.065 t= 172 R= 1e+05
|
|
Depth= 273 States= 2.5e+07 Transitions= 3.25e+07 Memory= 5721.796 t= 185 R= 1e+05
|
|
Depth= 273 States= 2.6e+07 Transitions= 3.38e+07 Memory= 5945.526 t= 215 R= 1e+05
|
|
Depth= 273 States= 2.7e+07 Transitions= 3.51e+07 Memory= 6169.257 t= 243 R= 1e+05
|
|
Depth= 273 States= 2.8e+07 Transitions= 3.64e+07 Memory= 6392.987 t= 274 R= 1e+05
|