soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_7_6_4.txt

pan: ltl formula seq_eq_parallel
Depth=     331 States=    1e+06 Transitions= 1.73e+06 Memory=   398.358	t=     2.85 R=   4e+05
Depth=     331 States=    2e+06 Transitions= 3.46e+06 Memory=   667.987	t=     5.85 R=   3e+05
Depth=     331 States=    3e+06 Transitions= 5.19e+06 Memory=   937.616	t=     8.64 R=   3e+05
Depth=     331 States=    4e+06 Transitions= 6.92e+06 Memory=  1207.343	t=     11.3 R=   4e+05
Depth=     331 States=    5e+06 Transitions= 8.65e+06 Memory=  1476.972	t=     13.8 R=   4e+05
Depth=     331 States=    6e+06 Transitions= 1.04e+07 Memory=  1746.601	t=     16.5 R=   4e+05
Depth=     331 States=    7e+06 Transitions= 1.21e+07 Memory=  2016.327	t=     19.1 R=   4e+05
Depth=     331 States=    8e+06 Transitions= 1.38e+07 Memory=  2285.956	t=     21.7 R=   4e+05
Depth=     331 States=    9e+06 Transitions= 1.56e+07 Memory=  2555.585	t=     24.3 R=   4e+05
Depth=     331 States=    1e+07 Transitions= 1.73e+07 Memory=  2825.312	t=     26.9 R=   4e+05
Depth=     331 States=  1.1e+07 Transitions=  1.9e+07 Memory=  3094.940	t=     29.5 R=   4e+05
Depth=     331 States=  1.2e+07 Transitions= 2.08e+07 Memory=  3364.569	t=     32.1 R=   4e+05
Depth=     331 States=  1.3e+07 Transitions= 2.25e+07 Memory=  3634.198	t=     34.8 R=   4e+05
Depth=     331 States=  1.4e+07 Transitions= 2.42e+07 Memory=  3903.925	t=     37.8 R=   4e+05
Depth=     331 States=  1.5e+07 Transitions=  2.6e+07 Memory=  4173.554	t=     42.2 R=   4e+05
Depth=     331 States=  1.6e+07 Transitions= 2.77e+07 Memory=  4443.183	t=     55.8 R=   3e+05
Depth=     331 States=  1.7e+07 Transitions= 2.94e+07 Memory=  4712.909	t=       69 R=   2e+05
Depth=     331 States=  1.8e+07 Transitions= 3.11e+07 Memory=  4982.538	t=     75.8 R=   2e+05
Depth=     331 States=  1.9e+07 Transitions= 3.29e+07 Memory=  5252.167	t=     88.7 R=   2e+05
Depth=     331 States=    2e+07 Transitions= 3.46e+07 Memory=  5521.894	t=      106 R=   2e+05
Depth=     331 States=  2.1e+07 Transitions= 3.63e+07 Memory=  5791.522	t=      129 R=   2e+05
Depth=     331 States=  2.2e+07 Transitions= 3.81e+07 Memory=  6061.151	t=      161 R=   1e+05
Depth=     331 States=  2.3e+07 Transitions= 3.98e+07 Memory=  6330.878	t=      193 R=   1e+05
Depth=     331 States=  2.4e+07 Transitions= 4.15e+07 Memory=  6600.507	t=      229 R=   1e+05
Depth=     331 States=  2.5e+07 Transitions= 4.33e+07 Memory=  6870.136	t=      269 R=   9e+04