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



Total explored states:            89753
Total generated states:          110806
property:                     not satisfied
verifix -o 0 csma_input_09.xml csma_input_09.q 0.33s 27216kB
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.



Total explored states:            97209
Total generated states:          231452
property:                     not satisfied
verifix -o 1 csma_input_09.xml csma_input_09.q 0.67s 23368kB
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:            97193
Total generated states:          259929
property:                     not satisfied
verifix -o 2 csma_input_09.xml csma_input_09.q 0.87s 64680kB
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

Explored states:       200000 open:    21449 closed:   124741

Total explored states:           237293
Total generated states:          287431
property:                     not satisfied
verifix -o 0 csma_input_10.xml csma_input_10.q 1.00s 70820kB
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

Explored states:       200000 open:       53 closed:   199999

Total explored states:           297158
Total generated states:          775183
property:                     not satisfied
verifix -o 1 csma_input_10.xml csma_input_10.q 2.72s 62360kB
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:           297140
Total generated states:          846098
property:                     not satisfied
verifix -o 2 csma_input_10.xml csma_input_10.q 3.53s 214008kB
Selected Options:
  Search order:     breadth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:           610889
Total generated states:          728502
property:                     not satisfied
verifix -o 0 csma_input_11.xml csma_input_11.q 2.88s 192204kB
Selected Options:
  Search order:     depth first 
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:           905131
Total generated states:         2607456
property:                     not satisfied
verifix -o 1 csma_input_11.xml csma_input_11.q 11.53s 172992kB
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.


Total explored states:           905111
Total generated states:         2780493
property:                     not satisfied
verifix -o 2 csma_input_11.xml csma_input_11.q 15.13s 737784kB
