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

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:          348370
property:                     not satisfied
verifix -o2 fischer_input_08.xml f56.q 263.86s 49004kB
