soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_5_9_4.txt

pan: ltl formula seq_eq_parallel
Depth=     339 States=    1e+06 Transitions= 1.36e+06 Memory=   399.335	t=      2.1 R=   5e+05
Depth=     339 States=    2e+06 Transitions= 2.72e+06 Memory=   669.940	t=     4.35 R=   5e+05
Depth=     339 States=    3e+06 Transitions= 4.08e+06 Memory=   940.644	t=        7 R=   4e+05
Depth=     339 States=    4e+06 Transitions= 5.44e+06 Memory=  1211.249	t=     9.96 R=   4e+05
Depth=     339 States=    5e+06 Transitions= 6.79e+06 Memory=  1481.855	t=     13.1 R=   4e+05
Depth=     339 States=    6e+06 Transitions= 8.15e+06 Memory=  1752.558	t=     16.4 R=   4e+05
Depth=     339 States=    7e+06 Transitions= 9.51e+06 Memory=  2023.163	t=     20.3 R=   3e+05
Depth=     339 States=    8e+06 Transitions= 1.09e+07 Memory=  2293.769	t=     24.8 R=   3e+05
Depth=     339 States=    9e+06 Transitions= 1.22e+07 Memory=  2564.472	t=     29.6 R=   3e+05
Depth=     339 States=    1e+07 Transitions= 1.36e+07 Memory=  2835.077	t=     35.4 R=   3e+05
Depth=     339 States=  1.1e+07 Transitions= 1.49e+07 Memory=  3105.683	t=     42.9 R=   3e+05
Depth=     339 States=  1.2e+07 Transitions= 1.63e+07 Memory=  3376.386	t=     51.7 R=   2e+05
Depth=     339 States=  1.3e+07 Transitions= 1.77e+07 Memory=  3646.991	t=     69.1 R=   2e+05
Depth=     339 States=  1.4e+07 Transitions=  1.9e+07 Memory=  3917.597	t=     82.3 R=   2e+05
Depth=     339 States=  1.5e+07 Transitions= 2.04e+07 Memory=  4188.300	t=     96.9 R=   2e+05
Depth=     339 States=  1.6e+07 Transitions= 2.17e+07 Memory=  4458.905	t=      114 R=   1e+05
Depth=     339 States=  1.7e+07 Transitions= 2.31e+07 Memory=  4729.608	t=      134 R=   1e+05
Depth=     339 States=  1.8e+07 Transitions= 2.45e+07 Memory=  5000.214	t=      158 R=   1e+05
Depth=     339 States=  1.9e+07 Transitions= 2.58e+07 Memory=  5270.819	t=      178 R=   1e+05
Depth=     339 States=    2e+07 Transitions= 2.72e+07 Memory=  5541.522	t=      196 R=   1e+05
Depth=     339 States=  2.1e+07 Transitions= 2.85e+07 Memory=  5812.128	t=      220 R=   1e+05
Depth=     339 States=  2.2e+07 Transitions= 2.99e+07 Memory=  6082.733	t=      242 R=   9e+04
Depth=     339 States=  2.3e+07 Transitions= 3.13e+07 Memory=  6353.437	t=      266 R=   9e+04
Depth=     339 States=  2.4e+07 Transitions= 3.26e+07 Memory=  6624.042	t=      292 R=   8e+04