*** 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 uns dis fld  to mo s11 s6 unk  real   time  space  max best uniq  deep
    abcsimple 269 241 241   0  28  22  6   0  0   0 25879  94823 194270 6785   24    0     0
   abcsuprove 269 238 238   0  31  18 13   0  0   0 27711  85028 251613 6905    7    1     0
   pdtravthrd 269 238 238   0  31  15 16   0  0   0 29002 101354 250163 6824   15    3     0
          v3s 269 234 234   0  35  26  3   6  0   0 28020  76534  63466 5074   26    4 61874
          avy 269 230 230   0  39  30  9   0  0   0 26785 101073 104699 5513   17    1     0
        nuxmv 269 230 230   0  39  33  6   0  0   0 28660 112700 111367 6900   13    0 93058
         iimc 269 230 230   0  39  31  8   0  0   0 30189 115147  53369 4613   56    3 91396
      tip2014 269 217 217   0  52  52  0   0  0   0 29707  29559   5237  431  101    0 82167
      ricecnu 269  70  70   8 191 167 15   0  9   0 33621  33554   6855 1766    0    0     0
   pdtravdeep 269  59  59   0 210 152 57   1  0   0  1371   1314  15895 2391    2    0 55305
    iproverhc 269  48  48   0 221  82  0   0  0 139  6225   5592  95944 6730    0    0 79281
iproverdeephc 269  47  47   0 222 101  0   0  0 121  5869   5317  89320 6728    1    0 32492
  iproverdeep 269  40  40   0 229  80  0   0  0 149  2686   2653  42954 5390    0    0 32398
      iprover 269  40  40   0 229  35  0   0  0 194  2688   2655  42965 5391    0    0 64248
        blimc 269  13  13   0 256 147 12   0  0  97     7      1      8    2    7    0 93952
