*** 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 fld  to mo s11 s6 unk best  deep
        blimc 135 135 126  7   0  0   2   50 93952
     shiftbmc 135 135 127  6   0  0   2   26 93733
       aigbmc 135 135 128  6   0  0   1   40 93728
     nuxmvbmc 135 135 124  8   0  0   3   40 93423
        nuxmv 135 135 123 12   0  0   0   13 93058
   tip2014bmc 135 135 100 30   0  0   5   18 92031
         iimc 135 135 113 22   0  0   0   13 91396
      tip2014 135 135 135  0   0  0   0    0 82167
    iproverhc 135 135  55  0   0  0  80    3 79281
      iprover 135 135  21  0   0  0 114    3 64248
          v3s 135 135  91  4  38  2   0    2 61874
   pdtravdeep 135 135 110 25   0  0   0    8 55305
iproverdeephc 135 135  56  0   0  0  79    1 32492
  iproverdeep 135 135  49  0   0  0  86    1 32398

used the following 135 unsolved instances:

6s100 6s105 6s119 6s148 6s149 6s160 6s161 6s171 6s179 6s185 6s186 6s187
6s188 6s190 6s195 6s22 6s23 6s24 6s266rb2 6s267rb3 6s268r 6s274r 6s279r
6s280r 6s29 6s329rb19 6s329rb20 6s33 6s340rb27 6s340rb63 6s341r 6s342rb122
6s351rb02 6s36 6s365r 6s366r 6s376r 6s377r 6s382r 6s39 6s392r 6s398b09
6s398b16 6s399b02 6s399b03 6s402rb0342 6s44 6s45 6s514r 6s516r 6s517rb0
beembkry8b1 beemcmbrdg7f2 beemfwt4b1 beemfwt5b1 beemfwt5b3 beemhanoi4b1
beemkrebs4b1 beemldfilt7b1 beemlifts3b1 beemloyd3b1 beempgmprot1f2
beemskbn2b1 bob12s02 bobpcihm bobsmcodic bobsmminiuart intel012 intel013
intel016 intel027 intel028 intel032 intel065 intel066 intel067 nusmvdme216
oski15a01b00s oski15a01b02s oski15a01b08s oski15a01b12s oski15a01b14s
oski15a01b18s oski15a01b26s oski15a01b28s oski15a01b30s oski15a01b32s
oski15a01b34s oski15a01b36s oski15a01b38s oski15a01b40s oski15a01b42s
oski15a01b44s oski15a01b48s oski15a01b50s oski15a01b52s oski15a01b54s
oski15a01b58s oski15a01b60s oski15a01b62s oski15a01b64s oski15a01b66s
oski15a01b68s oski15a01b70s oski15a01b72s oski15a01b74s oski15a01b76s
oski15a01b78s oski15a07b0s oski15a07b2s oski15a07b4s oski15a08b00s
oski15a08b02s oski15a08b04s oski15a08b10s oski15a08b12s oski15a10b02s
oski15a10b04s oski15a10b06s oski15a10b08s oski15a10b10s oski15a10b16s
oski15a14b02s oski15a14b04s oski15a14b06s oski15a14b20s oski15a14b26s
oski15a14b28s oski15a14b30s oski1rub00i oski1rub01i oski1rub02i
oski1rub08i oski1rub09i oski1rub10i
