*** zummarize warning: DISCREPANCY on 'bobmiterbm1and' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/bobmiterbm1and UNSAT
*** zummarize warning:   logs/abcsuprove/bobmiterbm1and UNSAT
*** zummarize warning:   logs/avy/bobmiterbm1and UNSAT
*** zummarize warning:   logs/blimc/bobmiterbm1and UNSAT
*** zummarize warning:   logs/iimc/bobmiterbm1and UNSAT
*** zummarize warning:   logs/nuxmv/bobmiterbm1and UNSAT
*** zummarize warning:   logs/pdtravthrd/bobmiterbm1and UNSAT
*** zummarize warning: ! logs/ricecnu/bobmiterbm1and SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/bobmiterbm1and UNSAT
*** zummarize warning:   logs/v3s/bobmiterbm1and UNSAT
*** zummarize warning: DISCREPANCY on 'bobtuintand' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/bobtuintand UNSAT
*** zummarize warning:   logs/abcsuprove/bobtuintand UNSAT
*** zummarize warning:   logs/avy/bobtuintand UNSAT
*** zummarize warning:   logs/blimc/bobtuintand UNSAT
*** zummarize warning:   logs/iimc/bobtuintand UNSAT
*** zummarize warning:   logs/nuxmv/bobtuintand UNSAT
*** zummarize warning:   logs/pdtravthrd/bobtuintand UNSAT
*** zummarize warning: ! logs/ricecnu/bobtuintand SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/bobtuintand UNSAT
*** zummarize warning:   logs/v3s/bobtuintand UNSAT
*** zummarize warning: DISCREPANCY on 'bobtuintorneg' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/bobtuintorneg UNSAT
*** zummarize warning:   logs/abcsuprove/bobtuintorneg UNSAT
*** zummarize warning:   logs/avy/bobtuintorneg UNSAT
*** zummarize warning:   logs/blimc/bobtuintorneg UNSAT
*** zummarize warning:   logs/iimc/bobtuintorneg UNSAT
*** zummarize warning:   logs/nuxmv/bobtuintorneg UNSAT
*** zummarize warning:   logs/pdtravthrd/bobtuintorneg UNSAT
*** zummarize warning: ! logs/ricecnu/bobtuintorneg SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/bobtuintorneg UNSAT
*** zummarize warning:   logs/v3s/bobtuintorneg UNSAT
*** zummarize warning: DISCREPANCY on 'kenflashp13' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/kenflashp13 UNSAT
*** zummarize warning:   logs/abcsuprove/kenflashp13 UNSAT
*** zummarize warning:   logs/avy/kenflashp13 UNSAT
*** zummarize warning:   logs/blimc/kenflashp13 UNSAT
*** zummarize warning:   logs/iimc/kenflashp13 UNSAT
*** zummarize warning:   logs/nuxmv/kenflashp13 UNSAT
*** zummarize warning:   logs/pdtravthrd/kenflashp13 UNSAT
*** zummarize warning: ! logs/ricecnu/kenflashp13 SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/kenflashp13 UNSAT
*** zummarize warning:   logs/v3s/kenflashp13 UNSAT
*** zummarize warning: DISCREPANCY on 'nusmvreactorp1' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/nusmvreactorp1 UNSAT
*** zummarize warning:   logs/abcsuprove/nusmvreactorp1 UNSAT
*** zummarize warning:   logs/avy/nusmvreactorp1 UNSAT
*** zummarize warning:   logs/blimc/nusmvreactorp1 UNSAT
*** zummarize warning:   logs/iimc/nusmvreactorp1 UNSAT
*** zummarize warning:   logs/nuxmv/nusmvreactorp1 UNSAT
*** zummarize warning:   logs/pdtravthrd/nusmvreactorp1 UNSAT
*** zummarize warning: ! logs/ricecnu/nusmvreactorp1 SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/nusmvreactorp1 UNSAT
*** zummarize warning:   logs/v3s/nusmvreactorp1 UNSAT
*** zummarize warning: DISCREPANCY on 'pdtvisvsa16a16' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/pdtvisvsa16a16 UNSAT
*** zummarize warning:   logs/abcsuprove/pdtvisvsa16a16 UNSAT
*** zummarize warning:   logs/avy/pdtvisvsa16a16 UNSAT
*** zummarize warning:   logs/blimc/pdtvisvsa16a16 UNSAT
*** zummarize warning:   logs/iimc/pdtvisvsa16a16 UNSAT
*** zummarize warning:   logs/nuxmv/pdtvisvsa16a16 UNSAT
*** zummarize warning:   logs/pdtravthrd/pdtvisvsa16a16 UNSAT
*** zummarize warning: ! logs/ricecnu/pdtvisvsa16a16 SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/pdtvisvsa16a16 UNSAT
*** zummarize warning:   logs/v3s/pdtvisvsa16a16 UNSAT
*** zummarize warning: DISCREPANCY on 'pdtvsar8multip16' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/pdtvsar8multip16 UNSAT
*** zummarize warning:   logs/abcsuprove/pdtvsar8multip16 UNSAT
*** zummarize warning:   logs/avy/pdtvsar8multip16 UNSAT
*** zummarize warning:   logs/blimc/pdtvsar8multip16 UNSAT
*** zummarize warning:   logs/iimc/pdtvsar8multip16 UNSAT
*** zummarize warning:   logs/nuxmv/pdtvsar8multip16 UNSAT
*** zummarize warning:   logs/pdtravthrd/pdtvsar8multip16 UNSAT
*** zummarize warning: ! logs/ricecnu/pdtvsar8multip16 SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/pdtvsar8multip16 UNSAT
*** zummarize warning:   logs/v3s/pdtvsar8multip16 UNSAT
*** zummarize warning: DISCREPANCY on 'pdtvsarmultip30' with 1 SAT < 9 UNSAT
*** zummarize warning:   logs/abcsimple/pdtvsarmultip30 UNSAT
*** zummarize warning:   logs/abcsuprove/pdtvsarmultip30 UNSAT
*** zummarize warning:   logs/avy/pdtvsarmultip30 UNSAT
*** zummarize warning:   logs/blimc/pdtvsarmultip30 UNSAT
*** zummarize warning:   logs/iimc/pdtvsarmultip30 UNSAT
*** zummarize warning:   logs/nuxmv/pdtvsarmultip30 UNSAT
*** zummarize warning:   logs/pdtravthrd/pdtvsarmultip30 UNSAT
*** zummarize warning: ! logs/ricecnu/pdtvsarmultip30 SAT (overvoted so probably wrong)
*** zummarize warning:   logs/tip2014/pdtvsarmultip30 UNSAT
*** zummarize warning:   logs/v3s/pdtvsarmultip30 UNSAT
              cnt  ok sat fld to mo s11 s6 unk  real  time  space  max best uniq  deep
        blimc 144 128 128  16 14  1   0  0   1 31680 31583  36606 2241    4    1 93952
        nuxmv 144 127 127  17  9  8   0  0   0 18941 74202 165258 6899    4    0 93058
       aigbmc 144 126 126  18 16  1   0  0   1 34210 34104  67048 3644    7    1 93728
    abcsimple 144 122 122  22 11 11   0  0   0 19559 66584 213099 6267    4    1     0
   abcsuprove 144 120 120  24 15  9   0  0   0 13884 30568  74811 5623   16    0     0
     shiftbmc 144 120 120  24 23  0   0  0   1 37819 37697  41372 1810    2    0 93733
   tip2014bmc 144 117 117  27 23  3   0  0   1 11054 10911  23956 5496   46    1 92031
     nuxmvbmc 144 115 115  29 27  1   0  0   1  8885  8796  59053 2504    5    0 93423
          avy 144 115 115  29 21  6   0  0   2 22939 65806 147339 5924    2    0     0
   pdtravthrd 144 115 115  29  7 15   2  0   5 23817 57597 242321 6108    3    0     0
         iimc 144 105 105  39 19 20   0  0   0 27651 87239 234859 6969    7    4 91396
      tip2014 144  98  98  46 46  0   0  0   0 17110 17037  14792 1062   43    0 82167
    iproverhc 144  64  64  80 19  0   0  0  61 26045 11701 221841 6695    0    0 79281
          v3s 144  62  62  82 24  0  58  0   0 26253 75591  46943 6037    0    0 61874
  iproverdeep 144  46  46  98 20  0   0  0  78 12214 12164  97403 6322    0    0 32398
iproverdeephc 144  46  46  98 20  0   0  0  78 12247 12165  97380 6340    0    0 32492
   pdtravdeep 144  46  46  98 83  4   3  0   8 13354 13255  38683 4202    1    0 55305
      iprover 144  43  43 101  3  0   0  0  98  6079  6042  82943 6176    0    0 64248
      ricecnu 144  30  30 114 75 38   0  1   0 15532 15500  32992 2204    0    0     0
