soft-an04/ReversalModel/outputs/trace_seq_eq_parallel_7_7_4.txt

pan: ltl formula seq_eq_parallel
Depth=     351 States=    1e+06 Transitions= 1.42e+06 Memory=   410.272	t=     2.46 R=   4e+05
Depth=     351 States=    2e+06 Transitions= 2.84e+06 Memory=   691.815	t=     5.36 R=   4e+05
Depth=     351 States=    3e+06 Transitions= 4.26e+06 Memory=   973.456	t=     8.91 R=   3e+05
Depth=     351 States=    4e+06 Transitions= 5.69e+06 Memory=  1254.999	t=     11.8 R=   3e+05
Depth=     351 States=    5e+06 Transitions= 7.11e+06 Memory=  1536.640	t=     15.1 R=   3e+05
Depth=     351 States=    6e+06 Transitions= 8.53e+06 Memory=  1818.183	t=     18.6 R=   3e+05
Depth=     351 States=    7e+06 Transitions= 9.95e+06 Memory=  2099.823	t=     23.4 R=   3e+05
Depth=     351 States=    8e+06 Transitions= 1.14e+07 Memory=  2381.464	t=     27.9 R=   3e+05
Depth=     351 States=    9e+06 Transitions= 1.28e+07 Memory=  2663.105	t=     32.6 R=   3e+05
Depth=     351 States=    1e+07 Transitions= 1.42e+07 Memory=  2944.745	t=     38.3 R=   3e+05
Depth=     351 States=  1.1e+07 Transitions= 1.56e+07 Memory=  3226.386	t=     44.9 R=   2e+05
Depth=     351 States=  1.2e+07 Transitions= 1.71e+07 Memory=  3508.026	t=     52.9 R=   2e+05
Depth=     351 States=  1.3e+07 Transitions= 1.85e+07 Memory=  3789.667	t=     62.5 R=   2e+05
Depth=     351 States=  1.4e+07 Transitions= 1.99e+07 Memory=  4071.308	t=     73.9 R=   2e+05
Depth=     351 States=  1.5e+07 Transitions= 2.13e+07 Memory=  4352.948	t=     88.1 R=   2e+05
Depth=     351 States=  1.6e+07 Transitions= 2.27e+07 Memory=  4634.589	t=      105 R=   2e+05
Depth=     351 States=  1.7e+07 Transitions= 2.42e+07 Memory=  4916.132	t=      123 R=   1e+05
Depth=     351 States=  1.8e+07 Transitions= 2.56e+07 Memory=  5197.772	t=      144 R=   1e+05
Depth=     351 States=  1.9e+07 Transitions=  2.7e+07 Memory=  5479.413	t=      169 R=   1e+05
Depth=     351 States=    2e+07 Transitions= 2.84e+07 Memory=  5761.054	t=      197 R=   1e+05
Depth=     351 States=  2.1e+07 Transitions= 2.99e+07 Memory=  6042.694	t=      231 R=   9e+04
Depth=     351 States=  2.2e+07 Transitions= 3.13e+07 Memory=  6324.237	t=      246 R=   9e+04
Depth=     351 States=  2.3e+07 Transitions= 3.27e+07 Memory=  6605.878	t=      254 R=   9e+04
Depth=     351 States=  2.4e+07 Transitions= 3.41e+07 Memory=  6887.421	t=      265 R=   9e+04