*** 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 uns fld  to mo s11 unk  real   time  space    max best uniq  deep
abcsuperprove 181 160 160  21  21  0   0   0 22950 213956 204254  37042   84    3     0
   pdtravthrd 181 157 157  24  23  0   0   1 47544 243269 325189  52858   15    7     0
        nuxmv 181 146 146  35  35  0   0   0 39981 159476  76871   6923   23    1 91753
         iimc 181 122 122  59  59  0   0   0 20002 145209  60584  10838   33    2 92388
          avy 181 116 116  65  65  0   0   0 41431 163655  87153  17774   11    3     0
        truss 181 112 112  69  69  0   0   0 18246  52069  53624   6673    9    2 91067
      abcdeep 181 111 111  70  68  2   0   0 24405 189843 171909  45519    1    0 92704
    conpcheck 181 110 110  71  71  0   0   0 18776  50626  16918   4104    2    0 91861
   pdtravdeep 181  48  48 133 132  0   1   0  7666  27975  51658  35092    1    0     0
      iprover 181  41  41 140 131  0   0   9  9110  60049 346193 113919    2    1 90633
        blimc 181   6   6 175 120  0   0  55     6      2     16      9    0    0 92544