*** 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 uns dis fld  to  mo s11 s6 unk  real   time  space  max best uniq  deep
    abcsimple 548 363 122 241   0 185 154  31   0  0   0 45438 161407 407370 6785   28    1     0
   abcsuprove 548 358 120 238   0 190 156  34   0  0   0 41596 115597 326424 6905   23    1     0
        nuxmv 548 357 127 230   0 191 165  26   0  0   0 47600 186902 276626 6900   30    0 93058
   pdtravthrd 548 353 115 238   0 195  62 124   3  0   6 52819 158951 492484 6824   18    3     0
          avy 548 345 115 230   0 203 171  30   0  0   2 49724 166878 252038 5924   19    1     0
         iimc 548 335 105 230   0 213 163  50   0  0   0 57840 202386 288228 6969   76    7 91396
      tip2014 548 315  98 217   0 233 233   0   0  0   0 46817  46596  20029 1062  144    0 82167
          v3s 548 296  62 234   0 252 141   7 102  2   0 54273 152125 110409 6037   28    4 61874
        blimc 548 141 128  13   0 407 287  20   0  0 100 31687  31584  36614 2241   61    1 93952
       aigbmc 548 126 126   0   0 422 310  43   0  0  69 34210  34104  67048 3644   47    1 93728
     shiftbmc 548 120 120   0   0 428 247  12   0  0 169 37819  37697  41372 1810   28    0 93733
   tip2014bmc 548 117 117   0   0 431 225  50   0  0 156 11054  10911  23956 5496   64    1 92031
     nuxmvbmc 548 115 115   0   0 433 256  28   0  0 149  8885   8796  59053 2504   45    0 93423
    iproverhc 548 112  64  48   0 436 156   0   0  0 280 32269  17292 317785 6730    3    0 79281
   pdtravdeep 548 105  46  59   0 443 345  86   4  0   8 14725  14568  54578 4202   11    0 55305
      ricecnu 548 100  30  70   8 440 342  88   0 10   0 49153  49054  39848 2204    0    0     0
iproverdeephc 548  93  46  47   0 455 177   0   0  0 278 18116  17482 186700 6728    2    0 32492
  iproverdeep 548  86  46  40   0 462 149   0   0  0 313 14899  14818 140357 6322    1    0 32398
      iprover 548  83  43  40   0 465  59   0   0  0 406  8768   8698 125908 6176    3    0 64248
