soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_7_5_6.txt

pan: ltl formula seq_eq_parallel
Depth=     311 States=    1e+06 Transitions= 1.73e+06 Memory=   389.276	t=     2.46 R=   4e+05
Depth=     311 States=    2e+06 Transitions= 3.45e+06 Memory=   649.823	t=     4.96 R=   4e+05
Depth=     311 States=    3e+06 Transitions= 5.18e+06 Memory=   910.370	t=     7.52 R=   4e+05
Depth=     311 States=    4e+06 Transitions= 6.91e+06 Memory=  1171.015	t=     10.1 R=   4e+05
Depth=     311 States=    5e+06 Transitions= 8.64e+06 Memory=  1431.562	t=     12.7 R=   4e+05
Depth=     311 States=    6e+06 Transitions= 1.04e+07 Memory=  1692.108	t=     15.3 R=   4e+05
Depth=     311 States=    7e+06 Transitions= 1.21e+07 Memory=  1952.753	t=     17.9 R=   4e+05
Depth=     311 States=    8e+06 Transitions= 1.38e+07 Memory=  2213.300	t=     20.5 R=   4e+05
Depth=     311 States=    9e+06 Transitions= 1.55e+07 Memory=  2473.847	t=     23.2 R=   4e+05
Depth=     311 States=    1e+07 Transitions= 1.73e+07 Memory=  2734.491	t=     25.8 R=   4e+05
Depth=     311 States=  1.1e+07 Transitions=  1.9e+07 Memory=  2995.038	t=     28.4 R=   4e+05
Depth=     311 States=  1.2e+07 Transitions= 2.07e+07 Memory=  3255.585	t=     31.1 R=   4e+05
Depth=     311 States=  1.3e+07 Transitions= 2.25e+07 Memory=  3516.230	t=       34 R=   4e+05
Depth=     311 States=  1.4e+07 Transitions= 2.42e+07 Memory=  3776.776	t=     37.4 R=   4e+05
Depth=     311 States=  1.5e+07 Transitions= 2.59e+07 Memory=  4037.421	t=     43.2 R=   3e+05
Depth=     311 States=  1.6e+07 Transitions= 2.76e+07 Memory=  4297.968	t=     52.3 R=   3e+05
Depth=     311 States=  1.7e+07 Transitions= 2.94e+07 Memory=  4558.515	t=     65.6 R=   3e+05
Depth=     311 States=  1.8e+07 Transitions= 3.11e+07 Memory=  4819.062	t=     82.4 R=   2e+05
Depth=     311 States=  1.9e+07 Transitions= 3.28e+07 Memory=  5079.706	t=      102 R=   2e+05
Depth=     311 States=    2e+07 Transitions= 3.45e+07 Memory=  5340.253	t=      124 R=   2e+05
Depth=     311 States=  2.1e+07 Transitions= 3.63e+07 Memory=  5600.897	t=      150 R=   1e+05
Depth=     311 States=  2.2e+07 Transitions=  3.8e+07 Memory=  5861.444	t=      176 R=   1e+05
Depth=     311 States=  2.3e+07 Transitions= 3.97e+07 Memory=  6121.991	t=      209 R=   1e+05
Depth=     311 States=  2.4e+07 Transitions= 4.15e+07 Memory=  6382.538	t=      247 R=   1e+05
Depth=     311 States=  2.5e+07 Transitions= 4.32e+07 Memory=  6643.183	t=      289 R=   9e+04