soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_5_7_10.txt

pan: ltl formula seq_eq_parallel
Depth=     299 States=    1e+06 Transitions= 1.35e+06 Memory=   374.823	t=     2.01 R=   5e+05
Depth=     299 States=    2e+06 Transitions= 2.71e+06 Memory=   620.917	t=     4.08 R=   5e+05
Depth=     299 States=    3e+06 Transitions= 4.06e+06 Memory=   867.108	t=     6.61 R=   5e+05
Depth=     299 States=    4e+06 Transitions= 5.41e+06 Memory=  1113.300	t=     9.34 R=   4e+05
Depth=     299 States=    5e+06 Transitions= 6.77e+06 Memory=  1359.394	t=     12.4 R=   4e+05
Depth=     299 States=    6e+06 Transitions= 8.12e+06 Memory=  1605.585	t=     15.7 R=   4e+05
Depth=     299 States=    7e+06 Transitions= 9.48e+06 Memory=  1851.679	t=     19.4 R=   4e+05
Depth=     299 States=    8e+06 Transitions= 1.08e+07 Memory=  2097.870	t=     23.5 R=   3e+05
Depth=     299 States=    9e+06 Transitions= 1.22e+07 Memory=  2344.062	t=     27.9 R=   3e+05
Depth=     299 States=    1e+07 Transitions= 1.35e+07 Memory=  2590.155	t=     33.4 R=   3e+05
Depth=     299 States=  1.1e+07 Transitions= 1.49e+07 Memory=  2836.347	t=     40.2 R=   3e+05
Depth=     299 States=  1.2e+07 Transitions= 1.62e+07 Memory=  3082.440	t=     48.2 R=   2e+05
Depth=     299 States=  1.3e+07 Transitions= 1.76e+07 Memory=  3328.632	t=     57.8 R=   2e+05
Depth=     299 States=  1.4e+07 Transitions=  1.9e+07 Memory=  3574.726	t=     68.8 R=   2e+05
Depth=     299 States=  1.5e+07 Transitions= 2.03e+07 Memory=  3820.917	t=     81.9 R=   2e+05
Depth=     299 States=  1.6e+07 Transitions= 2.17e+07 Memory=  4067.108	t=     98.5 R=   2e+05
Depth=     299 States=  1.7e+07 Transitions=  2.3e+07 Memory=  4313.202	t=      117 R=   1e+05
Depth=     299 States=  1.8e+07 Transitions= 2.44e+07 Memory=  4559.394	t=      137 R=   1e+05
Depth=     299 States=  1.9e+07 Transitions= 2.57e+07 Memory=  4805.487	t=      159 R=   1e+05
Depth=     299 States=    2e+07 Transitions= 2.71e+07 Memory=  5051.679	t=      180 R=   1e+05
Depth=     299 States=  2.1e+07 Transitions= 2.84e+07 Memory=  5297.870	t=      200 R=   1e+05
Depth=     299 States=  2.2e+07 Transitions= 2.98e+07 Memory=  5543.964	t=      224 R=   1e+05
Depth=     299 States=  2.3e+07 Transitions= 3.11e+07 Memory=  5790.155	t=      245 R=   9e+04
Depth=     299 States=  2.4e+07 Transitions= 3.25e+07 Memory=  6036.249	t=      271 R=   9e+04
Depth=     299 States=  2.5e+07 Transitions= 3.38e+07 Memory=  6282.440	t=      297 R=   8e+04