soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_7_5_5.txt

pan: ltl formula seq_eq_parallel
Depth=     311 States=    1e+06 Transitions= 1.73e+06 Memory=   389.276	t=     2.43 R=   4e+05
Depth=     311 States=    2e+06 Transitions= 3.45e+06 Memory=   649.823	t=      4.9 R=   4e+05
Depth=     311 States=    3e+06 Transitions= 5.18e+06 Memory=   910.370	t=     7.41 R=   4e+05
Depth=     311 States=    4e+06 Transitions= 6.91e+06 Memory=  1171.015	t=       10 R=   4e+05
Depth=     311 States=    5e+06 Transitions= 8.64e+06 Memory=  1431.562	t=     12.6 R=   4e+05
Depth=     311 States=    6e+06 Transitions= 1.04e+07 Memory=  1692.206	t=     15.1 R=   4e+05
Depth=     311 States=    7e+06 Transitions= 1.21e+07 Memory=  1952.753	t=     17.7 R=   4e+05
Depth=     311 States=    8e+06 Transitions= 1.38e+07 Memory=  2213.300	t=     20.3 R=   4e+05
Depth=     311 States=    9e+06 Transitions= 1.55e+07 Memory=  2473.944	t=     22.9 R=   4e+05
Depth=     311 States=    1e+07 Transitions= 1.73e+07 Memory=  2734.491	t=     25.5 R=   4e+05
Depth=     311 States=  1.1e+07 Transitions=  1.9e+07 Memory=  2995.038	t=     28.1 R=   4e+05
Depth=     311 States=  1.2e+07 Transitions= 2.07e+07 Memory=  3255.683	t=     30.7 R=   4e+05
Depth=     311 States=  1.3e+07 Transitions= 2.25e+07 Memory=  3516.230	t=     33.4 R=   4e+05
Depth=     311 States=  1.4e+07 Transitions= 2.42e+07 Memory=  3776.874	t=     36.6 R=   4e+05
Depth=     311 States=  1.5e+07 Transitions= 2.59e+07 Memory=  4037.421	t=     41.7 R=   4e+05
Depth=     311 States=  1.6e+07 Transitions= 2.76e+07 Memory=  4297.968	t=     49.6 R=   3e+05
Depth=     311 States=  1.7e+07 Transitions= 2.94e+07 Memory=  4558.515	t=     61.3 R=   3e+05
Depth=     311 States=  1.8e+07 Transitions= 3.11e+07 Memory=  4819.159	t=     77.1 R=   2e+05
Depth=     311 States=  1.9e+07 Transitions= 3.28e+07 Memory=  5079.706	t=     95.8 R=   2e+05
Depth=     311 States=    2e+07 Transitions= 3.45e+07 Memory=  5340.351	t=      117 R=   2e+05
Depth=     311 States=  2.1e+07 Transitions= 3.63e+07 Memory=  5600.897	t=      141 R=   1e+05
Depth=     311 States=  2.2e+07 Transitions=  3.8e+07 Memory=  5861.444	t=      167 R=   1e+05
Depth=     311 States=  2.3e+07 Transitions= 3.97e+07 Memory=  6122.089	t=      198 R=   1e+05
Depth=     311 States=  2.4e+07 Transitions= 4.15e+07 Memory=  6382.636	t=      234 R=   1e+05
Depth=     311 States=  2.5e+07 Transitions= 4.32e+07 Memory=  6643.183	t=      275 R=   9e+04