18 lines
1.5 KiB
Plaintext
18 lines
1.5 KiB
Plaintext
pan: ltl formula seq_eq_parallel
|
|
Depth= 339 States= 1e+06 Transitions= 1.36e+06 Memory= 399.335 t= 2.01 R= 5e+05
|
|
Depth= 339 States= 2e+06 Transitions= 2.72e+06 Memory= 669.940 t= 4.22 R= 5e+05
|
|
Depth= 339 States= 3e+06 Transitions= 4.08e+06 Memory= 940.644 t= 7.18 R= 4e+05
|
|
Depth= 339 States= 4e+06 Transitions= 5.44e+06 Memory= 1211.249 t= 10.2 R= 4e+05
|
|
Depth= 339 States= 5e+06 Transitions= 6.79e+06 Memory= 1481.952 t= 13.4 R= 4e+05
|
|
Depth= 339 States= 6e+06 Transitions= 8.15e+06 Memory= 1752.558 t= 16.8 R= 4e+05
|
|
Depth= 339 States= 7e+06 Transitions= 9.51e+06 Memory= 2023.163 t= 21 R= 3e+05
|
|
Depth= 339 States= 8e+06 Transitions= 1.09e+07 Memory= 2293.866 t= 25.4 R= 3e+05
|
|
Depth= 339 States= 9e+06 Transitions= 1.22e+07 Memory= 2564.472 t= 30.4 R= 3e+05
|
|
Depth= 339 States= 1e+07 Transitions= 1.36e+07 Memory= 2835.175 t= 36.3 R= 3e+05
|
|
Depth= 339 States= 1.1e+07 Transitions= 1.49e+07 Memory= 3105.780 t= 43.2 R= 3e+05
|
|
Depth= 339 States= 1.2e+07 Transitions= 1.63e+07 Memory= 3376.483 t= 51.5 R= 2e+05
|
|
Depth= 339 States= 1.3e+07 Transitions= 1.77e+07 Memory= 3647.089 t= 61.1 R= 2e+05
|
|
Depth= 339 States= 1.4e+07 Transitions= 1.9e+07 Memory= 3917.694 t= 72.5 R= 2e+05
|
|
Depth= 339 States= 1.5e+07 Transitions= 2.04e+07 Memory= 4188.397 t= 85.8 R= 2e+05
|
|
Depth= 339 States= 1.6e+07 Transitions= 2.17e+07 Memory= 4459.003 t= 104 R= 2e+05
|