soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_6_5_6.txt

pan: ltl formula seq_eq_parallel
Depth=     285 States=    1e+06 Transitions= 1.59e+06 Memory=   365.351	t=     1.91 R=   5e+05
Depth=     285 States=    2e+06 Transitions= 3.19e+06 Memory=   601.972	t=     3.86 R=   5e+05
Depth=     285 States=    3e+06 Transitions= 4.78e+06 Memory=   838.593	t=     5.99 R=   5e+05
Depth=     285 States=    4e+06 Transitions= 6.38e+06 Memory=  1075.214	t=      8.1 R=   5e+05
Depth=     285 States=    5e+06 Transitions= 7.97e+06 Memory=  1311.835	t=     10.2 R=   5e+05
Depth=     285 States=    6e+06 Transitions= 9.56e+06 Memory=  1548.456	t=     12.4 R=   5e+05
Depth=     285 States=    7e+06 Transitions= 1.12e+07 Memory=  1785.077	t=     15.4 R=   5e+05
Depth=     285 States=    8e+06 Transitions= 1.28e+07 Memory=  2021.698	t=     18.5 R=   4e+05
Depth=     285 States=    9e+06 Transitions= 1.43e+07 Memory=  2258.319	t=     21.3 R=   4e+05
Depth=     285 States=    1e+07 Transitions= 1.59e+07 Memory=  2494.940	t=     23.9 R=   4e+05
Depth=     285 States=  1.1e+07 Transitions= 1.75e+07 Memory=  2731.562	t=     27.9 R=   4e+05
Depth=     285 States=  1.2e+07 Transitions= 1.91e+07 Memory=  2968.183	t=     31.6 R=   4e+05
Depth=     285 States=  1.3e+07 Transitions= 2.07e+07 Memory=  3204.804	t=     39.6 R=   3e+05
Depth=     285 States=  1.4e+07 Transitions= 2.23e+07 Memory=  3441.425	t=     50.7 R=   3e+05
Depth=     285 States=  1.5e+07 Transitions= 2.39e+07 Memory=  3678.144	t=     56.3 R=   3e+05
Depth=     285 States=  1.6e+07 Transitions= 2.55e+07 Memory=  3914.765	t=     63.9 R=   3e+05
Depth=     285 States=  1.7e+07 Transitions= 2.71e+07 Memory=  4151.386	t=     72.7 R=   2e+05
Depth=     285 States=  1.8e+07 Transitions= 2.87e+07 Memory=  4388.007	t=       82 R=   2e+05
Depth=     285 States=  1.9e+07 Transitions= 3.03e+07 Memory=  4624.628	t=     96.5 R=   2e+05
Depth=     285 States=    2e+07 Transitions= 3.19e+07 Memory=  4861.249	t=      116 R=   2e+05
Depth=     285 States=  2.1e+07 Transitions= 3.35e+07 Memory=  5097.870	t=      139 R=   2e+05
Depth=     285 States=  2.2e+07 Transitions= 3.51e+07 Memory=  5334.491	t=      169 R=   1e+05
Depth=     285 States=  2.3e+07 Transitions= 3.67e+07 Memory=  5571.112	t=      199 R=   1e+05
Depth=     285 States=  2.4e+07 Transitions= 3.83e+07 Memory=  5807.733	t=      232 R=   1e+05
Depth=     285 States=  2.5e+07 Transitions= 3.99e+07 Memory=  6044.355	t=      272 R=   9e+04