soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_6_8_8.txt

pan: ltl formula seq_eq_parallel
Depth=     345 States=    1e+06 Transitions=  1.4e+06 Memory=   399.530	t=     2.27 R=   4e+05
Depth=     345 States=    2e+06 Transitions= 2.79e+06 Memory=   670.331	t=     4.52 R=   4e+05
Depth=     345 States=    3e+06 Transitions= 4.19e+06 Memory=   941.230	t=     6.64 R=   5e+05
Depth=     345 States=    4e+06 Transitions= 5.58e+06 Memory=  1212.030	t=     8.79 R=   5e+05
Depth=     345 States=    5e+06 Transitions= 6.98e+06 Memory=  1482.929	t=       11 R=   5e+05
Depth=     345 States=    6e+06 Transitions= 8.38e+06 Memory=  1753.730	t=     13.2 R=   5e+05
Depth=     345 States=    7e+06 Transitions= 9.77e+06 Memory=  2024.530	t=     15.8 R=   4e+05
Depth=     345 States=    8e+06 Transitions= 1.12e+07 Memory=  2295.429	t=     19.2 R=   4e+05
Depth=     345 States=    9e+06 Transitions= 1.26e+07 Memory=  2566.327	t=     22.7 R=   4e+05
Depth=     345 States=    1e+07 Transitions=  1.4e+07 Memory=  2837.128	t=     26.6 R=   4e+05
Depth=     345 States=  1.1e+07 Transitions= 1.54e+07 Memory=  3108.026	t=     31.9 R=   3e+05
Depth=     345 States=  1.2e+07 Transitions= 1.68e+07 Memory=  3378.827	t=     37.8 R=   3e+05
Depth=     345 States=  1.3e+07 Transitions= 1.81e+07 Memory=  3649.628	t=     45.7 R=   3e+05
Depth=     345 States=  1.4e+07 Transitions= 1.95e+07 Memory=  3920.526	t=     55.3 R=   3e+05
Depth=     345 States=  1.5e+07 Transitions= 2.09e+07 Memory=  4191.425	t=     65.8 R=   2e+05
Depth=     345 States=  1.6e+07 Transitions= 2.23e+07 Memory=  4462.226	t=     71.2 R=   2e+05
Depth=     345 States=  1.7e+07 Transitions= 2.37e+07 Memory=  4733.026	t=     79.9 R=   2e+05
Depth=     345 States=  1.8e+07 Transitions= 2.51e+07 Memory=  5003.925	t=     92.7 R=   2e+05
Depth=     345 States=  1.9e+07 Transitions= 2.65e+07 Memory=  5274.726	t=      110 R=   2e+05
Depth=     345 States=    2e+07 Transitions= 2.79e+07 Memory=  5545.624	t=      134 R=   1e+05
Depth=     345 States=  2.1e+07 Transitions= 2.93e+07 Memory=  5816.522	t=      159 R=   1e+05
Depth=     345 States=  2.2e+07 Transitions= 3.07e+07 Memory=  6087.323	t=      185 R=   1e+05
Depth=     345 States=  2.3e+07 Transitions= 3.21e+07 Memory=  6358.124	t=      217 R=   1e+05
Depth=     345 States=  2.4e+07 Transitions= 3.35e+07 Memory=  6629.022	t=      255 R=   9e+04
Depth=     345 States=  2.5e+07 Transitions= 3.49e+07 Memory=  6899.823	t=      282 R=   9e+04