soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_4_10_6.txt

pan: ltl formula seq_eq_parallel
Depth=     333 States=    1e+06 Transitions= 1.31e+06 Memory=   391.327	t=     2.29 R=   4e+05
Depth=     333 States=    2e+06 Transitions= 2.62e+06 Memory=   653.925	t=     4.71 R=   4e+05
Depth=     333 States=    3e+06 Transitions= 3.93e+06 Memory=   916.522	t=     7.51 R=   4e+05
Depth=     333 States=    4e+06 Transitions= 5.25e+06 Memory=  1179.218	t=     10.6 R=   4e+05
Depth=     333 States=    5e+06 Transitions= 6.56e+06 Memory=  1441.815	t=     13.7 R=   4e+05
Depth=     333 States=    6e+06 Transitions= 7.87e+06 Memory=  1704.413	t=     17.2 R=   3e+05
Depth=     333 States=    7e+06 Transitions= 9.18e+06 Memory=  1967.011	t=     21.4 R=   3e+05
Depth=     333 States=    8e+06 Transitions= 1.05e+07 Memory=  2229.706	t=     25.8 R=   3e+05
Depth=     333 States=    9e+06 Transitions= 1.18e+07 Memory=  2492.304	t=     31.5 R=   3e+05
Depth=     333 States=    1e+07 Transitions= 1.31e+07 Memory=  2754.901	t=     38.6 R=   3e+05
Depth=     333 States=  1.1e+07 Transitions= 1.44e+07 Memory=  3017.499	t=     45.4 R=   2e+05
Depth=     333 States=  1.2e+07 Transitions= 1.57e+07 Memory=  3280.194	t=     49.4 R=   2e+05
Depth=     333 States=  1.3e+07 Transitions= 1.71e+07 Memory=  3542.792	t=     53.8 R=   2e+05
Depth=     333 States=  1.4e+07 Transitions= 1.84e+07 Memory=  3805.390	t=     59.9 R=   2e+05
Depth=     333 States=  1.5e+07 Transitions= 1.97e+07 Memory=  4067.987	t=     67.8 R=   2e+05
Depth=     333 States=  1.6e+07 Transitions=  2.1e+07 Memory=  4330.683	t=     78.5 R=   2e+05
Depth=     333 States=  1.7e+07 Transitions= 2.23e+07 Memory=  4593.280	t=     91.7 R=   2e+05
Depth=     333 States=  1.8e+07 Transitions= 2.36e+07 Memory=  4855.878	t=      108 R=   2e+05
Depth=     333 States=  1.9e+07 Transitions= 2.49e+07 Memory=  5118.573	t=      126 R=   2e+05
Depth=     333 States=    2e+07 Transitions= 2.62e+07 Memory=  5381.171	t=      144 R=   1e+05
Depth=     333 States=  2.1e+07 Transitions= 2.75e+07 Memory=  5643.769	t=      161 R=   1e+05
Depth=     333 States=  2.2e+07 Transitions= 2.89e+07 Memory=  5906.366	t=      185 R=   1e+05
Depth=     333 States=  2.3e+07 Transitions= 3.02e+07 Memory=  6169.062	t=      212 R=   1e+05
Depth=     333 States=  2.4e+07 Transitions= 3.15e+07 Memory=  6431.659	t=      239 R=   1e+05
Depth=     333 States=  2.5e+07 Transitions= 3.28e+07 Memory=  6694.257	t=      266 R=   9e+04