Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:           372288
Total generated states:         1447313
property:                     not satisfied
verifix -o2 fischer_input_09.xml f56.q 6151.00s 210200kB
