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 27168kB
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 23336kB
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=26 2=808 3=808 4=808 5=808 6=808 7=808 8=808 9=808 10=808 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:       49 close:    20000
Explored states (in stable):        40000 open:       42 close:    40000
Explored states (in stable):        60000 open:       44 close:    60000
Explored states (in stable):        80000 open:       50 close:    80000

Total explored states:            97193
Total generated states:          910096
property:                     not satisfied
verifix -o 2 csma_input_09.xml csma_input_09.q 1.43s 64360kB
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 0.98s 70784kB
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.71s 62328kB
Selected Options:
  Search order:     robust depth first
  Normalizer:       LU local diagonal bounds
  Trace:            statistic   
  Using             new syntax.

0=0 1=26 2=808 3=808 4=808 5=808 6=808 7=808 8=808 9=808 10=808 11=808 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:       77 close:    20000
Explored states (in stable):        40000 open:       53 close:    40000
Explored states (in stable):        60000 open:       45 close:    60000
Explored states (in stable):        80000 open:       61 close:    80000
Explored states (in stable):       100000 open:       45 close:   100000
Explored states (in stable):       120000 open:       53 close:   120000
Explored states (in stable):       140000 open:       51 close:   140000
Explored states (in stable):       160000 open:       68 close:   160000
Explored states (in stable):       180000 open:       67 close:   180000
Explored states (in stable):       200000 open:       53 close:   200000
Explored states (in stable):       220000 open:       55 close:   220000
Explored states (in stable):       240000 open:       55 close:   240000
Explored states (in stable):       260000 open:       56 close:   260000
Explored states (in stable):       280000 open:       62 close:   280000

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

Explored states:       200000 open:    94512 closed:   119417
Explored states:       400000 open:    81460 closed:   249230
Explored states:       600000 open:     8953 closed:   356608

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

Explored states:       200000 open:       54 closed:   199999
Explored states:       400000 open:       47 closed:   399999
Explored states:       600000 open:       66 closed:   599999
Explored states:       800000 open:       61 closed:   799999

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

0=0 1=26 2=808 3=808 4=808 5=808 6=808 7=808 8=808 9=808 10=808 11=808 12=808 
Explored states (in stable):            0 open:        0 close:        0
Explored states (in stable):        20000 open:       73 close:    20000
Explored states (in stable):        40000 open:       77 close:    40000
Explored states (in stable):        60000 open:       70 close:    60000
Explored states (in stable):        80000 open:       79 close:    80000
Explored states (in stable):       100000 open:       85 close:   100000
Explored states (in stable):       120000 open:       60 close:   120000
Explored states (in stable):       140000 open:       77 close:   140000
Explored states (in stable):       160000 open:       67 close:   160000
Explored states (in stable):       180000 open:       62 close:   180000
Explored states (in stable):       200000 open:       53 close:   200000
Explored states (in stable):       220000 open:       63 close:   220000
Explored states (in stable):       240000 open:       60 close:   240000
Explored states (in stable):       260000 open:       61 close:   260000
Explored states (in stable):       280000 open:       61 close:   280000
Explored states (in stable):       300000 open:       62 close:   300000
Explored states (in stable):       320000 open:       61 close:   320000
Explored states (in stable):       340000 open:       57 close:   340000
Explored states (in stable):       360000 open:       63 close:   360000
Explored states (in stable):       380000 open:       52 close:   380000
Explored states (in stable):       400000 open:       46 close:   400000
Explored states (in stable):       420000 open:       78 close:   420000
Explored states (in stable):       440000 open:       70 close:   440000
Explored states (in stable):       460000 open:       67 close:   460000
Explored states (in stable):       480000 open:       73 close:   480000
Explored states (in stable):       500000 open:       69 close:   500000
Explored states (in stable):       520000 open:       79 close:   520000
Explored states (in stable):       540000 open:       64 close:   540000
Explored states (in stable):       560000 open:       62 close:   560000
Explored states (in stable):       580000 open:       56 close:   580000
Explored states (in stable):       600000 open:       65 close:   600000
Explored states (in stable):       620000 open:       54 close:   620000
Explored states (in stable):       640000 open:       71 close:   640000
Explored states (in stable):       660000 open:       61 close:   660000
Explored states (in stable):       680000 open:       75 close:   680000
Explored states (in stable):       700000 open:       57 close:   700000
Explored states (in stable):       720000 open:       60 close:   720000
Explored states (in stable):       740000 open:       51 close:   740000
Explored states (in stable):       760000 open:       74 close:   760000
Explored states (in stable):       780000 open:       70 close:   780000
Explored states (in stable):       800000 open:       60 close:   800000
Explored states (in stable):       820000 open:       75 close:   820000
Explored states (in stable):       840000 open:       71 close:   840000
Explored states (in stable):       860000 open:       86 close:   860000
Explored states (in stable):       880000 open:       77 close:   880000
Explored states (in stable):       900000 open:      102 close:   900000

Total explored states:           905111
Total generated states:        11903826
property:                     not satisfied
verifix -o 2 csma_input_11.xml csma_input_11.q 24.52s 733836kB
