cnt  ok uns fld  to mo unk  real   time space   max best uniq
      abcsuperprove 215 205 205  10  10  0   0 23217 211440 72181 24444  134   64
                avr 215 111 111 104   0  0 104 16802  48083 74086 13560   30    6
              cosa2 215  95  95 120 119  1   0 28483  65787 55906  7736    4    0
             btormc 215  77  77 138 138  0   0 17032  17028 14549  3648   47    1