-o0 f12.xml f12.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f13.xml f13.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f14.xml f14.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f15.xml f15.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f16.xml f16.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f17.xml f17.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f18.xml f18.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f23.xml f23.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f24.xml f24.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f25.xml f25.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f26.xml f26.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f27.xml f27.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f28.xml f28.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f34.xml f34.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f35.xml f35.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f36.xml f36.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f37.xml f37.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f38.xml f38.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f45.xml f45.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f46.xml f46.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f47.xml f47.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f48.xml f48.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f56.xml f56.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f57.xml f57.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f58.xml f58.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f67.xml f67.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f68.xml f68.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
-o0 f78.xml f78.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:           150651
Total generated states:          180917
property:                     not satisfied
run8 o0 10.03s 22136kB
-o1 f12.xml f12.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f13.xml f13.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f14.xml f14.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f15.xml f15.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f16.xml f16.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f17.xml f17.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f18.xml f18.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f23.xml f23.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f24.xml f24.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f25.xml f25.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f26.xml f26.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f27.xml f27.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f28.xml f28.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f34.xml f34.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f35.xml f35.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f36.xml f36.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f37.xml f37.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f38.xml f38.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f45.xml f45.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f46.xml f46.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f47.xml f47.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f48.xml f48.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f56.xml f56.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f57.xml f57.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f58.xml f58.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f67.xml f67.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f68.xml f68.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
-o1 f78.xml f78.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            91643
Total generated states:          222837
property:                     not satisfied
run8 o1 11.83s 16348kB
-o2 f12.xml f12.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f13.xml f13.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f14.xml f14.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f15.xml f15.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f16.xml f16.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f17.xml f17.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f18.xml f18.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f23.xml f23.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f24.xml f24.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f25.xml f25.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f26.xml f26.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f27.xml f27.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f28.xml f28.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f34.xml f34.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f35.xml f35.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f36.xml f36.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f37.xml f37.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f38.xml f38.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f45.xml f45.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f46.xml f46.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f47.xml f47.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f48.xml f48.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f56.xml f56.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f57.xml f57.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f58.xml f58.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f67.xml f67.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f68.xml f68.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
-o2 f78.xml f78.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=2 2=2 3=2 4=2 5=2 6=2 7=2 8=2 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:     4845 close:    20000
Explored states (in stable):        40000 open:     4562 close:    40000
Explored states (in stable):        60000 open:     3652 close:    60000
Explored states (in stable):        80000 open:     2084 close:    80000

Total explored states:            88050
Total generated states:          222846
property:                     not satisfied
run8 o2 3732.13s 45808kB
