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



Total explored states:            44518
Total generated states:           61237
property:                     not satisfied
verifix -o 0 M3.xml M3.q 0.16s 4984kB
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            14796
Total generated states:           35144
property:                     not satisfied
verifix -o 1 M3.xml M3.q 0.06s 4964kB
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=1000 2=1000 3=1000 4=2000 
Explored states (in stable):            0 open:        0 close:        0

Total explored states:            10322
Total generated states:           41478
property:                     not satisfied
verifix -o 2 M3.xml M3.q 1.53s 6188kB
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

Explored states:       200000 open:    30232 closed:    67386
Explored states:       400000 open:    30345 closed:   131895
Explored states:       600000 open:    22161 closed:   199815
Explored states:       800000 open:    20792 closed:   265774

Total explored states:           885867
Total generated states:         1505721
property:                     not satisfied
verifix -o 0 M4.xml M4.q 4.61s 32600kB
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

Explored states:       200000 open:    96537 closed:   131384

Total explored states:           366607
Total generated states:          866361
property:                     not satisfied
verifix -o 1 M4.xml M4.q 2.01s 45072kB
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=1000 2=1000 3=1000 4=2000 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:    44657 close:    20000
Explored states (in stable):        40000 open:    79331 close:    40000
Explored states (in stable):        60000 open:    89245 close:    60000
Explored states (in stable):        80000 open:    90035 close:    80000
Explored states (in stable):        80000 open:    90034 close:    80000
Explored states (in stable):        80000 open:    90033 close:    80000
Explored states (in stable):        80000 open:    90032 close:    80000
Explored states (in stable):        80000 open:    90031 close:    80000
Explored states (in stable):       100000 open:    89539 close:   100000
Explored states (in stable):       100000 open:    89538 close:   100000
Explored states (in stable):       100000 open:    89537 close:   100000
Explored states (in stable):       100000 open:    89536 close:   100000
Explored states (in stable):       100000 open:    89535 close:   100000
Explored states (in stable):       120000 open:    88972 close:   120000
Explored states (in stable):       120000 open:    88971 close:   120000
Explored states (in stable):       120000 open:    88970 close:   120000
Explored states (in stable):       120000 open:    88969 close:   120000
Explored states (in stable):       120000 open:    88968 close:   120000
Explored states (in stable):       120000 open:    88967 close:   120000
Explored states (in stable):       120000 open:    88966 close:   120000
Explored states (in stable):       120000 open:    88965 close:   120000
Explored states (in stable):       120000 open:    88964 close:   120000
Explored states (in stable):       140000 open:    92114 close:   140000
Explored states (in stable):       160000 open:    81721 close:   160000

Total explored states:                2
Total generated states:          900948
property:                     not satisfied
verifix -o2 M4.xml M4.q 1831.42s 65876kB

