soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_8_4_10.txt

pan: ltl formula seq_eq_parallel
Depth=     317 States=    1e+06 Transitions= 1.86e+06 Memory=   396.698	t=     3.14 R=   3e+05
Depth=     317 States=    2e+06 Transitions= 3.72e+06 Memory=   664.862	t=      6.3 R=   3e+05
Depth=     317 States=    3e+06 Transitions= 5.57e+06 Memory=   932.929	t=     9.37 R=   3e+05
Depth=     317 States=    4e+06 Transitions= 7.43e+06 Memory=  1200.995	t=     13.1 R=   3e+05
Depth=     317 States=    5e+06 Transitions= 9.29e+06 Memory=  1469.062	t=     17.6 R=   3e+05
Depth=     317 States=    6e+06 Transitions= 1.11e+07 Memory=  1737.128	t=     21.4 R=   3e+05
Depth=     317 States=    7e+06 Transitions=  1.3e+07 Memory=  2005.194	t=     25.8 R=   3e+05
Depth=     317 States=    8e+06 Transitions= 1.49e+07 Memory=  2273.261	t=     31.7 R=   3e+05
Depth=     317 States=    9e+06 Transitions= 1.67e+07 Memory=  2541.327	t=     37.2 R=   2e+05
Depth=     317 States=    1e+07 Transitions= 1.86e+07 Memory=  2809.491	t=     44.1 R=   2e+05
Depth=     317 States=  1.1e+07 Transitions= 2.04e+07 Memory=  3077.460	t=       52 R=   2e+05
Depth=     317 States=  1.2e+07 Transitions= 2.23e+07 Memory=  3345.624	t=     61.1 R=   2e+05
Depth=     317 States=  1.3e+07 Transitions= 2.42e+07 Memory=  3613.690	t=     71.8 R=   2e+05
Depth=     317 States=  1.4e+07 Transitions=  2.6e+07 Memory=  3881.757	t=     84.8 R=   2e+05
Depth=     317 States=  1.5e+07 Transitions= 2.79e+07 Memory=  4149.823	t=     99.2 R=   2e+05
Depth=     317 States=  1.6e+07 Transitions= 2.97e+07 Memory=  4417.890	t=      114 R=   1e+05
Depth=     317 States=  1.7e+07 Transitions= 3.16e+07 Memory=  4685.956	t=      124 R=   1e+05
Depth=     317 States=  1.8e+07 Transitions= 3.34e+07 Memory=  4954.022	t=      137 R=   1e+05
Depth=     317 States=  1.9e+07 Transitions= 3.53e+07 Memory=  5222.187	t=      154 R=   1e+05
Depth=     317 States=    2e+07 Transitions= 3.72e+07 Memory=  5490.253	t=      169 R=   1e+05
Depth=     317 States=  2.1e+07 Transitions=  3.9e+07 Memory=  5758.319	t=      178 R=   1e+05
Depth=     317 States=  2.2e+07 Transitions= 4.09e+07 Memory=  6026.386	t=      195 R=   1e+05
Depth=     317 States=  2.3e+07 Transitions= 4.27e+07 Memory=  6294.452	t=      220 R=   1e+05
Depth=     317 States=  2.4e+07 Transitions= 4.46e+07 Memory=  6562.519	t=      259 R=   9e+04
Depth=     317 States=  2.5e+07 Transitions= 4.64e+07 Memory=  6830.585	t=      299 R=   8e+04