*** zummarize warning: unsat-bound 3620 in 'pdtravdeep/beemadd4b1' >= witness length 15 in 'abcdeep/beemadd4b1'
*** zummarize warning: assuming 'u...' lines are globally broken in 'pdtravdeep'
              cnt  ok sat uns fld  to mo s11 s6 unk  real   time  space    max best uniq  deep
abcsuperprove 300 217  57 160  83  82  0   0  0   1 31328 272099 337693  66991   97    4     0
   pdtravthrd 300 213  56 157  87  82  0   0  0   5 55645 282927 444468  52858   19    8     0
        nuxmv 300 201  55 146  99  99  0   0  0   0 43770 174436 106993   9760   30    1 91753
         iimc 300 174  52 122 126 125  0   0  1   0 26498 189886 100458  10838   43    3 92388
          avy 300 168  52 116 132 131  0   0  0   1 45426 177884 119035  17774   13    3     0
      abcdeep 300 166  55 111 134 132  2   0  0   0 28730 217443 228342  45519   39    0 92704
    conpcheck 300 161  51 110 139 138  0   0  0   1 30633  85855  29351   4104    4    0 91861
        truss 300 155  43 112 145 144  0   0  1   0 20972  62167  75393   6673   20    2 91067
   pdtravdeep 300  99  51  48 201 200  0   1  0   0 12365  40523 154541  35092    4    0     0
      iprover 300  82  41  41 218 209  0   0  0   9 16932 112234 918713 124463    6    1 90633
        blimc 300  59  53   6 241 184  0   0  0  57  5183   5150   7424   1904   21    0 92544
     shiftbmc 300  52  52   0 248 151  0   0  0  97  8764   8730   9776   2417   11    0 92490
     nuxmvbmc 300  49  49   0 251 161  0   0  0  90  3946   3913  10645   1963   14    0 92227
  iproverdeep 300  39  39   0 261 238  0   0  0  23  8252  33001 363106  72672    1    0 90927