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


Total explored states:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
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:           627199
Total generated states:          723847
property:                     not satisfied
-o0 g19.xml g19.q
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


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


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


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


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


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


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


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


Total explored states:           627199
Total generated states:          723847
property:                     not satisfied
run9 o0 64.14s 79896kB
-o1 f12.xml f12.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
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:           380768
Total generated states:         1004075
property:                     not satisfied
-o1 g19.xml g19.q
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


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


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


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


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


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


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


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


Total explored states:           380768
Total generated states:         1004075
property:                     not satisfied
run9 o1 86.55s 52080kB
-o2 f12.xml f12.q
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:           372288
Total generated states:         1004085
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.


Total explored states:           372288
Total generated states:         1004085
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.


Total explored states:           372288
Total generated states:         1004085
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.


Total explored states:           372288
Total generated states:         1004085
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.


Total explored states:           372288
Total generated states:         1004085
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.


Total explored states:           372288
Total generated states:         1004085
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.

